全球首個!中國“通矩模型”實現幾何奧數自主命題與秒級破解

1月26日，頂級學術期刊《自然·機器智能》（Nature Machine Intelligence）刊發了我國科研團隊的重大突破:全球首個兼具“自主出題”與“自動解題”雙重能力的通用人工智能系統——**“通矩模型”(TongGeometry)**正式問世。這一成果標誌着 AI 在數學推理領域從“被動模仿”向“主動創造”的範式轉變。

範式轉移:從“解題機器”到“數學創作者”

長期以來，AI 在數學領域主要充當“答卷人”。而由北京通用人工智能研究院張馳博士領銜開發的 TongGeometry，首次賦予了 AI 類似人類數學家的“審美”標準。它能夠從天文數字級的空間組合中，精準捕捉並創造出高質量的幾何難題。

目前，其原創能力已獲競賽界權威認證:系統生成的3道幾何新題已正式入選2024年全國中學生數學聯賽（北京賽區）及美國精英奧賽(Ersatz Math Olympiad)。這是 AI 原創題目首次進入高規格人類數學競賽。

性能飛躍:消費級顯卡秒殺25年奧數難題

在實戰效率上，TongGeometry 展現了國產原創技術的降維打擊優勢:

• 輕量化算力: 與谷歌 DeepMind 的 AlphaGeometry 需要龐大算力集羣不同，TongGeometry 僅需一張 RTX4090消費級顯卡 即可運行。

• 極致效率: 系統在 38分鐘內 即可解決近25年來所有的國際奧數（IMO）幾何難題。

• 路徑壓縮: 依託創新的“規範化表示”技術，系統將搜索空間壓縮了數個數量級，徹底解決了困擾傳統 AI 的“路徑爆炸”難題。

評價與意義

論文第一作者張馳博士指出，TongGeometry 的成功在於實現了從“修改他人解題”到“獨立自主創造”的跨越。這種高度的邏輯自治和高效的推理能力，爲通用人工智能（AGI）在複雜邏輯領域的應用開闢了新路徑。