帖子详情
DeepSeek上线新模型DeepSeek-Prover-V2，这是一个数学定理证明专用模型。
Prover-V2的参数规模进一步扩展到671B（6710亿规模参数），相较于前一代V1.5版本的7B规模增加了近百倍，这让其在数学测试集上的效率和正确率更高，比如，该模型的miniF2F测试通过率达到88.9%，它还解决了PutnamBench（普特南测试）的49道题。https://18hlw.com
巧合的是，4月中旬，月之暗面也曾推出一款用于形式化定理证明的大模型Kimina-Prover，这是Kimi团队和Numina共同研发的大模型，该产品也开源了1.5B和7B参数的模型蒸馏版本。该模型的miniF2F测试通过率为80.7%，PutnamBench测试成绩为10道题。https://heiliao365.com/category/fcns/
转载请注明出处：https://www.kkwan.top/forum/72438.html
