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

　　數學家利用計算工具解決復雜問題、證明理論，AI系統(tǒng)則可以加速這一過程。雖然一些大語言模型在能力上很有潛力，但人們很難驗證它們推理的正確性，因為它們是用非正式的自然語言文本進行訓練和操作的。

　　在本項研究中，DeepMind團隊演示了如何讓增強學習在一個正式數學軟件環(huán)境中工作，從而生成推理過程能被自動驗證的證明，有望克服上述挑戰(zhàn)。

　　據研究團隊介紹，AlphaProof為證明數學命題而設計，其在對8000萬個命題進行自動形式化后，通過增強學習找出這些證明方法，因此，AlphaProof被證明能提升之前先進AI系統(tǒng)在既往數學競賽問題上的結果。

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

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