<div id="readability-page-1"><img src="https://imageproxy.pbkrs.com/https://wpimg-wscn.awtmt.com/9bfd767b-5983-4475-99f0-19df1a13a219.png?x-oss-process=image/auto-orient,1/interlace,1/resize,w_1440,h_1440/quality,q_95/format,jpg" width="1024" height="719" original-src="https://imageproxy.pbkrs.com/https://wpimg-wscn.awtmt.com/9bfd767b-5983-4475-99f0-19df1a13a219.png"/> 就在全球科技圈还在议论 OpenAI 抢跑宣称其内部模型拿下 IMO 金牌之际，真正的 “官方认证” 王者来了。谷歌 DeepMind 刚刚发布重磅博客，宣布其搭载了 “深度思考”（Deep Think）能力的高级版 Gemini，在 2025 年国际数学奥林匹克竞赛（IMO）中，以 6 题解出 5 题、总分 35 分的成绩，正式达到金牌标准！ <img src="https://imageproxy.pbkrs.com/https://wpimg-wscn.awtmt.com/3251203f-f973-470a-aad8-3a6148d2d000.png?x-oss-process=image/auto-orient,1/interlace,1/resize,w_1440,h_1440/quality,q_95/format,jpg" width="1024" height="438" original-src="https://imageproxy.pbkrs.com/https://wpimg-wscn.awtmt.com/3251203f-f973-470a-aad8-3a6148d2d000.png"/> 这一成绩经过了 IMO 官方协调员的认证，所有解题过程都在 4.5 小时的比赛时限内完成，并且全程使用自然语言进行端到端的推理 哈哈哈，相比于 OpenAI 的自我宣称，谷歌拿出了无可辩驳的官方战报，这下我好像终于知道了 OpenAI 为什么抢跑了，Sam Altman 一定是提前知道了什么，我也好像懂了为什么 OpenAI 不顾 IMO 组委会反对提前宣称自己的实验模型获得了金牌，一个官方认证的结果一定让 sam 寝食难安，如果不提前炒作一下，这个结果一定对 OpenAI 造成巨大的打击 <h2>真正的金牌选手：5 道满分，端到端自然语言搞定</h2> 这一成就的含金量，体现在以下几个颠覆性的进步上： 从 “形式数学” 到 “自然语言” 的飞跃： 还记得去年（IMO 2024）吗？谷歌的 AlphaGeometry 和 AlphaProof 虽然达到了银牌标准，但需要人类专家先将自然语言的题目 “翻译” 成 AI 能理解的 Lean 等形式化语言。而今年的 Gemini，则实现了端到端的突破，直接读取并理解用自然语言描述的官方题目，然后直接生成严谨的、人类可读的数学证明。这标志着 AI 的推理能力向人类的直觉和灵活性迈进了一大步 竞赛级效率： 去年的系统需要数天的计算时间。而今年的模型，在 4.5 小时的竞赛规定时间内就完成了所有解题和证明生成 官方认证，无可争议： 博客明确指出，其模型结果由 IMO 协调员使用与学生解决方案相同的标准进行官方评分和认证，IMO 主席 格雷戈尔·多利纳尔教授博士： <img src="https://imageproxy.pbkrs.com/https://wpimg-wscn.awtmt.com/b2c45f40-0594-4854-b0a4-c76f9201659b.png?x-oss-process=image/auto-orient,1/interlace,1/resize,w_1440,h_1440/quality,q_95/format,jpg" width="1024" height="1065" original-src="https://imageproxy.pbkrs.com/https://wpimg-wscn.awtmt.com/b2c45f40-0594-4854-b0a4-c76f9201659b.png"/> 这是谷歌发布的解题过程，有 13 页 pdf，我反正是看不懂，数学大神请享用挑刺： <img src="https://imageproxy.pbkrs.com/https://wpimg-wscn.awtmt.com/31f5f50d-91c9-4cef-967a-bb02db07d493.png?x-oss-process=image/auto-orient,1/interlace,1/resize,w_1440,h_1440/quality,q_95/format,jpg" width="1024" height="822" original-src="https://imageproxy.pbkrs.com/https://wpimg-wscn.awtmt.com/31f5f50d-91c9-4cef-967a-bb02db07d493.png"/> <h2>谷歌的官宣与 OpenAI 的抢跑</h2> OpenAI 在 IMO 闭幕式前突然宣称，其一个内部实验模型也达到了金牌水平。然而，这一行为立刻引发了巨大争议： 无视规则： 据悉，IMO 组委会曾明确要求 OpenAI 不要在闭幕式前发布结果，但 OpenAI 并未听从 缺乏认证： OpenAI 的成绩完全是 “自我报告”，并未经过 IMO 官方的独立验证和评分 方法论不透明： 其模型和方法并未在赛前进行任何披露。 这一系列骚操作引来陶哲轩（Terence Tao）的公开回应，也就不奇怪他在社交媒体上对 OpenAI 的态度了： <blockquote> 对于任何没有在赛前披露其方法论的、自我报告的 AI 竞赛成绩，我将不予置评。 </blockquote> 陶哲轩内心戏：你他么既当裁判又当运动员，难道我不懂吗？ <h2>金奖背后</h2> 谷歌是如何实现这一惊人飞跃的？答案是深度思考 Deep Think 高级模式 平行思考（Parallel Thinking）： Deep Think 高级模式能让模型不再局限于单一的线性推理路径。它可以同时探索和组合多种可能的解决方案，就像一个顶尖数学家在脑中同时演算几条解题思路，最终选择最优的一条 强化学习与高质量数据： 谷歌通过新颖的强化学习技术，专门针对多步推理、问题解决和定理证明数据对 Gemini 进行了训练。同时，还为其提供了大量高质量的数学问题解决方案语料库。 研发团队还在模型的指令中加入了一些关于如何解决 IMO 问题的通用提示和技巧 所以最后，问大家一个问题，AGI 还有多远？ AI 寒武纪，原文标题：《打脸 OpenAI！谷歌 Gemini 高级版获 IMO 2025 官方认证金牌：纯自然语言端到端推理》风险提示及免责条款 市场有风险，投资需谨慎。本文不构成个人投资建议，也未考虑到个别用户特殊的投资目标、财务状况或需要。用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资，责任自负。</div>

谷歌-A

谷歌-C

谷歌 DeepMind 的 Gemini 高级版在 2025 年国际数学奥林匹克竞赛中获得金牌，解出 5 题，得分 35 分，经过 IMO 官方认证。这一成就标志着 AI 在自然语言理解和推理能力上的重大突破，能够直接处理自然语言题目并生成数学证明，效率显著提高。与 OpenAI 的自我宣称相比，谷歌的官方认证结果更具权威性。

- 谷歌 DeepMind 的 Gemini 在 IMO 2025 中获得金牌，解出 5 题，总分 35 分。  
- 该成绩经过 IMO 官方认证，使用自然语言进行推理。  
- OpenAI 的自我报告成绩引发争议，缺乏官方验证。  