DeepMind · 评测
DeepMind 在 IMO 题目上达到银牌水平
DeepMind 宣布其 AI 系统在国际数学奥林匹克题目上取得了银牌级别的成绩。这一突破展示了 AI 在复杂推理与数学解题能力上的显著进展，系统能够处理几何、数论、组合数学等多个领域的难题。该成果不仅刷新了 AI 在数学竞赛中的表现记录，也为 AI 在科学研究和教育领域的应用打开了新的可能性。
- 域名
deepmind.google- 评分
- 5 · 重大发布
- 发布
- 2026-03-03
导读
DeepMind 在 2024 年 IMO 题目上以 AI 系统取得了相当于银牌选手的成绩，由 AlphaProof 与 AlphaGeometry 2 联手在 6 道题中解出 4 道，达到 28 分。打分由 Fields 奖得主 Timothy Gowers 与 IMO 2024 命题委员会主席 Joseph Myers 按照官方规则核定，2025 年 11 月相关方法论又在 Nature 上正式发表。
AlphaProof 把 AlphaZero 风格的强化学习接到形式化证明语言 Lean 上。研究团队先用 Gemini 把自然语言题目翻译成 Lean 形式化陈述，构建出一个跨难度的题库；面对新题时，系统生成大量候选解并在 Lean 中逐步搜索证明路径，每条被验证通过的证明又回流到语言模型继续训练。形式化方法的好处是结果可机器验证，避免大模型在中间推理步骤里编造看似合理实则错误的论证。几何题则交给改进版 AlphaGeometry 2 处理，对算法、组合数论等四大题型形成互补。
对读者而言，这次成绩第一次把 AI 在数学奥赛上的表现推到接近金牌门槛的位置，也确认了“自然语言生成 + 形式化验证”是一条对抗推理幻觉的可行路线。形式化数学库 Lean 借此从小众工具走向 AI 训练基础设施，对未来定理证明、程序验证等任务都有外溢价值。