谷歌AI系統(tǒng)解決幾何問題水平接近奧數(shù)冠軍
谷歌旗下人工智能公司“深層思維”近日發(fā)布公報稱，該公司與美國紐約大學(xué)的研究人員合作開發(fā)的一種名為AlphaGeometry的人工智能(AI)系統(tǒng)，可以解決復(fù)雜的幾何問題，其水平接近國際數(shù)學(xué)奧林匹克競賽金牌得主，這是人工智能在性能上的突破。
證明數(shù)學(xué)定理是一項(xiàng)具有挑戰(zhàn)性的工作，因此國際數(shù)學(xué)奧林匹克競賽通常被認(rèn)為是識別相關(guān)人才的方法，同時也是AI在數(shù)學(xué)和推理領(lǐng)域的試驗(yàn)場。公報說，AI系統(tǒng)往往難以解決幾何和數(shù)學(xué)中的復(fù)雜問題，而該研究團(tuán)隊(duì)開發(fā)的一種方法可生成大量的合成訓(xùn)練數(shù)據(jù)(1億個獨(dú)特的示例)，能讓AlphaGeometry在沒有任何人工演示的情況下進(jìn)行自我訓(xùn)練。此外，研究團(tuán)隊(duì)還添加了一個基于形式邏輯的符號推演引擎，能讓系統(tǒng)做出更“深思熟慮”的決策。
測試結(jié)果顯示，在2000年到2022年國際數(shù)學(xué)奧林匹克競賽匯編的30個幾何問題中，AlphaGeometry在比賽時間內(nèi)解決了25個問題，而通常的人類金牌得主能解決25.9個。相比之下，此前最先進(jìn)的AI系統(tǒng)只解決了其中的10個。
公報說，通過AlphaGeometry，研究團(tuán)隊(duì)展示了AI日益增長的邏輯推理能力，以及發(fā)現(xiàn)和驗(yàn)證新知識的能力。解決國際數(shù)學(xué)奧林匹克競賽級別的幾何問題，是在通往更先進(jìn)和通用的AI系統(tǒng)的道路上發(fā)展深度數(shù)學(xué)推理的一個重要里程碑。研究團(tuán)隊(duì)正在開源AlphaGeometry代碼和模型，并希望它與合成數(shù)據(jù)生成和訓(xùn)練中的其他工具和方法一起，推動數(shù)學(xué)和人工智能等領(lǐng)域的新發(fā)展。
相關(guān)論文已發(fā)表在英國《自然》雜志上。
本文鏈接：http://knowith.com/news-1-130.html谷歌AI系統(tǒng)解決幾何問題水平接近奧數(shù)冠軍
聲明：本網(wǎng)頁內(nèi)容由互聯(lián)網(wǎng)博主自發(fā)貢獻(xiàn)，不代表本站觀點(diǎn)，本站不承擔(dān)任何法律責(zé)任。天上不會到餡餅，請大家謹(jǐn)防詐騙！若有侵權(quán)等問題請及時與本網(wǎng)聯(lián)系，我們將在第一時間刪除處理。
