谷歌再被OpenAI截胡？訓(xùn)練數(shù)學(xué)AI拿下IMO銀牌，不及SearchGPT放了空響…

AIGC動(dòng)態(tài)歡迎閱讀

原標(biāo)題：谷歌再被OpenAI截胡？訓(xùn)練數(shù)學(xué)AI拿下IMO銀牌，不及SearchGPT放了空響…
關(guān)鍵字：方式,金牌,問題,模型,幾何
文章來源：夕小瑤科技說
內(nèi)容字?jǐn)?shù)：0字

內(nèi)容摘要：

夕小瑤科技說 原創(chuàng)作者 | 海野昨夜谷歌振臂高呼：我們新的數(shù)學(xué)AI，能在IMO數(shù)學(xué)競(jìng)賽達(dá)到銀牌水平！
但就在谷歌發(fā)文的幾個(gè)小時(shí)后，OpenAI就偷了谷歌的家：
發(fā)布新的搜索方式SearchGPT ，劍指挑戰(zhàn)谷歌的搜索引擎。
谷歌雙模型并用攻克數(shù)學(xué)難題，離金牌只一分之遙為了能在IMO拿到好成績(jī)，谷歌DeepMind使用了兩個(gè)新模型：AlphaProof ，以及AlphaGeometry 2 。
AlphaProof是一個(gè)全新的數(shù)學(xué)模型，基于強(qiáng)化學(xué)習(xí)的數(shù)學(xué)形式化推理系統(tǒng)；
而AlphaGeometry 2是前身AlphaGeometry的改良版，是專攻幾何問題的神經(jīng)符號(hào)混合系統(tǒng)。
在賽前，DeepMind通過證明或反駁數(shù)百萬個(gè)數(shù)學(xué)問題來訓(xùn)練AlphaProof，并加強(qiáng)了模型的自證能力，以提供完美的解決思路。
而AlphaGeometry 2與前身相比，使用了更大數(shù)量級(jí)的合成數(shù)據(jù)，并從頭開始訓(xùn)練，以加強(qiáng)更復(fù)雜的幾何問題的解決能力。經(jīng)測(cè)試，AlphaGeometry 2可以解決過去25年中所有IMO幾何問題的83%。
有沒有人可以告訴我83%的正確率是什么水平？
在本屆IMO數(shù)學(xué)題中，Alph

原文鏈接：谷歌再被OpenAI截胡？訓(xùn)練數(shù)學(xué)AI拿下IMO銀牌，不及SearchGPT放了空響…

聯(lián)系作者

文章來源：夕小瑤科技說
作者微信：
作者簡(jiǎn)介：