北京1月26日的消息传来，咱们国家的科研团队在通用人工智能这块儿有了新突破。这次，由北京通用人工智能研究院、北京大学心理与认知科学学院、北京大学智能学院、北京大学人工智能研究院还有北京大学武汉人工智能研究院这些单位组成的大团队一起努力，弄出了一个叫“通矩模型”的系统。这系统牛在它不光能自己出题目，还能自己把题目解出来。26号晚上，这事儿在《自然-机器智能》这个国际顶刊上发表了，专家们都说这可是个大好事。专家说这是国际上第一个同时具备出题和解题能力的系统，标志着咱们在自动化推理这块儿掌握了关键技术。逻辑推理，特别是几何证明，一直是看AI智商的重要尺子，也是通往AGI（通用人工智能）的必经之路。以前大家都觉得这块儿难搞，主要有两个老大难问题：一个是“组合爆炸”，就是加一条辅助线解题路径就会变成几何级数增长；另一个是没数据，因为几何题目库太小太贵。 面对这些问题，咱们的团队没走老路子，没光靠数据喂养。他们回去琢磨逻辑本身，从数学家的脑子里找灵感。他们搞出了一个精密的搜索架构，让AI像人一样一步步推理。更关键的是他们用了个“规范化表示”技术，让AI能看穿图形表面的变化看到本质。不管图形怎么转怎么缩都能认得出来。系统还学会了像人一样判断解题的好坏。当发现某个题的证明难度比构建复杂度还高时，AI就好像突然有了那种“灵感”。 实验数据很能说明问题：用一张普通的显卡就能在最多38分钟内把自2000年以来的IMO（国际数学奥林匹克竞赛）的几何难题全搞定，正确率也很高。朱毅鑫老师说这不仅是速度的提升，更是找到了“小数据、大任务”的新路子。这跟人学习很像，不靠海量数据而是靠逻辑演化和价值引导来提高能力。 张驰老师他们搞出了这个通矩模型是个重大突破。它不光能帮学生学习做难题，也让我们看到了通用AI发展的新方向。团队说以后还要继续在这个方向上发力，给全球人工智能发展贡献中国智慧。