
在人工智能与人类智慧争锋的赛道上,Google DeepMind 的最新突破无疑成为全球瞩目的焦点。其搭载了“Deep Think”机制的 Gemini 大语言模型(LLM)正式在 2025 年国际数学奥林匹克(IMO)上获得金牌。这不仅是技术的一次革新,更是AI进入人类高级认知领域的重要标志。
正式成绩传来:金牌实至名归
据权威媒体 Arstechnica 报道,DeepMind 在今年 IMO 中提交了与人类选手完全相同的试卷,并由 IMO 官方统一评分。其最终以 35 分(满分42)获得金牌成绩,成功解决了 5 道高难度题目,这一成绩足以使其跻身成绩前 8%,与顶级人类选手并驾齐驱。
IMO 主席 Gregor Dolinar 在接受采访时证实:“我们可以确认,Google DeepMind 的 AI 在按照官方评分标准得到了 35 分,这足以获得金牌,其提交的解答在许多方面都令人震惊。”
与前两天OpenAI的神秘模型一样,此次DeepMind解决了IMO 2025数学难题总共六道题的前五道,第六题依然无法解决。IMO每年总共会出六道题,每道题7分,总分42分。今年的比赛中,5位高中学生获得了满分。按照国家排名,中国、美国、韩国分获总分前三名。
技术解析:从银牌到金牌的跃迁
深度分析发现,Gemini Deep Think 的核心进步在于全程自然语言处理,无需借助 Lean 等形式化证明语言。去年 DeepMind 在 IMO 2024 表现虽佳,仍需专家将题目转换至形式语言,然后 AI 系统生成证明,属于半自动流程,最终获得银牌(28 分)。
而今年GM(Gemini Model)则通过“平行思考”(parallel reasoning)机制——同时展开多个解题路径,并结合强化学习训练过程,使得模型能够在 4.5 小时内,从原始题干直接构造出人类级别的自然语言证明。
DeepMind 官方表示,训练数据包括大量高质量的 IMO 解题步骤、提示技巧和定理证明实例。这使 Gemini 能够自动寻找关键构造,不再受限于人类预设步骤。
分析:技术与意义的双重跃升
这一突破代表着 AI 从单一“解答能力”迈向推理和生成完整证明的一体化能力。此前仍需专家将题目降维为形式证明格式,而现在已能实现原生人类风格的数学写作。
► Human‑level reasoning in natural language
♥ Gemini 直接“读懂”IMO题目并写出严谨、有逻辑的证明,不确定环节被削减,推理能力接近人类思考方式,印证其推理路径的透明性。
► 正式金牌背书
♥ 与 OpenAI 同步宣称“金牌解答”的动作不同,DeepMind 是唯一由 IMO 官方评分确认获奖的 AI,充分提升其技术可信度。
► 竞技格局再变
♥ 与 OpenAI 的公开竞争已成事实峰会。OpenAI 同样声称其模型达到了金牌级表现,但尚未提交官方竞赛,而 DeepMind 则通过实绩赢得认证。
历史背景与未来展望
自 2024 年 DeepMind AI(AlphaProof + AlphaGeometry 2)在 IMO 表现出银牌水平后,学术界普遍认为 AI 正逐步逼近人类数学家的思考界线。Nature 期刊评价:采用混合策略——符号推理 + 语言模型,AlphaGeometry 取得了银牌级别表现,是里程碑式成果 。
而此次 Gemini Deep Think 的成功则是学术界与工业界共振的新节点。DeepMind 公布其未来计划将技术授权给“可信数学家和学术伙伴”,并在未来向 Gemini Ultra 订阅用户开放。
布朗大学数学家、前 IMO 冠军 Junehyuk Jung 表示,这一成果表明 AI 距离“可解未解数论猜想”只有不到一年的距离。
挑战依旧:人类思考的不可替代性
尽管表现亮眼,AI 模型仍未完善。某些复杂构造和长链级证明仍存在挑战,如不确定步骤与时间消耗仍较人类更长。Gowers 教授指出,这些 AI 如果限于智力测试、推理测验或是在某些常识推理中依旧会“出错”。
大赛与产业影响:AI 理解 vs AI 竞赛
在人工智能生态中,这次成绩是突破,又是一场“示范”机会。DeepMind CEO Demis Hassabis 在社交媒体强调:“我们等待 IMO 官方确认结果,而不是急于公开”,体现了科技伦理与竞赛纪律的考虑。
此次竞赛胜利也预示了 AI 在科研辅助、教育与工程中的潜力:可作为高水平推理辅助工具,将来帮助解决复杂科研或工程问题。
总结
- 实绩金牌:Gemini Deep Think 成功解决 IMO 五题,并被正式授予金牌;
- 端到端能力:突破模式为自然语言推理+强化学习+“平行思考”机制;
- 权威认可:官方评分体系背书,区别于 OpenAI 的预先声明;
- 人类合作逻辑:AI 能辅佐、验证甚至先行探索复杂数学问题;
- 未来图景:AI将在数学研究、教育甚至物理科学领域实现更大突破。
在 IMO 的赛场上,AI 的成绩书写了又一里程碑。但背后的意义更深远:这是人工智能从“会答题”向“能思考”的跃迁,也是 AI 与人类智慧共创未来的新起点。
参考来源
- lia‑de‑deepmind‑achieves‑gold‑medal‑worthy‑performance‑on‑complex‑mathematics‑questions‑from‑the‑olympiad
- WinBuzzer: 官方认证成绩 35 分金牌,同 OpenAI 竞速
- TechBooky, OfficeChai: 详述训练方式与并行思考技术
- Nature & InfoQ: 回顾 AlphaGeometry 的银牌历程与技术路径
相关文章: