DeepMind · 大模型
DeepMind 发布支持 Deep Think 的 Gemini 进阶版，IMO 达金牌水平
DeepMind 推出集成 Deep Think 推理能力的 Gemini 进阶版本，该模型在国际数学奥林匹克竞赛中正式达到金牌标准。这一进展意味着大规模语言模型在需要深度推理与多步推导的数学问题上，AI 已接近人类顶尖竞赛选手的表现，也为 LLM 在科学推理与复杂问题求解领域的应用提供了新的能力基线。
- 域名
deepmind.google- 评分
- 5 · 重大发布
- 发布
- 2026-03-03
导读
DeepMind 这篇 2025 年 7 月 21 日的博客由 Thang Luong 与 Edward Lockhart 等人署名，宣布配备 Deep Think 的 Gemini 进阶版本在国际数学奥林匹克 2025 上获得金牌水平。IMO 自 1959 年举办，每个国家派 6 名预大学生选手在代数、组合、几何、数论四个方向上解 6 道极难题目，约 8% 的参赛者拿金牌。2024 年 DeepMind 的 AlphaProof 与 AlphaGeometry 2 组合在 IMO 上获得银牌等价分数 28 分，但需要专家先把题面翻译成 Lean 等形式语言、再把证明翻译回自然语言，并耗时两到三天计算。
2025 年的版本则在 4.5 小时官方时限内、用自然语言端到端直接产出数学证明，得分 35/42，IMO 评卷人评价解答清晰、严谨、易读，并由 DeepMind 作为首批官方认证模型之一提交。技术基础是 Gemini Deep Think 这一增强推理模式，引入并行思考让模型同时探索多条候选路径再合并，而非沿单一思维链推进。团队在 Deep Think 之上追加针对多步推理、解题与定理证明数据的强化学习训练，并提供精选的数学解题语料以及 IMO 解题策略提示。
文章定位本次成果为通向 AGI 的重要节点：从去年依赖形式语言的银牌到今年纯自然语言的金牌，意味着推理深度与表达灵活性在同一系统中得到统一。AlphaGeometry 与 AlphaProof 的形式化路线也继续推进，团队的判断是兼具自然语言流畅性与形式语言严格性的 agent 将成为数学、科学、工程研究的协作工具。Deep Think 版本将先向少量受信测试者开放，再面向 Google AI Ultra 订阅用户推出，IMO 委员会同样声明其认证仅覆盖答案正确性而非系统本身。