近日,我國科研領(lǐng)域傳來重大突破,一支科研團隊成功研發(fā)出全球首個通用人工智能系統(tǒng)——“通矩模型”(TongGeometry),該系統(tǒng)同時具備自主出題與自動解題的雙重能力,相關(guān)成果已發(fā)表于國際權(quán)威期刊《自然·機器智能》。
據(jù)介紹,TongGeometry 的核心優(yōu)勢在于其獨特的題目生成機制。該系統(tǒng)能夠從海量空間組合中精準篩選出符合人類數(shù)學家審美標準的高質(zhì)量幾何題目,實現(xiàn)了從“被動解題”到“主動創(chuàng)造”的范式躍遷。這一突破標志著人工智能在數(shù)學領(lǐng)域的應用從輔助工具升級為具有原創(chuàng)能力的參與者。
在性能測試中,TongGeometry 展現(xiàn)出顯著的技術(shù)優(yōu)勢。與傳統(tǒng)需要龐大算力集群支持的 AlphaGeometry 不同,該系統(tǒng)僅需單張消費級顯卡(如 RTX 4090)即可運行,在38分鐘內(nèi)成功破解了近25年所有國際奧林匹克數(shù)學競賽的幾何難題,其推理速度與解題準確率均達到世界領(lǐng)先水平。這一成果得益于團隊研發(fā)的“規(guī)范化表示”技術(shù),該技術(shù)通過壓縮搜索空間,有效解決了傳統(tǒng)方法中因路徑爆炸導致的計算效率低下問題。
該系統(tǒng)的原創(chuàng)能力已獲得專業(yè)領(lǐng)域的高度認可。其自主設(shè)計的3道幾何新題被同時選入2024年全國中學生數(shù)學聯(lián)賽北京賽區(qū)試題庫和美國精英奧賽(Ersatz Math Olympiad)題庫,這是人工智能生成的數(shù)學題目首次進入國際級人類數(shù)學競賽。這一突破不僅驗證了系統(tǒng)的創(chuàng)造性思維,也為數(shù)學教育領(lǐng)域提供了新的工具和思路。
相關(guān)研究論文已通過《自然·機器智能》期刊在線發(fā)布,為全球人工智能與數(shù)學交叉領(lǐng)域的研究提供了全新范式。該成果的開源將推動更多科研團隊探索人工智能在創(chuàng)造性思維領(lǐng)域的應用潛力。











