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