DeepSeekMath-V2，新一代开源模型探索数学世界

DeepSeek团队发布了新的开源模型DeepSeekMath-V2，该模型具备强大的数学处理能力，适用于多种数学相关任务，它继承了DeepSeek系列模型的优秀特性，并进行了进一步的优化和改进，DeepSeekMath-V2模型旨在提高数学问题的处理效率和准确性，为数学研究者和爱好者提供更加便捷的工具，该模型的开源发布将促进数学领域的进一步发展，推动相关技术的创新和应用，摘要结束。

11月27日，DeepSeek开源了“奥数金牌级”模型DeepSeekMath-V2，该模型在数学定理证明能力上表现出色。DeepSeekMath-V2在2025年国际数学奥林匹克竞赛（IMO2025）和2024年中国数学奥林匹克竞赛（CMO2024）上取得金牌水平成绩，并在2024年普特南大学生数学竞赛（Putnam2024）上获得接近满分118分的成绩，超过人类最高90分成绩。该模型以10%优势击败谷歌的IMO金奖得主DeepThink模型。

DeepSeekMath-V2基于DeepSeek-V3.2-Exp-Base开发，通过强化学习训练模型生成证明分析，使用格式奖励和分数奖励两个奖励组件。在实验中，DeepSeekMath-V2在CNML级别所有问题类别中均优于GPT-5-Thinking-High和Gemini2.5-Pro。在高计算量探索中，该模型解决了2025IMO的5道题和2024CMO的4道题，达到金牌水平。尽管最困难的IMO级别问题仍具挑战性，但DeepSeek的生成器能在证明过程中识别问题，表明其验证器能够评估复杂推理任务的证明。