數學界AlphaGo來了！攻破奧數難題登Nature，接近人類金牌水平

AIGC動態歡迎閱讀

原標題：數學界AlphaGo來了！攻破奧數難題登Nature，接近人類金牌水平
關鍵字：幾何,奧林匹克,問題,模型,得主
文章來源：智東西
內容字數：6867字

內容摘要：

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

原文鏈接：數學界AlphaGo來了！攻破奧數難題登Nature，接近人類金牌水平

聯系作者

文章來源：智東西
作者微信：zhidxcom
作者簡介：智能產業新媒體！智東西專注報道人工智能主導的前沿技術發展，和技術應用帶來的千行百業產業升級。聚焦智能變革，服務產業升級。