行业技术突破 - 北京通用人工智能研究院与北京大学团队成功开发出全球首个同时具备自主出题、自动解题能力的通用人工智能系统“通矩模型” [1] - 该突破标志着我国在自动化推理和具身智能的逻辑核心领域实现关键技术自研自控 在性能上达到国际顶尖水平 在功能多样性和效率方面实现飞跃 [1] - 相关成果已发表于国际学术期刊《自然·机器智能》 [1] 技术挑战与解决方案 - 在AI几何推理领域 长期面临“组合爆炸”和“高质量数据匮乏”两大挑战 [1] - “通矩模型”采用神经符号引导树搜索架构 将几何世界建模为有限树上的马尔可夫过程 使图形构建变为有序的随机演化过程 避免无效重复尝试 [2] - 团队引入“规范化表示”技术 能自动识别合并对称或同构的拓扑结构 将庞杂搜索空间压缩几个数量级 解决了“路径爆炸”难题 [2] - 系统通过价值函数模拟人类的数学审美来寻找解题“灵感” [2] 性能与效率对比 - 相比谷歌DeepMind的AlphaGeometry依赖大规模离线合成数据和庞大计算资源 “通矩模型”实现了“小数据、大任务”的范式转换 [2][3] - “通矩模型”仅需一张普通国产消费级显卡 即可在最多38分钟内解决近25年来所有国际数学奥林匹克竞赛的几何难题 [3] - AlphaGeometry主要依赖于大规模离线合成数据和庞大的计算资源 [2] 应用成果与影响 - 由“通矩模型”自主生成的3道几何新题已正式入选2024年全国中学生数学联赛（北京赛区）及美国精英奥赛 这是AI原创题目首次进入高规格人类数学竞赛 [3] - 该成果体现了我国在通用人工智能基础研究领域“学—研—产”深度融合的正向研发优势 [3] - 未来团队将继续沿“小数据 大任务”的研究范式拓展通用人工智能模型 [3]