中新網北京11月13日電 (記者 孫自法)國際知名學術期刊《自然》最新發表一篇人工智能(AI)研究論文稱,谷歌(Google)旗下DeepMind研發推出一個AI系統,能證明復雜的數學理論。
數學家利用計算工具解決復雜問題、證明理論,AI系統則可以加速這一過程。雖然一些大語言模型在能力上很有潛力,但人們很難驗證它們推理的正確性,因為它們是用非正式的自然語言文本進行訓練和操作的。
在本項研究中,DeepMind團隊演示了如何讓增強學習在一個正式數學軟件環境中工作,從而生成推理過程能被自動驗證的證明,有望克服上述挑戰。
據研究團隊介紹,AlphaProof為證明數學命題而設計,其在對8000萬個命題進行自動形式化后,通過增強學習找出這些證明方法,因此,AlphaProof被證明能提升之前先進AI系統在既往數學競賽問題上的結果。
2024年,在一項權威的高中水平數學競賽——國際數學奧林匹克競賽上,AlphaProof解出了競賽的復雜問題:在比賽過程中,AlphaProof聯合名為AlphaGeometry的幾何解題系統,解出6個競賽問題中的4個,取得相當于銀牌水平的高分。
《自然》同期發表同行專家的“新聞與觀點”文章指出,雖然AlphaProof在競賽級數學推理領域的表現令人驚艷,但它在求解其他形式難題上還存在一些局限性,建議作為未來的研究方向,而克服這些局限,將使AlphaProof成為一個重要的復雜數學問題解題工具。(完)