我国在通用人工智能逻辑推理领域实现重大跨越
环球网资讯·2026-01-27 09:41
核心观点 - 中国科研团队开发出全球首个兼具自主出题与自动解题双重能力的通用人工智能系统“通矩模型”(TongGeometry),在逻辑推理领域实现了从“模仿解题”到“自主创造”的范式转变,并在性能与功能多样性上全面超越了以DeepMind为代表的国际顶尖水平 [1][5] 技术突破与性能表现 - 系统核心能力在于对偶性建模,能够从海量空间组合中精准捕捉符合人类数学家审美标准的高质量奥赛题目,实现了自主创造 [2] - 相比需要庞大算力集群的AlphaGeometry,该系统仅需单张消费级显卡(如RTX 4090)即可在最多38分钟内解决近25年所有奥数几何难题,推理效率和准确率均达世界顶尖水平 [2] - 系统通过创新的“规范化表示”技术,将搜索空间压缩了几个数量级,有效解决了传统方法中的路径爆炸问题 [2] - 系统实现了“小数据、大任务”的范式转化,不依赖海量标注数据,通过模拟人类数学家的直觉和审美进行内部逻辑自我演化 [4] 行业影响与认可 - 系统自主生成的3道几何新题已正式入选2024年全国中学生数学联赛(北京赛区)及美国精英奥赛,这是AI原创题目首次进入高规格人类数学竞赛 [5] - 该成果标志着中国科研团队在自动化推理的逻辑核心领域实现关键技术自研 [5] - 该科研团队由北京通用人工智能研究院、北京大学多个学院及研究院联合组成,未来将继续深耕“通系列”通用智能模型,推动中国人工智能技术在更多复杂逻辑与科学发现领域实现领跑 [5]