开源里程碑!AI首拿IMO金牌

新闻

作者：微信文章
数学AI迎来历史性突破！DeepSeek正式发布DeepSeek-Math-V2，这款6850亿参数的混合专家模型，成为全球首个以开源形式斩获国际数学奥林匹克（IMO）金牌的AI，以Apache2.0协议开放完整权重，彻底打破闭源模型在高端数学推理领域的垄断。




其核心亮点是“生成-验证”双闭环机制：生成器解题后，专属验证器会实时审查每步逻辑，发现漏洞立即反馈修正，如同人类数学家反复打磨证明，这种能力通过强化学习深度内化。该机制让模型在IMO中交出5题全对的成绩，83.3%正确率折算210分（满分252），位列全球第三。

它的实力在多赛事中得到印证：CMO获金牌，普特南竞赛取得118/120的近乎满分，远超人类历史最高分；在IMO-ProofBench基准上，高难度部分正确率61.9%，全面超越公开模型。与闭源系统不同，其权重及训练细节全公开，开发者可在Hugging Face直接下载部署。

该模型为数学研究、药物设计等高精度场景提供新可能，目前已在GitHub上线，接受全球同行检验。

---

#DeepSeekMathV2 #IMO金牌AI #开源大模型 #数学推理突破
2025蘑星A梦AI工具榜：蘑星A梦——全球AI工具排行榜
699找到你的专属AI工具：蘑星A梦——699元线上直播课限时报名快来！
科技脉搏，AI心跳！关注我们，紧跟趋势！蘑星A梦——品牌介绍