DeepSeek-Math-V2：开源数学推理模型，达到IMO金牌水平

DeepSeek-Math-V2是幻方旗下DeepSeek团队推出的开源数学推理模型。它在DeepSeek-V3.2-Exp-Base基础上优化，性能超越Gemini DeepThink，达到国际数学奥林匹克（IMO）金牌选手水平。

核心特点

• 自我验证推理：训练可靠验证器作为奖励模型，激励生成器在最终确定证明前识别并修正问题
• 竞赛级表现：在IMO、CMO及普特南等高难度竞赛中表现优异，能生成高质量数学定理证明
• 双模型协作：采用“验证器-生成器”架构，两者循环协作直至证明通过验证
• 动态性能优化：验证器计算范围随生成器能力增强而扩大，持续改进性能
• 完全开源：基于Apache 2.0协议开放模型权重及代码

技术优势

• 使用多头潜在注意力（MLA）技术，显著降低推理显存需求
• 通过递归定理证明管道融合非形式化与形式化推理方法
• 解决Minif2F测试中88.9%的问题
• 配套开源数据集ProverBench涵盖325道高中至本科难度题目

适用人群
数学竞赛参与者、数学研究人员、教育工作者、AI研究者及数学爱好者。

官方资源

技术论文：https://github.com/deepseek-ai/DeepSeek-Math-V2/blob/main/DeepSeekMath_V2.pdf

GitHub代码库：https://github.com/deepseek-ai/DeepSeek-Math-V2

HuggingFace模型库：https://huggingface.co/deepseek-ai/DeepSeek-Math-V2