不只是“做题家”！DeepSeek最新模型打破数学推理局限，部分性能超越Gemi

　　在一同发布的论文中，DeepSeek方面表示，该模型通过自验证的方式突破了目前AI在深度推理方面的局限，尤其是针对大模型在数学领域“只是做题家，难成数学家”的症结，即，只重视答案却无法保证推理过程的严谨、正确。

　　DeepSeek以验证器为奖励模型训练证明生成器，并激励生成器在最终定稿前尽可能多地识别和解决自身证明中的问题，并通过扩展验证计算能力，自动标记新的难以验证的证明，从而创建训练数据以进一步改进验证器。

　　DeepSeek称，这款模型展现了强大的定理证明能力。换句话说，与此前大多大模型在数学方面的表现不同，Math-V2不再只是“做题家”，而真正有可能靠自身全面、严谨的数学推理能力对科学研究产生深远影响。

　　DeepSeek也列举了多项验证该模型的强大的证据：Math-V2在IMO（国际数学奥林匹克竞赛）2025和CMO（中国数学奥林匹克）2024上都取得了金牌级成绩，在北美大学生数学竞赛Putnam 2024上通过扩展测试计算实现了接近满分的成绩（118/120）。

　　此前，今年7月，OpenAI和谷歌都曾宣布其模型在IMO2025中取得了金牌级成绩，一度形成大模型数学能力天花板。相比于二者，DeepSeek的Math-V2不仅是首个开源的IMO金牌级模型，在测试中，也在部分性能上展现出了更大的优势。

　　DeepSeek方面表示，尽管仍有许多工作要做，但这些结果表明，自验证数学推理是一个可行的研究方向，可能有助于开发更强大的数学AI系统。

　　这款突破性的开源数学模型发布后，再次在社交平台、reddit、Hacker News等评论区deepseek、社区引发热潮。

　　由研究人员和工程师组成的跨学科团队Binary Verse AI发文称，一个开源模型悄无声息地发布，却突破了本科数学的瓶颈。该文章作者阿兹马特（Azmat）提到，Math-V2的有趣之处不仅在于竞赛分数，更在于其方法。

　　“如果你曾经批改过数学试卷，你就会明白猜对答案的学生和真正推导出答案的学生之间的区别。”阿兹马特认为，此前的大模型多属于前者，只是概率性的猜测者，而Math-V2的出现改变了这一切。

　　文章总结称，我们正从“聊天机器人”时代过渡到“推理者”时代。Math-V2证明了可自验证的数学推理是可以解决的。或许，人类不需要通用人工智能（AGI）来获得严谨的数学运算能力，只需要教会模型保持谦逊。

　　社交平台上，不少AI领域的KOL和知名专家都在转发消息并表示“DeepSeek强势回归”“这是你无法忽视的力量”。原文出处：不只是“做题家”！DeepSeek最新模型打破数学推理局限，部分性能超越Gemini DeepThink，感谢原作者，侵权必删！