我國(guó)科研團(tuán)隊(duì)在人工智能領(lǐng)域取得重大突破,成功研發(fā)出全球首個(gè)具備自主出題與自動(dòng)解題能力的通用人工智能系統(tǒng)——“通矩模型”(TongGeometry)。該成果于近日發(fā)表于國(guó)際頂級(jí)學(xué)術(shù)期刊《自然·機(jī)器智能》,標(biāo)志著人工智能在數(shù)學(xué)領(lǐng)域的應(yīng)用從被動(dòng)解題邁向主動(dòng)創(chuàng)造。
據(jù)研發(fā)團(tuán)隊(duì)介紹,TongGeometry的核心優(yōu)勢(shì)在于其獨(dú)特的審美篩選機(jī)制。該系統(tǒng)能夠從海量空間組合中自動(dòng)識(shí)別符合人類數(shù)學(xué)家審美標(biāo)準(zhǔn)的高質(zhì)量幾何題目,實(shí)現(xiàn)了從“模仿人類解題”到“自主創(chuàng)造數(shù)學(xué)問(wèn)題”的范式轉(zhuǎn)變。這一突破性功能在國(guó)際上尚屬首次,為人工智能在數(shù)學(xué)研究領(lǐng)域的應(yīng)用開(kāi)辟了新方向。
在性能測(cè)試中,TongGeometry展現(xiàn)出顯著的技術(shù)優(yōu)勢(shì)。與傳統(tǒng)需要龐大算力集群支持的模型不同,該系統(tǒng)僅需單張消費(fèi)級(jí)顯卡(如RTX 4090)即可運(yùn)行。實(shí)驗(yàn)數(shù)據(jù)顯示,它能在38分鐘內(nèi)完成近25年來(lái)所有國(guó)際奧林匹克數(shù)學(xué)競(jìng)賽幾何題目的解答,其推理效率和準(zhǔn)確率均達(dá)到世界領(lǐng)先水平。這一成果充分證明了國(guó)產(chǎn)原創(chuàng)技術(shù)在復(fù)雜問(wèn)題處理方面的強(qiáng)大實(shí)力。
技術(shù)層面,研發(fā)團(tuán)隊(duì)創(chuàng)新性地采用“規(guī)范化表示”方法,將傳統(tǒng)方法中指數(shù)級(jí)增長(zhǎng)的搜索空間壓縮了數(shù)個(gè)數(shù)量級(jí)。這一突破有效解決了路徑爆炸問(wèn)題,使系統(tǒng)能夠更高效地處理復(fù)雜幾何關(guān)系,為大規(guī)模數(shù)學(xué)問(wèn)題求解提供了新的技術(shù)路徑。
該系統(tǒng)的原創(chuàng)能力已獲得專業(yè)領(lǐng)域廣泛認(rèn)可。由TongGeometry自主設(shè)計(jì)的3道幾何新題,經(jīng)專家評(píng)審后正式入選2024年全國(guó)中學(xué)生數(shù)學(xué)聯(lián)賽(北京賽區(qū))和美國(guó)精英奧賽(Ersatz Math Olympiad)試題庫(kù)。這是人工智能原創(chuàng)數(shù)學(xué)題目首次進(jìn)入高規(guī)格人類數(shù)學(xué)競(jìng)賽,標(biāo)志著人機(jī)協(xié)作在數(shù)學(xué)教育領(lǐng)域邁出重要一步。











