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)在复杂逻辑领域的应用开辟了新路径。





京公网安备 11011402013531号