中国科研团队开发出通用人工智能系统，实现奥数几何出题解题新突破

经我国科研团队近日开发，出现了全球首个通用人工智能系统——“通矩模型” ，它同时具备自主出题和自动解题双重能力 。相关成果“基于引导树搜索的奥数几何问题提出与解答系统”，于1月26日发表在了《自然·机器智能》上 。

奥林匹克数学竞赛被看作是人工智能逻辑推理能力的“检验考量之物”。在二零二四年年初的时候，公司所开发出来的人工智能系统显示出了AI于解题这一方面的巨大潜在能力，然而从本质上来说它是一个“被动进行解题的个体”，其训练对大规模的合成数据以及昂贵的计算资源存在着极度的依赖。和它相比，我国自己研究制造的则呈现出了更高层面的智能：它不单单是一个能够以满分成绩交卷的“成绩优秀的学生”，而且更是一位能够创造出优美并且新颖题目的“出题的知名教师”。他自己独立创作出来的，三道全新的几何类型题目，已经正式被选入，2024年面向全国中学生举办的数学联赛，在北京这个赛区的比赛内容里，同时也进入了美国举办的精英奥赛之中。

北京通用人工智能研究院的张驰博士，此人作为论文的第一作者进行介绍，其能够在数目众多、像大海一样广阔无垠的空间组合里，精确地捕捉到符合人类数学家审美标准的高质量题目，并且在国际上首次达成了从“模仿解题”到“自主创造”这样的范式转变。

和需要庞大的算力集群相比，仅需单张消费级显卡，就可以在最多38分钟内，解决近25年所有的奥数几何难题。

据论文共同通讯作者，此人是北京大学心理与认知科学学院助理教授朱毅鑫所言，这表明中国科研团队于自动化推理的逻辑核心范畴达成关键技术的自主研发，且在性能以及功能多样性层面全方位超越以其为代表的国际顶尖水准。与此同时，我们的系统于理解逻辑底层之美学以及自主发觉科学规律方面处于领先位置。这种并非依赖海量标注数据、借由内部逻辑自我演化的途径，恰是通用人工智能即 AGI 发展之关键所在。