11月27日，DeepSeek正式推出了全新数学推理模型DeepSeekMath-V2。这一创新模型采用具备自我验证能力的训练框架，专注于提升复杂数学问题中的推理严谨性。研发团队指出，传统方法往往仅关注最终答案的准确性，难以确保推理过程中每一步的正确性，特别是在定理证明等依赖严密逻辑推导的任务中存在明显局限。为此，DeepSeekMath-V2引入了基于大语言模型的验证机制，能够对生成的数学证明进行自动审查，并通过不断扩展的验证计算流程，持续生成高难度训练样本，从而反向增强验证器自身的判断能力。

该模型基于DeepSeek-V3.2-Exp-Base架构，在多个高规格数学竞赛中表现优异：在2025年国际数学奥林匹克竞赛（IMO 2025）和2024年中国数学奥林匹克竞赛（CMO 2024）中均达到金牌水平，更在2024年普特南数学竞赛（Putnam 2024）中取得118分（满分120分）的优异成绩。最新研究表明，尽管相关研究仍处于发展阶段，但当前成果已充分证明，具备自我验证能力的数学推理路径具有高度可行性，为未来构建更强大、更可靠的数学智能系统提供了新的方向。

模型相关资源已公开发布，可通过Hugging Face和Github平台获取。