我國科研團隊在人工智能與數學交叉領域取得里程碑式進展——全球首個具備“自主命題”與“自動解題”雙能力的通用人工智能系統“通矩模型”(TongGeometry)登上國際頂級學術期刊《自然·機器智能》。該成果突破傳統AI在數學領域的“被動解題”模式,推動其向“主動創造”范式躍遷,標志著人工智能在復雜邏輯推理領域邁出關鍵一步。
傳統數學AI多扮演“解題者”角色,而由北京科研團隊開發的TongGeometry首次賦予AI類似數學家的審美判斷力。系統通過分析天文數字級的幾何空間組合,能夠自主篩選并生成高質量數學難題。其原創性已獲國際競賽認可:3道系統生成的幾何題被納入2024年全國中學生數學聯賽北京賽區及美國精英奧賽題庫,這是AI原創題目首次進入人類高規格數學競賽。
在技術性能上,TongGeometry展現出顛覆性優勢。相較于谷歌DeepMind的AlphaGeometry需依賴龐大算力集群,該系統僅需單張消費級RTX4090顯卡即可運行,算力需求降低兩個數量級。更引人注目的是其解題效率:系統在38分鐘內完成近25年全部國際奧數幾何題求解,且通過“規范化表示”技術將搜索空間壓縮數個數量級,徹底破解傳統AI面臨的“路徑爆炸”難題。
研究團隊核心成員透露,TongGeometry的核心突破在于實現從“模仿修正”到“自主創造”的邏輯躍遷。系統通過構建自洽的幾何推理框架,在無需人工干預的情況下完成命題生成與解題驗證的全流程閉環。這種高度自治的邏輯能力,為通用人工智能在科學發現、工程設計等復雜領域的落地應用提供了全新范式。











