數學界的阿爾法狗要來了？谷歌公佈可媲美奧賽金牌得主的新AI

近日，谷歌發表在《Nature》科學雜誌上的一篇論文再次在AI領域引起了轟動——谷歌DeepMind開發的新人工智慧系統AlphaGeometry已經能夠解決複雜的幾何問題，其水平與國際數學奧林匹克（IMO）的金牌得主相當。

測試集中的30個幾何問題全都來自2000年至2022年的國際奧林匹克競賽，AlphaGeometry在競賽時間限制內共解決了其中的25個問題，其解題能力據稱幾乎可媲美最優秀的年輕數學家。

數學教練、前奧林匹克金牌得主Evan Chen（陳誼廷）對AlphaGeometry給予了高度評價：“AlphaGeometry的輸出令人印象深刻，因為它既可驗證而又幹淨。過去針對基於證明的競賽問題的人工智慧解決方案總是時好時壞（輸出有時正確，需要人工檢查），而AlphaGeometry沒有這個弱點：它的解決方案具有可機器驗證的結構。並且，它的輸出仍然是可讀的。人們可以想象到一個計算機程式透過蠻力座標系統來解決幾何問題：想象一下一頁又一頁繁瑣的代數計算。而AlphaGeometry不是這樣的。它是像學生一樣使用角度和相似三角形的經典幾何規則。”

由於缺乏推理能力和訓練資料，過去通常認為人工智慧在幾何和數學領域難以解決複雜問題。而AlphaGeometry的系統結合了兩種不同的方法獲得了突破：一種生成直觀思路的神經語言模型，以及一種使用形式邏輯和規則驗證這些思路的符號推演引擎。

谷歌表示，解決奧林匹克級別的幾何問題是在發展通往更先進更普遍的人工智慧系統路徑上的重要里程碑，AlphaGeometry證明了人工智慧在邏輯推理方面不斷增強的能力，以及發現和驗證新知識的能力。谷歌已公開發布AlphaGeometry的程式碼和模型，期待能為數學、科學和人工智慧開闢新的可能性。

論文連結：https://www.nature.com/articles/s41586-023-06747-5

模型連結：https://github.com/google-deepmind/alphageometry

編輯：左右裡

資訊來源：Google官網、《Nature》

轉載請註明出處和本文連結