量子位
·
DeepSeek再破谷歌OpenAI垄断：开源IMO数学金牌大模型
💡
原文中文，约4000字，阅读约需10分钟。
📝
内容提要
DeepSeek推出开源数学模型DeepSeekMath-V2，专注于自验证推理，表现超越谷歌和OpenAI，获得IMO金牌级分数。该模型通过迭代强化学习优化证明验证和生成，克服传统方法的局限性，展现出卓越的数学推理能力。
🎯
关键要点
- DeepSeek推出开源数学模型DeepSeekMath-V2，专注于自验证推理。
- DeepSeekMath-V2在IMO 2025和CMO 2024中取得金牌级分数，Putnam 2024得分118/120。
- 该模型在所有CNML级别问题类别上优于GPT-5-Thinking-High和Gemini 2.5-Pro。
- DeepSeekMath-V2采用迭代强化学习优化证明验证和生成，克服传统方法的局限性。
- 传统强化学习方法存在最终答案奖励的不可靠性和缺乏内部验证能力的问题。
- 研究训练了一个准确的LLM-based验证器，能够识别证明中的问题并评分。
- 引入元验证机制，审查验证器生成的证明分析，提升识别问题的忠实性。
- 生成器通过自我审查和修正提高证明质量，最大化验证器赋予的分数。
- 研究建立了完全自动化的数据标注流程，取代耗时的人工标注。
- 实验结果显示DeepSeekMath-V2在所有CNML级别问题中持续优于其他模型。
- 模型通过高计算量搜索策略精确识别细微错误，展现出强大的数学推理能力。
❓
延伸问答
DeepSeekMath-V2模型的主要特点是什么？
DeepSeekMath-V2专注于自验证推理，采用迭代强化学习优化证明验证和生成，表现超越谷歌和OpenAI。
DeepSeekMath-V2在数学竞赛中的表现如何？
DeepSeekMath-V2在IMO 2025和CMO 2024中获得金牌级分数，并在Putnam 2024中得分118/120，超过人类最高分90。
DeepSeekMath-V2如何克服传统强化学习的局限性？
该模型通过引入自验证机制和元验证机制，优化证明验证和生成，克服了最终答案奖励的不可靠性和缺乏内部验证能力的问题。
DeepSeekMath-V2的验证器是如何训练的？
验证器通过收集数学问题和专家评分，利用强化学习进行训练，以识别证明中的问题并评分。
元验证机制在DeepSeekMath-V2中起什么作用？
元验证机制作为二级评估过程，审查验证器生成的证明分析，确保识别出的问题真实且逻辑合理。
DeepSeekMath-V2如何实现完全自动化的数据标注？
模型通过生成多个验证分析和利用元验证器确认问题有效性，建立了完全自动化的数据标注流程，取代了人工标注。
➡️
