谷歌AI获IMO“唯一金牌🥇”,硅谷夹道祝贺,奥特曼丢人又丢人

谷歌AI获IMO“唯一金牌🥇”,硅谷夹道祝贺,奥特曼丢人又丢人

去年三天摘银,今年4.5小时夺金,DeepMind的数学成绩可以说是突飞猛进。

除了DeepMind CEO哈萨比斯、谷歌CEO劈柴哥给团队发来贺电,马斯克也发推表示了祝贺。

DeepMind这波可谓是被各界夹道祝贺,做得体面又周到。

但DeepMind被夸得越好,OpenAI就越发相形见绌,同样是AI参赛IMO,秘密搞事情也就算了,还为了营销跟人类青少年抢风头。

奥特曼治下的OpenAI,最近除了丢人就丢人了。

DeepMind官宣AI拿下IMO金牌🥇

DeepMind公告显示,Gemini新模型做对了今年IMO六道题中的五道,获得了35分。

并且这一成绩,也 获得了IMO主席Gregor Dolinar的亲自认证:

我们可以确认,谷歌DeepMind已达到人们梦寐以求的里程碑,获得了35分(满分42分)——堪称金牌🥇。

他们的解决方案在很多方面都令人惊叹。IMO评分员认为这些解决方案清晰、精准,而且大多数都易于理解。

不仅评分遵循IMO未公开的规则,所用时间标准也和人类选手完全一致——4.5小时之内答完交卷。

而去年DeepMind的银牌🥈成绩,是用AlphaProof和AlphaGeometry一起做了三天才获得的。

这次不仅用时更短,答题过程也是 全程自然语言、端到端完成,不再像去年那样专门修改题目格式。

DeepMind高级科学家兼IMO团队负责人Thang Luong表示,这与去年相比是一个范式转变。

此外,DeepMind研究员、布朗大学教授Junehyuk Jung介绍,在今年的第三题中,很多人类选手使用了研究生水平的方案(IMO为高中竞赛),但Gemini 仅使用了初等数论知识就给出了自洽的证明。

Jung还表示,Gemini没答对的最后一题,是一开始方向就错了,不过人类选手中做对这道题的也只有五个人。

顺便说一下,谷歌已经将Gemini做对的五道题的答案完整公开(链接见文末),有兴趣的话可以验证一下~

这次DeepMind用来参赛的,是一款暂未公开的全新模型,搭载了Deep Think推理模式。

DeepMind介绍,Gemini Deep Think是一种针对复杂问题的增强型推理模式,融合了其最新的一些研究技术,包括 并行思维。

这种模式使模型能够同时探索并组合多种可能的解决方案,最终得出最终答案,而不是追求单一的线性思维链。

为了充分利用Deep Think的推理能力,DeepMind额外训练了 Gemini 的这一版本,使其能够利用更多多步推理、问题求解和定理证明数据。

此外DeepMind还为Gemini提供了精选的高质量数学题库,并在其指令中添加了一些关于如何解答IMO题目的通用提示和技巧。

当然,DeepMind今天的官宣,也是获得了各种称赞。

DeepMind宣布成绩,被硅谷夹道欢迎

包括来自友商的称赞在内,DeepMind获得了整个硅谷的夹道欢迎。

除了开头马斯克那句简单的Congrats之外,还有Meta AI科学家称赞Gemini给出了清晰、精准、非常适合自学的解决方案。

受欢迎的原因,不仅是表现优秀,也包括谷歌对IMO规则的尊重。

Gemini参加挑战是受到了IMO官方邀请,所有规则标准都和人类一致。

并且,DeepMind也遵守了IMO官方的要求,没有急于宣布结果。

仔细研究哈萨比斯的推文,只字未提OpenAI,但又处处在针对OpenAI。

哈萨比斯的三条回复,主要强调了这么几点: 官宣是没有抢跑的,成绩是IMO认证的,模型也是未来可用的。

这三点,刚好和抢先宣布夺金结果被锤的OpenAI形成了鲜明对比。

IMO评审团和协调员们普遍认为,AI开发商在IMO期间(尤其是闭幕式之前)宣布成绩是“粗鲁且不恰当的”。

除了公告发布时间的问题, OpenAI到底得没得金牌🥇也有争议。

领导DeepMind超级推理团队的Thang Luong补充,IMO内部其实有一份官方评分指南,外部无法获取。没有基于该指南的评分就没有资格获得奖牌🏅。

这届IMO共6道题,每题7分。金牌🥇线35分,OpenAI自报的成绩也刚刚过线,即使是解答过程中微小的扣分都可能让OpenAI从金牌🥇跌到银牌🥈。

有网友评价:OpenAI一如既往的为了炒作什么都干得出来。没有官方分数,没有耐心,也没有羞耻心。

此外,OpenAI参赛用的模型也是未公开版本,并且可能以后也不会公开。

总之是处处和谷歌对比鲜明。

OpenAI研究员回应质疑

针对以上这些质疑,OpenAI研究员Noam在给谷歌送出祝福后,也顺带进行了回应:

首先,Noam解释OpenAI没和IMO官方合作 不是没收到邀请,而是OpenAI自己拒绝了。

其次是关于作答过程和评分的权威性,Noam表示没有使用RAG或者任何工具,而 打分是由3位IMO获奖者给出的。

同时Noam还公开了OpenAI模型的回答,表示任何人都可以检查。

最后是关于宣发时间,Noam表示公布成绩之前 和IMO董事会成员进行过沟通,后者要求等到颁奖仪式之后再发布,OpenAI表示接受。

而OpenAI官宣的时间是在太平洋时间凌晨1点,彼时颁奖已经结束, OpenAI没有被要求需要等到更晚的时间再发布。

虽然Noam的解释获得了部分网友的认可,但说一千道一万,网友还是表示倾向于站在谷歌这一边。

总之最近的OpenAI,除了丢人还是丢人。

小扎磨刀霍霍,人丢了。

谷歌同场竞技,丢人了。

Gemini回答:

https://storage.googleapis.com/deepmind-media/gemini/IMO_2025.pdf

OpenAI回答:

https://github.com/aw31/openai-imo-2025-proofs/

参考链接:

[1]https://deepmind.google/discover/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/

[2]https://arstechnica.com/ai/2025/07/google-deepmind-earns-gold-in-international-math-olympiad-with-new-gemini-ai/

特别声明:[谷歌AI获IMO“唯一金牌🥇”,硅谷夹道祝贺,奥特曼丢人又丢人] 该文观点仅代表作者本人,今日霍州系信息发布平台,霍州网仅提供信息存储空间服务。

猜你喜欢

歌手2025》让陈楚生口碑翻车?吃到最大红利的歌手竟不是陈楚生(《歌手2020》)

当她在舞台上释放积蓄多年的音乐能量时,无数乐迷惊叹:"这才是被埋没的宝藏歌手!若在神仙打架的往季登场,或许早被淘汰;但在本季,她恰逢其时地复制了"李晟式"成功。 值得玩味的是,本季节目评

《<strong>歌手2025</strong>》让陈楚生口碑翻车?吃到最大红利的歌手竟不是陈楚生(《<strong>歌手2020</strong>》)

40集历史大剧来袭,白宇领衔,倪大红梅婷助阵,要掀起追剧风暴了(历史篇电视剧)

从《大明王朝1566》到《大秦帝国之裂变》,再到《汉武大帝》,这些由张黎、黄健中等知名导演执导,陈宝国、侯勇等实力派演员演绎的经典之作,以其严谨的史实考据和深刻的思想内涵,奠定了历史正剧的艺术标杆。这段充满智…

40集历史大剧来袭,白宇领衔,倪大红梅婷助阵,要掀起追剧风暴了(历史篇电视剧)

岁月是把美容刀,李小冉和『许晴』越老越妖,馋她们身子的人越来越多(岁月是把美容刀下一句)

『许晴』:寻觅爱情未知旅途与李小冉形成鲜明对比的是『许晴』,在等待真爱这条路上始终保持着高度私密性。 『许晴』:寻觅爱情未知旅途与李小冉形成鲜明对比的是『许晴』,在等待真爱这条路上始终保持着高度私密性。『许晴』一直保持着高度的…

岁月是把美容刀,李小冉和『许晴』越老越妖,馋她们身子的人越来越多(岁月是把美容刀下一句)

“风流才女”徐静蕾:叛逆、漂泊与真爱的寻觅!

可惜啊,好景不长,王朔事业一低谷,两人的感情也就走到了头。两人在一起啊,就像是找到了失散多年的亲人一样亲切。这种自由而真挚的感情啊,让徐静蕾找到了真正的自己和幸福。在情感的漂泊之后啊,她终于找到了那个愿意跟她…

“风流才女”徐静蕾:叛逆、漂泊与真爱的寻觅!

流量绑定卡是什么,流量绑定卡怎么用(流量卡绑定手机卡会扣话费吗)

根据部分行业数据和用户反馈,一个有趣的现象是:超过70%的流量绑定卡用户将其作为“第二卡槽”的补充,主要用于满足大流量的娱乐(如刷视频、玩游戏)或工作(如外出临时办公)需求,而主卡则保留用于通话和绑定重要账…

流量绑定卡是什么,流量绑定卡怎么用(流量卡绑定手机卡会扣话费吗)