國際最新研發(fā)一AI系統(tǒng)：能證明復(fù)雜數(shù)學(xué)理論

中新網(wǎng)北京11月13日電 (記者 孫自法)國際知名學(xué)術(shù)期刊《自然》最新發(fā)表一篇人工智能(AI)研究論文稱，谷歌(Google)旗下DeepMind研發(fā)推出一個(gè)AI系統(tǒng)，能證明復(fù)雜的數(shù)學(xué)理論。

數(shù)學(xué)家利用計(jì)算工具解決復(fù)雜問題、證明理論，AI系統(tǒng)則可以加速這一過程。雖然一些大語言模型在能力上很有潛力，但人們很難驗(yàn)證它們推理的正確性，因?yàn)樗鼈兪怯梅钦降淖匀徽Z言文本進(jìn)行訓(xùn)練和操作的。

在本項(xiàng)研究中，DeepMind團(tuán)隊(duì)演示了如何讓增強(qiáng)學(xué)習(xí)在一個(gè)正式數(shù)學(xué)軟件環(huán)境中工作，從而生成推理過程能被自動(dòng)驗(yàn)證的證明，有望克服上述挑戰(zhàn)。

據(jù)研究團(tuán)隊(duì)介紹，AlphaProof為證明數(shù)學(xué)命題而設(shè)計(jì)，其在對8000萬個(gè)命題進(jìn)行自動(dòng)形式化后，通過增強(qiáng)學(xué)習(xí)找出這些證明方法，因此，AlphaProof被證明能提升之前先進(jìn)AI系統(tǒng)在既往數(shù)學(xué)競賽問題上的結(jié)果。

2024年，在一項(xiàng)權(quán)威的高中水平數(shù)學(xué)競賽——國際數(shù)學(xué)奧林匹克競賽上，AlphaProof解出了競賽的復(fù)雜問題：在比賽過程中，AlphaProof聯(lián)合名為AlphaGeometry的幾何解題系統(tǒng)，解出6個(gè)競賽問題中的4個(gè)，取得相當(dāng)于銀牌水平的高分。

《自然》同期發(fā)表同行專家的“新聞與觀點(diǎn)”文章指出，雖然AlphaProof在競賽級(jí)數(shù)學(xué)推理領(lǐng)域的表現(xiàn)令人驚艷，但它在求解其他形式難題上還存在一些局限性，建議作為未來的研究方向，而克服這些局限，將使AlphaProof成為一個(gè)重要的復(fù)雜數(shù)學(xué)問題解題工具。(完)