AI會做奧林匹克數學題，成績接近“金牌選手”
谷歌深度思維公司的科學家開發了一個能解國際數學奧林匹克競賽級別幾何題的人工智能（AI）系統，其表現超過了之前最好的自動化定理證明系統。該研究證明了AI能以接近人類最高水平破解復雜邏輯挑戰的潛力——這正是AI研究的一個主要目標。相關研究1月18日發表于《自然》。
奧林匹克水平的數學定理證明需要高水平的邏輯推理和解題能力。然而，當前基于機器學習的AI系統在證明數學定理方面還有困難。機器學習這種AI形式通過向計算機提供參考數據，讓計算機學習如何執行特定任務，但由于作為訓練數據的人類示范很少，所以定理證明（尤其是幾何學定理）很難被掌握。
谷歌深度思維的Trieu Trinh和同事描述了一種不需要人類示范的定理證明方法。該系統名為G0，通過綜合復雜程度各異的數百萬條定理和證明，利用一個神經語言模型完成自我訓練。這種方法結合符號演繹引擎（能搜索難題中的大量分支點），能讓G0在無需人類直接輸入的情況下學習并解開復雜問題。
研究者用國際數學奧林匹克競賽（優等高中生參加的數學定理證明大賽）2000~2020年的30個問題測試了該系統。G0解出了其中25題，接近國際數學奧林匹克競賽金牌選手的平均表現，而之前最優秀的方法只解出了10題。值得一提的是，G0能生成人類可閱讀的證明，甚至發現了2004年國際數學奧林匹克競賽定理的一個新版本。
作者指出，G0目前僅限于幾何學，但這種方法或許也能應用于其他數學領域。
相關論文信息：
https://doi.org/10.1038/s41586-023-06747-5
本文鏈接：http://m.albanygandhi.com/news-3-46-0.htmlAI會做奧林匹克數學題，成績接近“金牌選手”
聲明：本網頁內容由互聯網博主自發貢獻，不代表本站觀點，本站不承擔任何法律責任。天上不會到餡餅，請大家謹防詐騙！若有侵權等問題請及時與本網聯系，我們將在第一時間刪除處理。
上一篇：蛇毒治療抗體或存風險
