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