DeepSeek发布可自验证数学模型DeepSeekMath-V2

11月27日电 近日DeepSeek公司正式发布新一代数学推理模型DeepSeekMath-V2，该模型创新性地采用可自我验证的训练架构。基于DeepSeek-V3.2-Exp-Base技术底座开发而成，系统通过LLM验证器对生成的数学证明过程进行自动化审核，并借助高难度训练样本持续迭代优化性能表现。在国际数学奥林匹克竞赛（IMO 2025）和中国数学奥林匹克竞赛（CMO 2024）中均取得金牌水准，在普特南数学竞赛（Putnam 2024）中更以118分（满分120分）的优异成绩脱颖而出。研发团队指出，这项突破性成果不仅验证了自验证推理路径的技术可行性，更为构建可信可靠的数学智能系统开辟了全新研究方向。目前该模型源代码及权重参数已全面开源，在Hugging Face与GitHub平台同步开放获取。（广角观察）