国产AI破解高规格数学竞赛题，入选全球首创成果

信息来源：科技日报

○ 科技日报记者 杨雪

我国科研团队成功研发出全球首个兼具自主出题与自动解题双重能力的通用人工智能系统——“通模型”（TongGeometry）。相关研究成果已于26日在《自然·机器智能》期刊正式发表。

今年初，DeepMind发布的AlphaGeometry系统展示了人工智能在解题方面的巨大潜力。然而，AlphaGeometry本质上是一个“被动解题者”，其训练过程极度依赖大规模合成数据以及昂贵的计算资源。相比之下，我国自主研发的TongGeometry则展现出更高维度的智能：它不仅能够像“优等生”一样交出满分答卷，更能担当“出题名师”的角色，创造结构优美、构思新颖的全新题目。

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

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

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

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