◎ 科技日报记者 杨雪

我国科研团队开发出 全球首个同时具备自主出题（Proposing）和自动解题（Solving）双重能力的通用人工智能系统——“通矩模型”（TongGeometry）。相关成果26日发表于《自然·机器智能》。

2024年初，DeepMind开发的AlphaGeometry展示了AI在解题方面的巨大潜力。然而，AlphaGeometry本质上是一个“被动解题者”，其训练极度依赖于大规模的合成数据和昂贵的计算资源。与之相比，我国科研团队自主研发的TongGeometry则展现出了更高维度的智能：它不仅是一个能够满分交卷的“优等生”，更是一位能够创造优美、新颖题目的“出题名师”。

论文第一作者、北京通用人工智能研究院张驰博士介绍，TongGeometry能够从浩如烟海的空间组合中，精准捕捉到那些具备人类数学家审美标准的高质量题目。 这在国际上首次实现了从“模仿解题”到“自主创造”的范式转变。

在性能表现上，TongGeometry展现了极高的国产原创技术优越性。相比AlphaGeometry需要庞大的算力集群，TongGeometry仅需单张消费级显卡（如RTX 4090）即可 在最多38分钟内，解决近25年所有的奥数几何难题，其推理效率和准确率均达到世界顶尖水平。此外，该系统通过创新的“规范化表示”技术，将搜索空间压缩了几个数量级，有效解决了传统方法中的路径爆炸问题。

目前，TongGeometry的原创能力已得到专业学术界和竞赛圈的认可。系统自主生成的3道几何新题，已正式入选2024年全国中学生数学联赛（北京赛区）及美国精英奥赛（Ersatz Math Olympiad）， 这是AI原创题目首次进入高规格人类数学竞赛。

这一成果标志着 中国科研团队在自动化推理的逻辑核心领域实现关键技术自研，并在性能与功能多样性上全面超越了以DeepMind为代表的国际顶尖水平。

来源：科技日报

总监制/王作丕

编审/陈晔

编辑/胡昀