技术博客

DeepSeek新开发的数学模型DeepSeek-Prover-V2在数学定理证明领域取得了突破性进展。该模型在普特南测试中成功解答了49道题目，远超此前记录保持者仅解答10题的成绩。这一成果不仅超越了Kimi与AIME2024冠军团队Numina合作开发的Kimina-Prover，还刷新了多项高难度基准测试的记录，展现了其卓越的数学问题解决能力。