IT 之家 7 月 26 日消息，谷歌 DeepMind 團(tuán)隊(duì)昨日（7 月 25 日）發(fā)布博文，表示其研發(fā)的 AlphaProof 和 AlphaGeometry 2 模型可以解決數(shù)學(xué)中的高級(jí)推理問(wèn)題，在解答國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽難題方面達(dá)到銀牌標(biāo)準(zhǔn)。
AI 模型簡(jiǎn)介
AlphaProof：基于強(qiáng)化學(xué)習(xí)的全新數(shù)學(xué)形式推理系統(tǒng)。
AlphaGeometry 2：幾何解題系統(tǒng)的改進(jìn)版。
DeepMind 團(tuán)隊(duì)結(jié)合兩個(gè) AI 模型，協(xié)作解決了今年國(guó)際數(shù)學(xué)奧林匹克（IMO）6 道題目中的 4 道，首次在競(jìng)賽中取得與銀牌得主同等的成績(jī)。
評(píng)分團(tuán)隊(duì)
DeepMind 團(tuán)隊(duì)兩位專家，根據(jù) IMO 的評(píng)分規(guī)則進(jìn)行評(píng)分，這兩位專家分別為：
蒂莫西?高爾斯教授（Prof Sir Timothy Gowers）：著名數(shù)學(xué)家、IMO 金牌得主和菲爾茲獎(jiǎng)得主。
約瑟夫-邁爾斯博士（Dr Joseph Myers）：兩屆 IMO 金牌得主、IMO 2024 年問(wèn)題遴選委員會(huì)主席
AI 模型推理
AI 會(huì)將 IMO 的 6 道題目翻譯成為模型可以理解的數(shù)學(xué)語(yǔ)言。
AlphaProof 通過(guò)確定答案并證明其正確性，解決了兩個(gè)代數(shù)問(wèn)題和一個(gè)數(shù)論問(wèn)題，而其中解決的 1 個(gè)問(wèn)題是比賽中最難的，在今年的 IMO 中只有 5 位選手解決了這一問(wèn)題。
AlphaGeometry 2 證明了幾何問(wèn)題，沒(méi)有解決 2 個(gè)組合問(wèn)題。
AI 模型結(jié)果
按照 IMO 規(guī)則，6 道題目每道題可獲得 7 分，總分最高為 42 分。
DeepMind 系統(tǒng)最終獲得了 28 分，每個(gè)問(wèn)題都得到了滿分，相當(dāng)于銀牌組的最高分。
2024 年的金獎(jiǎng)門檻從 29 分開(kāi)始，在正式比賽中，609 名參賽者中有 58 人獲得了金獎(jiǎng)。
IT 之家附上參考地址
廣告聲明：文內(nèi)含有的對(duì)外跳轉(zhuǎn)鏈接（包括不限于超鏈接、二維碼、口令等形式），用于傳遞更多信息，節(jié)省甄選時(shí)間，結(jié)果僅供參考，IT之家所有文章均包含本聲明。