谷歌 Gemini Deep Think AI 获官方认证奥数金牌

谷歌 DeepMind 团队宣布，其一个高级版本的 Gemini Deep Think 模型，在国际数学奥林匹克（IMO）竞赛的问题上正式取得了金牌水平的成绩。

该模型在六道题目中完美解决了五道，总共获得 35 分（满分 42 分），达到了金牌分数线。IMO 主席 Gregor Dolinar 教授证实了这一里程碑式的成就，并评价其解决方案 “在许多方面都令人惊叹”，认为其清晰、精确且大部分易于理解。

谷歌 CEO Sundar Pichai 表示，“仅仅一年时间，从银牌到金牌——（其）数学推理方面的进步速度简直令人惊叹！恭喜Google DeepMind 团队！”马斯克转发并表示：“恭喜！”

此次成果使用了 Gemini Deep Think 模式的高级版本，这是一种针对复杂问题的增强推理模式，融合了包括并行思考在内的最新研究技术，使模型能同时探索和组合多种可能的解决方案。为了最大化 Deep Think 的推理能力，团队还利用新颖的强化学习技术对该版 Gemini 进行了训练，使其能更好地利用多步推理、问题解决和定理证明数据。

此外，模型还被提供了高质量数学问题解决方案的精选语料库，并在其指令中加入了一些关于如何解决 IMO 问题的一般性提示。谷歌 DeepMind 计划先向包括数学家在内的一组可信测试者提供该 Deep Think 模型的版本，之后再向 Google AI Ultra 订阅用户推出。

团队表示，虽然目前在自然语言方法上取得了突破，但他们仍在继续推进 AlphaGeometry 和 AlphaProof 等形式化系统。他们相信，将自然语言流畅性与形式化语言中的严谨、可验证推理相结合的 Agent，将成为数学家、科学家和研究人员的宝贵工具。

此次成果由 Thang Luong 领导整体技术方向，并与 Edward Lockhart 共同协调 IMO 2025 项目。IMO 官方确认了提交答案的完整性和正确性，但其审查不涉及对系统、流程或底层模型的验证。