谷歌DeepMind捅破AI數(shù)學(xué)推理上限 IMO競賽達(dá)銀牌水準(zhǔn)
谷歌DeepMind捅破AI數(shù)學(xué)推理上限
7月26日,，谷歌DeepMind團(tuán)隊公布了一項研究進(jìn)展,，他們在博客中介紹,，自主研發(fā)的AlphaProof和AlphaGeometry 2兩款A(yù)I模型成功挑戰(zhàn)了數(shù)學(xué)領(lǐng)域的高級邏輯難題,，達(dá)到了國際數(shù)學(xué)奧林匹克競賽(IMO)銀牌水平的解題能力。
AlphaProof是運用強化學(xué)習(xí)構(gòu)建的創(chuàng)新數(shù)學(xué)推理系統(tǒng),，而AlphaGeometry 2則是對原有幾何問題求解系統(tǒng)的優(yōu)化升級,。通過這兩個模型的協(xié)同工作，DeepMind團(tuán)隊在本年度IMO的6個賽題中攻克了4題,，首次與IMO銀牌獲獎?wù)叩慕忸}成績比肩,。
為了確保評估的公正性和專業(yè)性，DeepMind組建了一個由頂尖數(shù)學(xué)家構(gòu)成的評審小組,，成員包括IMO金牌得主及菲爾茲獎獲得者蒂莫西·高爾斯教授,，以及兩度摘得IMO金牌、現(xiàn)任IMO 2024年問題挑選委員會主席的約瑟夫-邁爾斯博士,。他們依據(jù)IMO的標(biāo)準(zhǔn)對AI解題成果進(jìn)行了評判,。
AI模型的運作機制涉及將IMO的賽題轉(zhuǎn)化為模型可解讀的數(shù)學(xué)表述。具體而言,，AlphaProof專注于代數(shù)和數(shù)論問題,，不僅找出了兩個問題的答案，還完成了證明,，其中一個被證實是最具挑戰(zhàn)性的題目,，僅本屆IMO中有5名選手成功解答。AlphaGeometry 2則專注于幾何題,，但在組合問題上未能找到解決方案,。
按照IMO的計分制度，每題滿分為7分,，總分42分,。DeepMind的這套系統(tǒng)總共獲得了28分，意味著每道被解決的問題均得到了滿分,，這一成績等同于銀牌選手的頂級表現(xiàn),。盡管如此，2024年金獎的最低分?jǐn)?shù)線設(shè)定在29分,，當(dāng)年共有58名參賽者在609人的激烈競爭中贏得了金獎殊榮,。
中國服務(wù)進(jìn)出口總額同比增長14% 旅行服務(wù)迅猛增長促開放提速
北京現(xiàn)實版“綠野仙蹤”打卡地推薦 夢幻秘境探索指南,！
《黑神話悟空》中疑似現(xiàn)安徽天柱山
充氣模型、木頭導(dǎo)彈,、地面畫像,、空射誘餌彈……俄烏沖突中“誘餌裝備無處不在”
美方稱以方已接受一項有關(guān)加沙停火的過渡提議,，哈馬斯回應(yīng)
激戰(zhàn)庫爾斯克是否讓俄烏離談判越來越遠(yuǎn),？專家解讀
波蘭強硬回應(yīng)“參與破壞北溪管道”指控,，德國感到吃驚但仍決定避免爭端升級
張大仙玩黑神話悟空暈吐下播了 3D眩暈成直播焦點
同樣是中國鄰國，沒有對比,，就沒有傷害
中國服務(wù)進(jìn)出口總額同比增長14% 旅行服務(wù)迅猛增長促開放提速
孫穎莎又成打卡景點了 奧運三金歸國引轟動
美國力推達(dá)成協(xié)議,，巴以雙方相互指責(zé),，布林肯訪中東強調(diào)“最后的機會”
菲海警船接連沖闖南海島礁,、故意沖撞我海警艇！專家：意圖試探中方底線,，菲方顯然誤判形勢
印度外交部證實莫迪將訪烏,，美媒：此訪旨在平衡與華盛頓和莫斯科的關(guān)系
徐嘉余說不滿足于接力 盼單項新突破
付航名副其實的喜劇猴王
周冬雨任釜山國際電影節(jié)新浪潮評委
巴武裝組織宣稱對特拉維夫爆炸負(fù)責(zé) 與杰哈德聯(lián)合行動
北京現(xiàn)實版“綠野仙蹤”打卡地推薦 夢幻秘境探索指南,！
德國政府遭批后回應(yīng)：沒有暫停對烏援助,，討論仍在進(jìn)行中
葫蘆島村民被洪水圍困：水已經(jīng)上炕了
采訪佩戴納粹徽章的烏克蘭士兵,，意大利記者道歉同時譴責(zé)“親俄宣傳”
孫穎莎輕輕萌暈所有人 網(wǎng)絡(luò)熱議，萌力無邊
俄軍攻占烏東小鎮(zhèn)紐約
黃牛倒賣主題樂園年卡權(quán)益被禁入園和撤卡
俄烏公布的戰(zhàn)果都要打折扣……
黑神話創(chuàng)始團(tuán)隊成員全部來自騰訊 騰訊投資背景揭秘
《黑神話悟空》中疑似現(xiàn)安徽天柱山
烏軍越境攻擊俄羅斯,，俄烏兩軍戰(zhàn)場表現(xiàn)如何,？
全紅嬋央視《面對面》談陳芋汐 勝負(fù)之外的友誼與成長
英國太空港火箭測試失敗 巨大火球吞沒現(xiàn)場
“會談富有建設(shè)性”,？沖突雙方：仍存分歧,！
俄外長：烏克蘭襲擊庫爾斯克州后,，任何談判都不可能
美國一大學(xué)教授槍殺妻子 南開畢業(yè),，家庭悲劇震驚社區(qū)
澤連斯基視頻講話點名美英法：需加快向烏克蘭提供武器
相關(guān)新聞
讓用戶“在披薩上涂膠水”,？谷歌AI搜索大翻車？
2024-05-30 14:55:36Google Glass團(tuán)隊打磨6年的新產(chǎn)品OpenAI對谷歌威脅比美國監(jiān)管機構(gòu)更大 AI搜索革命來襲
2024-08-09 13:49:00OpenAI對谷歌威脅比美國監(jiān)管機構(gòu)更大谷歌員工抗議向以提供AI服務(wù) 質(zhì)疑技術(shù)用于殺戮
2024-04-18 13:51:29谷歌員工抗議向以提供AI服務(wù)一道小學(xué)題難倒海內(nèi)外8個大模型 AI的數(shù)學(xué)困境
一些簡單的數(shù)學(xué)問題近期挑戰(zhàn)了一群先進(jìn)的AI大模型,，引發(fā)了業(yè)界關(guān)注
2024-07-17 13:26:31一道小學(xué)題難倒海內(nèi)外8個大模型李開復(fù)推理大模型成本將每年降10倍 AI競賽加速前行
2024-05-22 09:47:54李開復(fù)推理大模型成本將每年降10倍開始推理吧 何炅 AI合成引爭議,，節(jié)目組致歉承諾整改
2024-06-19 08:07:40開始推理吧
