
Google成为IMO金牌AI的第一位获胜者。前5个问题是完整的,但是很难解决最后一个问题。专家说,它缺乏创造力,很难取代人类数学。
用-SOHU技术的设定制成| Zheng Songyi的编辑|几个小时前,Yang Jin在获得国际数学奥林匹克(IMO)正式认证后,AI的AI的AI的AI官员正式成为世界上第一位赢得IMO金牌的AI球员,他的表现令人惊讶。今年的金牌的获胜者是双子座模特的“特殊”版本-Gemini Deep Think。它具有更强的谨慎和思考技能,并将向Google AI Ultra(每月支付1,800元的K)开放。在IMO审查团队得分之后,Geminideep Think正确地回答了六个IMO问题中的五个,并得分35分(总分为42分),达到了金牌水平。学习好消息时,请去Ogle的首席执行官Picili发送了一个问候信息,Musk还发了推文来表达他的问候。与渴望在几天前宣布该活动之前宣布赢得胜利的Openai相比,最终被发现是非正式的认证,有问题的是,Google的低运营变得有些尴尬。果然,有能力的玩家习惯于以低调的方式做事,然后使用他们的分数来表达打击。自1959年以来,年度国际数学奥林匹克运动会(IMO)在全球范围内众所周知。竞赛代表了世界上大多数人才华横溢的计算人才,在非常困难的代数,几何,数字理论等领域都在竞争激烈的竞争。根据竞争法规,比赛应在4.5小时内解决六个非常困难的数学问题,每个问题的7分和总数42分。今年,IMO金线定为35分,银线为28分。在所有比赛中,最高的8%可以赢得金牌。它象征着数学领域的绝对荣耀。扩展全文
近年来,IMO被称为“数学试金石”,逐渐成为AI想要的挑战,旨在测试AI思维的严格逻辑能力,推理能力,创造性思维的能力,并通过非常高的要求Forai模型。
在去年的IMO比赛中,Google DeepMind的字母隔板和字母度2合作解决了六个难题中的四个,并以28分获得了银牌。
但是,整整三天才解决了六个DA的问题,因为将问题从自然语言转化为绝对是域的语言的复杂步骤(例如精益),以及验证推理所需的长时间,结果是匆忙的。
今年的新模式,双子座深思熟虑,已经取得了成功的发展,主要反映在解决复合物的效率和准确性上问题。
双子座的深层思考整个过程中的自然语言问题,并且无需改变问题的故意形式,可以节省大量时间和成本。
据报道,Gemini Deep的思想是各种问题推理的目标增强模型,其中包括Google的一些最新研究技术,包括“平行思想”。使模型能够同时探索和结合许多可能的解决方案,以最终提出答案,而不是追求单个线性思维链。
此外,DeepMind还选择了高质量的数学问题,并为双子座提供了问题,并增加了有关如何回答IMO问题的提示。
由结果酌情决定,双子不仅给了4.5个小时,而且还获得了前五个问题的完整成绩。
至于最后一个问题,尚未解决的问题是,深媒体研究所和布朗大学的教授六月hyuk Jung解释说,“解决方案中有一个错误,但只有五名球员提出了最后一个问题。”
人工智能还是替代人类数学?
在Google DeepMind官方网站上,您将看到Gemini Deep认为完全披露的五个问题的答案。
双子座主席格雷戈尔·多利纳尔(Gregor Dolinar)教授亲自证明:“解决方案在许多方面令人惊讶。这些解决方案具有清晰的思想和准确的表达方式,大多数内容都简单易懂。”
JuneHyuk同意:“为了以第三个问题为例,许多人选择使用复杂和高级的研究生水平解决方案,但是Gemini仅使用数字理论的基础知识来完成证明答案。”
随着Google的DeepMind团队对此进行了关注,AI为数学做出贡献的潜力仅出现了。据信,该团队以严格的思维和推理技能是数学家和科学家的必要工具。
作为获胜者许多奖项,例如田野勋章,数学突破奖和麦克阿瑟奖,数学tao Zhexuan也赞扬了Gemini的表现。
道Zhexuan指出:“ AI正在推动数学研究范式的转变。在不久的将来(也许是2026年),AI将与人类数学家合作研究水平论文。这种伙伴关系模型将改变数学合作伙伴关系的方式。
人工智能通过将资金消除给IMO表现出强大的力量。许多人想知道数学家是否会被AI取代?
应用Mathin UCLA教授Ernest Ryu说:“在短时间内,AI将无法取代数学。”
他认为:“数学研究的本质是解决问题而不知道如何解决(训练数据除外),类似于第六次竞争问题,需要良好的创造力。显然,当时的AI表现表明它没有能力。”
“对于人们已经可以解决的能力的数学问题,数学依据拱门工作将结合现有技能和新想法以获得优化解决方案。 AI将在提高任务的效率方面发挥重要作用。”
与人工智能相比,IMO成为中国的竞争
值得一提的是,在大多数人类球员的总结卡中,中国球队首先以6枚金牌和231分的总成绩分别为231分。去年在美国消失后,它恢复了世界上排名第一的位置。
六名中国团体球员是来自Wuchang实验中学的Deng Zhewen,来自Wuhan经济和技术发展外语高中的Xu Qiming,来自Chongqing Bashu中学的Zhang Hengye,Hangzhou Xuejun中学的Dong Zhenyu,以及Shanga的Deng Leyan。
去年65号IMO,Wuchang实验中学的一年级高中学生Deng Zhewen赢得了中国团体的金牌。
HEAD教练介绍了:“邓·泽文(Deng Zhewen)在数学研究中非常重要。在比赛期间,他表现出了纯粹的爱心和持续的学习精神。”
张亨格(Zhang Hengye)是巴胡中学(Bashu Middle School)的大二学生。他于2023年被选为国家培训团队,并在阿里巴巴全球数字竞赛24年的卓越奖中获得了卓越奖。
今天,高中三年级的东·Zhenyu(Dong Zhenyu)在高中的第一年被选为国家培训小组,并进入了曾华大学的Yao班。他以数学比赛而闻名。
其中,棕褐色和Xu Qiming都是武汉经济发展的强大基础团队。前者已经获得了Tsinghua大学和北京大学的推荐资格,而后者已成功地为北京大学的2025年数学人才课。
作为最小的球队,邓·莱安(Deng LeyanP,直接破坏了过去十年上上海IMO选择的年龄。昵称是“ Xin Wei Shen”。
从今年的IMO扮演前30名人物的判断中,来自亚洲和东欧的人才比例很高。
一位评论员开玩笑说:“从现在开始,与人工智能相比,与美国相比,IMO将成为中国的竞争。”回到Sohu看看更多