國際最新研發(fā)一AI系統(tǒng)：能證明復(fù)雜數(shù)學(xué)理論
中新網(wǎng)北京11月13日電 (記者 孫自法)國際知名學(xué)術(shù)期刊《自然》最新發(fā)表一篇人工智能(AI)研究論文稱，谷歌(Google)旗下DeepMind研發(fā)推出一個AI系統(tǒng)，能證明復(fù)雜的數(shù)學(xué)理論。
數(shù)學(xué)家利用計算工具解決復(fù)雜問題、證明理論，AI系統(tǒng)則可以加速這一過程。雖然一些大語言模型在能力上很有潛力，但人們很難驗證它們推理的正確性，因為它們是用非正式的自然語言文本進行訓(xùn)練和操作的。
在本項研究中，DeepMind團隊演示了如何讓增強學(xué)習(xí)在一個正式數(shù)學(xué)軟件環(huán)境中工作，從而生成推理過程能被自動驗證的證明，有望克服上述挑戰(zhàn)。
據(jù)研究團隊介紹，AlphaProof為證明數(shù)學(xué)命題而設(shè)計，其在對8000萬個命題進行自動形式化后，通過增強學(xué)習(xí)找出這些證明方法，因此，AlphaProof被證明能提升之前先進AI系統(tǒng)在既往數(shù)學(xué)競賽問題上的結(jié)果。
2024年，在一項權(quán)威的高中水平數(shù)學(xué)競賽――國際數(shù)學(xué)奧林匹克競賽上，AlphaProof解出了競賽的復(fù)雜問題：在比賽過程中，AlphaProof聯(lián)合名為AlphaGeometry的幾何解題系統(tǒng)，解出6個競賽問題中的4個，取得相當于銀牌水平的高分。
《自然》同期發(fā)表同行專家的“新聞與觀點”文章指出，雖然AlphaProof在競賽級數(shù)學(xué)推理領(lǐng)域的表現(xiàn)令人驚艷，但它在求解其他形式難題上還存在一些局限性，建議作為未來的研究方向，而克服這些局限，將使AlphaProof成為一個重要的復(fù)雜數(shù)學(xué)問題解題工具。(完)
本文鏈接：國際最新研發(fā)一AI系統(tǒng)：能證明復(fù)雜數(shù)學(xué)理論http://www.sq15.cn/show-2-14282-0.html
聲明：本網(wǎng)站為非營利性網(wǎng)站，本網(wǎng)頁內(nèi)容由互聯(lián)網(wǎng)博主自發(fā)貢獻，不代表本站觀點，本站不承擔(dān)任何法律責(zé)任。天上不會到餡餅，請大家謹防詐騙！若有侵權(quán)等問題請及時與本網(wǎng)聯(lián)系，我們將在第一時間刪除處理。