全球首個兼具自主命題與自動解題能力的通用人工智能系統“通矩模型”(TongGeometry)近日引發學界關注。該系統由國內科研團隊研發,相關研究成果已發表于國際權威期刊《自然·機器智能》,標志著我國在人工智能自動化推理領域取得重大突破。
傳統人工智能解題系統多依賴大規模數據訓練與算力支撐,例如DeepMind推出的AlphaGeometry雖在幾何解題領域表現突出,但其本質仍屬于“被動解題者”,需通過海量合成數據與高性能計算集群實現功能。與之形成鮮明對比的是,TongGeometry突破了單純解題的局限,首次實現了從“模仿解題”到“自主創造”的范式躍遷。該系統能夠基于人類數學家的審美標準,從復雜空間組合中篩選出兼具邏輯性與創新性的高質量幾何題目,展現出獨特的原創能力。
在性能測試中,TongGeometry展現了顯著的技術優勢。實驗數據顯示,該系統僅需單張消費級顯卡(如RTX 4090)即可在38分鐘內完成近25年國際奧林匹克數學競賽幾何題目的精準解答,其推理效率與準確率均達到全球頂尖水平。這一成果得益于團隊研發的“規范化表示”技術,通過壓縮搜索空間數量級,有效解決了傳統方法中因路徑爆炸導致的計算瓶頸問題。
該系統的原創性已獲得專業領域認可。其自主生成的3道幾何新題被同時納入2024年全國中學生數學聯賽北京賽區試題庫與美國精英奧賽(Ersatz Math Olympiad)題庫,成為首個進入高規格人類數學競賽的AI原創題目。這一突破不僅驗證了系統在數學美學與邏輯嚴謹性上的雙重標準,更開創了人工智能與數學教育深度融合的新路徑。
業內專家指出,TongGeometry的研發標志著我國在自動化推理核心領域實現關鍵技術自主可控。相較于國際同類系統,該系統在功能多樣性、算力效率與原創能力上均形成代際優勢,為通用人工智能發展提供了新的技術范式,也為數學教育、競賽命題等領域智能化轉型奠定重要基礎。











