《自然》17日發(fā)表的一項(xiàng)計(jì)算科學(xué)研究，描述了一個(gè)能解國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽級(jí)別幾何題的人工智能（AI）系統(tǒng)。其表現(xiàn)超過(guò)了之前最好的自動(dòng)化定理證明系統(tǒng)。該研究證明了AI已接近人類破解復(fù)雜邏輯問(wèn)題的最高水平。
奧林匹克競(jìng)賽中的數(shù)學(xué)定理證明需要高水平的邏輯推理和解題能力。然而，當(dāng)前基于機(jī)器學(xué)習(xí)的AI系統(tǒng)在證明數(shù)學(xué)定理方面還有困難。機(jī)器學(xué)習(xí)通過(guò)向計(jì)算機(jī)提供參考數(shù)據(jù)，讓計(jì)算機(jī)學(xué)習(xí)如何執(zhí)行特定任務(wù)。但由于作為訓(xùn)練數(shù)據(jù)的人類示范很少，所以定理證明，尤其是幾何學(xué)定理很難被證明。
谷歌“深度思維”團(tuán)隊(duì)此次描述了一種不需要人類示范的定理證明方法。基于這一方法的AI系統(tǒng)名為“阿爾法幾何”（G0）。它綜合了復(fù)雜程度各異的數(shù)百萬(wàn)條定理和證明，并利用一個(gè)神經(jīng)語(yǔ)言模型完成自我訓(xùn)練。這種方法結(jié)合符號(hào)演繹引擎（能搜索難題中的大量分支點(diǎn)），能讓G0在無(wú)需人類直接輸入的情況下學(xué)習(xí)并解開(kāi)復(fù)雜問(wèn)題。
團(tuán)隊(duì)用國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽2000年至2020年間的30個(gè)問(wèn)題測(cè)試了該系統(tǒng)。G0解出了其中25題，接近國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽金牌選手的平均表現(xiàn)。而之前最優(yōu)秀的方法只解出了10題。值得一提的是，G0能生成人類可閱讀的證明，甚至發(fā)現(xiàn)了2004年國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽定理的一個(gè)新版本。
研究人員指出，G0目前僅限于證明幾何學(xué)定理，但這種方法或許能應(yīng)用于其他數(shù)學(xué)領(lǐng)域。
《自然》17日發(fā)表的一項(xiàng)計(jì)算科學(xué)研究，描述了一個(gè)能解國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽級(jí)別幾何題的人工智能（AI）系統(tǒng)。其表現(xiàn)超過(guò)了之前最好的自動(dòng)化定理證明系統(tǒng)。該研究證明了AI已接近人類破解復(fù)雜邏輯問(wèn)題的最高水平。
奧林匹克競(jìng)賽中的數(shù)學(xué)定理證明需要高水平的邏輯推理和解題能力。然而，當(dāng)前基于機(jī)器學(xué)習(xí)的AI系統(tǒng)在證明數(shù)學(xué)定理方面還有困難。機(jī)器學(xué)習(xí)通過(guò)向計(jì)算機(jī)提供參考數(shù)據(jù)，讓計(jì)算機(jī)學(xué)習(xí)如何執(zhí)行特定任務(wù)。但由于作為訓(xùn)練數(shù)據(jù)的人類示范很少，所以定理證明，尤其是幾何學(xué)定理很難被證明。
谷歌“深度思維”團(tuán)隊(duì)此次描述了一種不需要人類示范的定理證明方法。基于這一方法的AI系統(tǒng)名為“阿爾法幾何”（G0）。它綜合了復(fù)雜程度各異的數(shù)百萬(wàn)條定理和證明，并利用一個(gè)神經(jīng)語(yǔ)言模型完成自我訓(xùn)練。這種方法結(jié)合符號(hào)演繹引擎（能搜索難題中的大量分支點(diǎn)），能讓G0在無(wú)需人類直接輸入的情況下學(xué)習(xí)并解開(kāi)復(fù)雜問(wèn)題。
團(tuán)隊(duì)用國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽2000年至2020年間的30個(gè)問(wèn)題測(cè)試了該系統(tǒng)。G0解出了其中25題，接近國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽金牌選手的平均表現(xiàn)。而之前最優(yōu)秀的方法只解出了10題。值得一提的是，G0能生成人類可閱讀的證明，甚至發(fā)現(xiàn)了2004年國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽定理的一個(gè)新版本。
研究人員指出，G0目前僅限于證明幾何學(xué)定理，但這種方法或許能應(yīng)用于其他數(shù)學(xué)領(lǐng)域。
本文鏈接：能解國(guó)際奧數(shù)競(jìng)賽題的AI系統(tǒng)問(wèn)世http://m.sq15.cn/show-2-2309-0.html
聲明：本網(wǎng)站為非營(yíng)利性網(wǎng)站，本網(wǎng)頁(yè)內(nèi)容由互聯(lián)網(wǎng)博主自發(fā)貢獻(xiàn)，不代表本站觀點(diǎn)，本站不承擔(dān)任何法律責(zé)任。天上不會(huì)到餡餅，請(qǐng)大家謹(jǐn)防詐騙！若有侵權(quán)等問(wèn)題請(qǐng)及時(shí)與本網(wǎng)聯(lián)系，我們將在第一時(shí)間刪除處理。
上一篇： 納米機(jī)器人將膀胱腫瘤縮小90%