本報(bào)訊(記者李惠鈺)由北京通用人工智能研究院、北京大學(xué)心理與認(rèn)知科學(xué)學(xué)院、北京大學(xué)智能學(xué)院、北京大學(xué)人工智能研究院及北京大學(xué)武漢人工智能研究院組成的聯(lián)合團(tuán)隊(duì),研發(fā)出全球首個(gè)同時(shí)具備自主出題和自動(dòng)解題雙重能力的通用人工智能系統(tǒng)——“通矩模型”(TongGeometry)。1月26日,該成果發(fā)表于《自然-機(jī)器智能》。
據(jù)介紹,長期以來,奧林匹克數(shù)學(xué)競賽被視為檢驗(yàn)人工智能(AI)邏輯推理能力的“試金石”。2024年初,DeepMind開發(fā)的AlphaGeometry展示了AI在解題方面的巨大潛力。但AlphaGeometry本質(zhì)上是一個(gè)“被動(dòng)解題者”,其訓(xùn)練極度依賴大規(guī)模合成數(shù)據(jù)與昂貴的計(jì)算資源。與之相比,TongGeometry則展現(xiàn)出更高維度的智能——不僅是一個(gè)能夠滿分交卷的“優(yōu)等生”,更是一位能創(chuàng)造新穎題目的“出題名師”。這在國際上尚屬首次,實(shí)現(xiàn)了從“模仿解題”到“自主創(chuàng)造”的范式轉(zhuǎn)變。
在性能表現(xiàn)上,TongGeometry展現(xiàn)了極高的國產(chǎn)原創(chuàng)技術(shù)優(yōu)越性。相比AlphaGeometry需要龐大的算力集群,TongGeometry僅需單張消費(fèi)級(jí)顯卡(如RTX 4090),即可在最多38分鐘內(nèi)解決近25年國際數(shù)學(xué)奧林匹克競賽所有的幾何難題,其推理效率和準(zhǔn)確率均達(dá)到世界頂尖水平。此外,該系統(tǒng)通過創(chuàng)新的“規(guī)范化表示”技術(shù),將搜索空間壓縮了幾個(gè)數(shù)量級(jí),有效解決了傳統(tǒng)方法中的路徑爆炸問題。
北京大學(xué)心理與認(rèn)知科學(xué)學(xué)院助理教授朱毅鑫表示:“TongGeometry的意義不僅在于解題速度的提升,更在于它通過模擬人類數(shù)學(xué)家的直覺和審美,實(shí)現(xiàn)了‘小數(shù)據(jù)、大任務(wù)’的范式轉(zhuǎn)化。這種不依賴海量標(biāo)注數(shù)據(jù)、通過內(nèi)部邏輯自我演化的路徑,正是通用人工智能發(fā)展的關(guān)鍵。”
目前,TongGeometry的原創(chuàng)能力已得到專業(yè)學(xué)術(shù)界和競賽圈的認(rèn)可。系統(tǒng)自主生成的3道幾何新題正式入選2024年全國中學(xué)生數(shù)學(xué)聯(lián)賽(北京賽區(qū))及美國精英奧賽。這是AI原創(chuàng)題目首次進(jìn)入高規(guī)格人類數(shù)學(xué)競賽。
《中國科學(xué)報(bào)》 (2026-01-28 第1版 要聞)