全球首个，国产 AI 出的题被高规格人类数学竞赛收录 - 果核剥壳

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

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

在性能表现上，TongGeometry 展现了国产原创技术优越性。相比 AlphaGeometry 需要庞大的算力集群，TongGeometry 仅需单张消费级显卡（如 RTX 4090）即可在最多 38 分钟内，解决近 25 年所有的奥数几何难题，其推理效率和准确率均达到世界顶尖水平。

此外，该系统通过创新的“规范化表示”技术，将搜索空间压缩了几个数量级，有效解决了传统方法中的路径爆炸问题。

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