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

原標(biāo)題：數(shù)學(xué)界AlphaGo來(lái)了！攻破奧數(shù)難題登Nature，接近人類金牌水平
關(guān)鍵字：幾何,奧林匹克,問(wèn)題,模型,得主
文章來(lái)源：智東西
內(nèi)容字?jǐn)?shù)：6867字

內(nèi)容摘要：

谷歌兩大AI數(shù)學(xué)模型，奧數(shù)金牌得主親自點(diǎn)贊。
作者|李水青
編輯|心緣
智東西1月18日?qǐng)?bào)道，1月17日，谷歌研發(fā)的AI數(shù)學(xué)模型AlphaGeometry登上國(guó)際頂刊Nature。AlphaGeometry能解決幾何問(wèn)題，解題水平接近人類奧林匹克金牌得主，有望成為AI邁向通用人工智能的一個(gè)重要里程碑。
在針對(duì)30道奧數(shù)幾何題的基準(zhǔn)測(cè)試中，AlphaGeometry在規(guī)定的奧數(shù)解題時(shí)間內(nèi)成功解決了25道題。相比之下，此前最先進(jìn)的機(jī)器系統(tǒng)僅解決了其中10道題，而人類金牌得主的平均解題數(shù)量為25.9道。
AlphaGeometry采用神經(jīng)語(yǔ)言模型的預(yù)測(cè)能力與規(guī)則約束推演引擎相結(jié)合的方法，就像人類的慢思考+慢思考，兩者協(xié)同找到問(wèn)題解法。
谷歌還合成了包含1億個(gè)獨(dú)特的幾何問(wèn)題示例的數(shù)據(jù)集，支持AlphaGeometry在沒(méi)有任何人類演示的情況下自行訓(xùn)練，也就是自己“刷題提分”。
“對(duì)他們能夠成功應(yīng)用AI解決問(wèn)題感到驚訝，這確實(shí)是一項(xiàng)令人印象深刻的成就?！睌?shù)學(xué)領(lǐng)域的國(guó)際最高獎(jiǎng)項(xiàng)之一菲爾茲獎(jiǎng)金牌得主NG? B?O CH?U如此評(píng)價(jià)道。
他指出，研究人員往往首先嘗試用AI解決IMO（國(guó)際數(shù)學(xué)奧林匹

原文鏈接：數(shù)學(xué)界AlphaGo來(lái)了！攻破奧數(shù)難題登Nature，接近人類金牌水平

聯(lián)系作者

文章來(lái)源：智東西
作者微信：zhidxcom
作者簡(jiǎn)介：智能產(chǎn)業(yè)新媒體！智東西專注報(bào)道人工智能主導(dǎo)的前沿技術(shù)發(fā)展，和技術(shù)應(yīng)用帶來(lái)的千行百業(yè)產(chǎn)業(yè)升級(jí)。聚焦智能變革，服務(wù)產(chǎn)業(yè)升級(jí)。