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)在复杂逻辑场景中的应用打开了新的通道。


















用户38505528 5个月前0
粘贴不了啊用户12648782 6个月前0
用法杂不对呢?yfarer 6个月前0
草稿id无法下载,是什么问题?