AI逻辑推理能力实现重大进展

我国科研人员最近成功研发出全球首个兼具自主命题与自动解题能力的通用人工智能系统——“通矩模型（TongGeometry）”。这项重大突破以“基于引导树搜索的奥数几何问题提出与解答系统”为题，于1月26日发表在《自然·机器智能》杂志上。

一向被看作人工智能推理能力试金石的奥林匹克数学竞赛，近年来成为AI研究的重要阵地。今年年初，DeepMind团队推出的AlphaGeometry系统展示了人工智能解题的惊人成就，但依赖于巨量合成训练数据和大量算力，实际角色是“被动答题者”。而TongGeometry则实现了更为深入的智能：不仅拥有解答所有题目的能力，还能自主创新出原创几何题，被称为名副其实的“智慧出题者”。TongGeometry近期自主设计的三道几何题目已被正式收录进2024年全国中学生数学联赛（北京赛区）和美国精英数学竞赛。

据论文第一作者、北京通用人工智能研究院张驰博士介绍，TongGeometry能够从海量空间几何结构中识别出符合人类审美和创新标准的高水平题目，这是国际上首次将人工智能从“模仿解题”提升到“自主创新”新阶段。

与AlphaGeometry依赖大型计算集群不同，TongGeometry在性能表现上尤为突出，仅需一张普通消费级显卡，最长只要38分钟即可解决过去25年来所有全球奥数几何难题。

论文共同通讯作者、北京大学心理与认知科学学院的朱毅鑫助理教授指出，这一进展标志着我国团队已在自动化逻辑推理核心技术领域实现关键突破，并在功能和性能多元化上全面超越以DeepMind为代表的国际顶级水平。TongGeometry还在理解数学之美和自主发现规律方面作出了新探索。它采用摆脱海量标注数据、依靠内部逻辑自我进化的技术路线，为通用人工智能（AGI）的发展指明了新方向。