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

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

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

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

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

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