
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
作者簡介:追蹤人工智能新趨勢,關注科技行業新突破
? 版權聲明
文章版權歸作者所有,未經允許請勿轉載。
相關文章
暫無評論...

粵公網安備 44011502001135號