核心观点 - 中国科研团队自主研发的“通矩模型”是国际首个同时具备自主出题和自动解题双重能力的通用人工智能系统 标志着在自动化推理的逻辑核心领域实现关键技术自研 并在性能与功能多样性上达到国际领先水平 [1] 技术突破与创新 - 系统通过开发精密的逻辑推理搜索架构 将复杂的几何世界抽象建模 使AI能像人类数学家一样在逻辑推理每个节点上进行有序的系统性探索 避免了无效的重复尝试 [1] - 创新性地引入“规范化表示”技术 使AI能自动识别并合并因图形旋转、翻转或缩放而产生的对称或同构拓扑结构 将庞杂的搜索空间压缩了几个数量级 [2] - 系统通过价值函数模拟人类的数学审美 借助强化学习技术 内置的“价值模型”能实时预判每一条推理路径的潜力 不仅判断结论是否成立 更在乎推导过程是否简洁 [2] - 该模型实现了从“模仿解题”到“自主创造”的范式转变 能精准捕捉具备人类数学家审美标准的高质量题目 这在国际上尚属首次 [2] 性能表现与应用 - 通矩模型仅需单张消费级显卡即可在最多38分钟内解决2000年以来所有国际数学奥林匹克竞赛的几何难题 其推理效率和准确率均达国际先进水平 [3] - 该模型实现了“小数据、大任务”的范式转化 不依赖海量标注数据 通过内部逻辑自我演化 在理解逻辑底层美学和自主发现科学规律方面走在前列 [3] - 模型自主生成的3道原创几何新题已入选2024年全国中学生数学联赛（北京赛区） [3] - 该成果为未来自动化数学证明、个性化智能教育及科学大模型的开发提供了技术支撑 [3] 研发团队与意义 - 研发团队由北京通用人工智能研究院、北京大学心理与认知科学学院、北京大学智能学院、北京大学人工智能研究院以及北京大学武汉人工智能研究院组成 [1] - 该成果标志着中国科研团队在自动化推理的逻辑核心领域实现关键技术自研 并在性能与功能多样性上达到国际领先水平 [1] - 该技术路径是通用人工智能发展的关键 有助于推动中国人工智能技术在更多复杂逻辑与科学发现领域实现领跑 [3]