2025年5月2日
LLM大模型： DeepSeek-Prover-V2浅析
摘要： 1、5.1假期，deepseek又整活了，不过这次并不是万众期待的R2通用推理模型，而是Prover-V2，主打 formal theorem proving in Lean 4，简单理解就是数学定理的证明，在几大数据集的测试结果如下： 所以现在大家最关心的是：这么好的效果，都是怎么做到的？ 这次开 阅读全文
posted @ 2025-05-02 21:46 第七子007 阅读(330) 评论(0) 推荐(0)