DeepSeek 推出 DeepSeekMath‑V2 模型，主打自验证数学推理能力

2025-11-27 20:52:29

数据炼金师

发布在

快讯

阅读：1414

11月27日，DeepSeek发布DeepSeekMath-V2模型，主打自验证数学推理能力。该模型通过构建基于LLM的验证器，对生成的证明进行自动审查，并利用扩展计算生成高难度训练样本提升验证能力。在2025年国际数学奥林匹克竞赛（IMO 2025）和2024年中国数学奥林匹克竞赛（CMO 2024）中，模型均达到金牌水准，同时在2024年普特南数学竞赛（Putnam 2024）中取得118/120的优异成绩。官方表示，这一成果验证了可自验证数学推理的可行性，为未来更强大、可靠的数学智能系统奠定基础。项目已开源，详情可参考Hugging Face与GitHub页面。

原文链接

本文链接：https://kx.umi6.com/article/29296.html

转载请注明文章出处

DeepSeekMath-V2