">
中新網(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é)問題解題工具。(完)
Copyright ? 2001-2025 湖北荊楚網(wǎng)絡(luò)科技股份有限公司 All Rights Reserved
互聯(lián)網(wǎng)新聞信息許可證 4212025003 -
增值電信業(yè)務(wù)經(jīng)營許可證 鄂B2-20231273 -
廣播電視節(jié)目制作經(jīng)營許可證(鄂)字第00011號(hào)
信息網(wǎng)絡(luò)傳播視聽節(jié)目許可證 1706144 -
互聯(lián)網(wǎng)出版許可證 (鄂)字3號(hào) -
營業(yè)執(zhí)照
鄂ICP備 13000573號(hào)-1
鄂公網(wǎng)安備 42010602000206號(hào)
版權(quán)為 荊楚網(wǎng) www.cnhubei.com 所有 未經(jīng)同意不得復(fù)制或鏡像