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會做奧林匹克數學題,成績接近“金牌選手”
聲明:本網頁內容由互聯網博主自發貢獻,不代表本站觀點,本站不承擔任何法律責任。天上不會到餡餅,請大家謹防詐騙!若有侵權等問題請及時與本網聯系,我們將在第一時間刪除處理。
描寫溫泉的古典詩句
植樹節的詩句古詩
授權委托書
個人委托書電子版
最虐心最催淚的臺詞
最新年會開場白臺詞
主持人開場白臺詞
冬天唯美心語句子
中學學校學生會工作計劃
淘寶客服工作計劃
最新必讀:哪里可以套京東白條小額,一文知曉最新提現方法-知者
大吉大利:深圳福田代還信用卡口碑商戶實體店多種方式
把油門當成了剎車,墻都撞穿了!劉某中午喝了藥酒,晚上測試138mg/100mL
2024年:成都市墊還信用卡公司最簡單方法來告訴你
最新:白條額度自己怎么提出來的(需要套京東的速看精選步驟)-知者
節節開花:DY月付怎么套出來(公布三個最新提現方法)
摘抄復述:怎么把花唄的錢提現出來(花唄自己套最新方法)
看看:拼多多先用后付怎么套出來如何使用(詳細教程)
套白條的店鋪哪里找《一分鐘教你這6個渠道》
終于知道了白條怎么套出來,京東白條怎么套出現金