谷歌數(shù)學(xué)AI登Nature：IMO金牌幾何水平，定理證明超越1978年吳文俊法

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

原標(biāo)題：谷歌數(shù)學(xué)AI登Nature：IMO金牌幾何水平，定理證明超越1978年吳文俊法
關(guān)鍵字：幾何,人類(lèi),模型,定理,系統(tǒng)
文章來(lái)源：量子位
內(nèi)容字?jǐn)?shù)：4533字

內(nèi)容摘要：

夢(mèng)晨 發(fā)自 凹非寺量子位 | 公眾號(hào) QbitAI谷歌DeepMind再發(fā)Nature，Alpha系列AI重磅回歸，數(shù)學(xué)水平突飛猛進(jìn)。
AlphaGeometry，無(wú)需人類(lèi)演示達(dá)到IMO金牌選手的幾何水平。
有當(dāng)年AlphaZero無(wú)需人類(lèi)知識(shí)學(xué)圍棋《Mastering the game of Go without human knowledge》的感覺(jué)了。
具體來(lái)說(shuō)，30道IMO難度的幾何定理證明題，AlphaGeometry做對(duì)25道，人類(lèi)金牌選手平均25.9道，之前SOTA方法（1978年的吳文俊法）做對(duì)10道。
IMO金牌得主陳誼廷（Evan Chen）負(fù)責(zé)評(píng)估AI生成的答案，他評(píng)價(jià)到：
AlphaGeometry的輸出令人印象深刻，既可驗(yàn)證又干凈。過(guò)去的人工智能解決方案偶然性很大，輸出有時(shí)是正確的，需要人工檢查。
AlphaGeometry沒(méi)有這個(gè)弱點(diǎn)，它的解決方案具有機(jī)器可驗(yàn)證的結(jié)構(gòu)，并且是人類(lèi)可讀的……它像學(xué)生一樣使用帶有角度和相似三角形的經(jīng)典幾何規(guī)則。
除成績(jī)亮眼之外，這項(xiàng)研究中還有三個(gè)重點(diǎn)引起業(yè)界關(guān)注：
無(wú)需人類(lèi)演示，也就是只用了AI合成數(shù)據(jù)訓(xùn)練，延續(xù)了AlphaZe

原文鏈接：谷歌數(shù)學(xué)AI登Nature：IMO金牌幾何水平，定理證明超越1978年吳文俊法

聯(lián)系作者

文章來(lái)源：量子位
作者微信：QbitAI
作者簡(jiǎn)介：追蹤人工智能新趨勢(shì)，關(guān)注科技行業(yè)新突破