机器之心报道

机器之心编辑部

刚刚，谷歌DeepMind宣布，其新一代Gemini进阶版模型在IMO竞赛中正式达到金牌得主水平，成功解决了六道超高难度试题中的五道，拿下35分（满分42分），成为首个获得奥赛组委会官方认定为金牌的AI系统。

更重要的是，该系统首次证明人工智能无需依赖专业编程语言，仅通过自然语言理解即可攻克复杂数学难题。

谷歌DeepMind首席执行官哈萨比斯在社交媒体平台X上强调：这是官方结果！

谷歌这项成绩远超其在2024年的表现。当时，AlphaProof和AlphaGeometry系统组合解决了六个问题中的四个，荣获银牌。

今年的突破来自GeminiDeepThink，这是一个增强型推理系统，采用了研究人员所谓的并行思维。与遵循单一推理链的传统人工智能模型不同，DeepThink会同时探索多种可能的解决方案，最终得出答案。

哈萨比斯在后续帖子中解释道：谷歌的模型以自然语言进行端到端运行，直接从官方问题描述中生成严格的数学证明。并强调，该系统在比赛标准的4.5小时时限内完成了任务。

谷歌这次官宣，让OpenAI处于尴尬的处境，毕竟OpenAI因绕过官方竞赛规则提前官宣，遭到很多人吐槽。可参考《OpenAI拿IMO金牌是火了，但惹怒大批人：抢发炒作，抢学生风头》。

谷歌DeepMind这种谨慎的发布方式赢得了AI界的广泛赞誉，尤其与竞争对手OpenAI对类似成绩的处理方式形成了鲜明对比。

「我们没有在周五宣布这一消息，是因为我们尊重IMO理事会最初的要求，即所有人工智能实验室只有在官方结果经过独立专家验证，并且学生获得应有的赞誉后，才能分享其成果。」哈萨比斯写道。

对比之下，大家都在谴责OpenAI做事不地道、毫无风度、无礼。反观谷歌DeepMind，行事正直，符合人性。

这种批评源于OpenAI决定在不参与IMO官方评估流程的情况下公布自己的成绩。OpenAI让一个由前IMO参赛选手组成的小组对其AI的表现进行评分，社区中的一些人认为这种做法缺乏可信度。

OpenAI又来回应了

OpenAI研究科学家NoamBrown向谷歌发来祝贺，说是祝贺，更多的是为了回应质疑。以下是回应内容。

谷歌采用的方法与我们略有不同，这表明还有很多研究方向值得探讨。

两个月前，IMO组委会曾通过邮件邀请我们参加基于Lean语言的正式比赛。由于我们一直致力于不受Lean限制的自然语言通用推理研究，因此婉拒了该邀请。组委会从未就自然语言解题形式与我们进行过接洽。

在过去的几个月里，我们在通用推理方面取得了很大进展。这包括收集、整理和训练高质量的数学数据，这些数据也将用于未来的模型。在IMO评估中，我们没有使用RAG或任何其他工具。

我们提交的每份证明都由三位外部IMO奖牌获得者评分，并获得了一致的正确性认可。我们还将证明公开发布，以便任何人都可以验证其正确性。

证明地址：https://github.com/aw31/openai-imo-2025-proofs/

在分享我们的结果之前，我们与IMO的一位董事会成员进行了交谈，他要求我们等到颁奖典礼结束后再公开结果，我们的发布满足要求。

我们在颁奖典礼结束后，于太平洋时间～凌晨1点（澳大利亚东部标准时间下午6点）宣布。从来没有人要求我们晚于此宣布。

最重要的是，我们很高兴与世界分享我们的进展和成果。AI推理能力正在快速发展，这些IMO结果确实表明了这一点。

通过这件事，我们不难发现，这场AI登上数学奥林匹克舞台的较量，不只是一次技术竞赛，更是一场关于规范、节奏与合作精神的展示。DeepMind选择了等待官方认可，再谨慎发布成绩，赢得了金牌，也赢得了尊重。而OpenAI尽管也取得了不俗成果，却因时机与方式的问题，引发了争议。这背后提醒我们，在通往AGI的路上，除了技术力，如何与人类社会的规则与价值观对齐，正变得愈发重要。