DeepSeekMath-V2，新一代DeepSeek开源模型亮相

DeepSeek团队发布了新的开源模型DeepSeekMath-V2，该模型具备强大的数学处理能力，适用于各种数学相关任务，通过优化算法和深度学习技术，DeepSeekMath-V2展现了卓越的性能和准确性，该模型的开源性质促进了科研合作与知识共享，推动了数学和人工智能领域的发展，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的生成器能在证明过程中识别问题，表明其验证器能够评估复杂推理任务的证明。