AIGC動態歡迎閱讀

原標題：谷歌數學AI登Nature：IMO金牌幾何水平，定理證明超越1978年吳文俊法
關鍵字：幾何,人類,模型,定理,系統
文章來源：量子位
內容字數：4533字

內容摘要：

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

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

聯系作者

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