我国科研团队在人工智能与数学交叉领域取得里程碑式进展——全球首个具备“自主命题”与“自动解题”双能力的通用人工智能系统“通矩模型”（TongGeometry）登上国际顶级学术期刊《自然·机器智能》。该成果突破传统AI在数学领域的“被动解题”模式，推动其向“主动创造”范式跃迁，标志着人工智能在复杂逻辑推理领域迈出关键一步。
传统数学AI多扮演“解题者”角色，而由北京科研团队开发的TongGeometry首次赋予AI类似数学家的审美判断力。系统通过分析天文数字级的几何空间组合，能够自主筛选并生成高质量数学难题。其原创性已获国际竞赛认可：3道系统生成的几何题被纳入2024年全国中学生数学联赛北京赛区及美国精英奥赛题库，这是AI原创题目首次进入人类高规格数学竞赛。
在技术性能上，TongGeometry展现出颠覆性优势。相较于谷歌DeepMind的AlphaGeometry需依赖庞大算力集群，该系统仅需单张消费级RTX4090显卡即可运行，算力需求降低两个数量级。更引人注目的是其解题效率：系统在38分钟内完成近25年全部国际奥数几何题求解，且通过“规范化表示”技术将搜索空间压缩数个数量级，彻底破解传统AI面临的“路径爆炸”难题。
研究团队核心成员透露，TongGeometry的核心突破在于实现从“模仿修正”到“自主创造”的逻辑跃迁。系统通过构建自洽的几何推理框架，在无需人工干预的情况下完成命题生成与解题验证的全流程闭环。这种高度自治的逻辑能力，为通用人工智能在科学发现、工程设计等复杂领域的落地应用提供了全新范式。
