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

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

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

內(nèi)容摘要：

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

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

聯(lián)系作者

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