在人工智能与人类智慧争锋的赛道上，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 距离“可解未解数论猜想”只有不到一年的距离。

挑战依旧：