咱们中国人在AI的数学推理这块可真没给面子，在世界上拿出了首个能完全“自己出难题、自己又能精准解答”的几何AI系统，叫TongGeometry。最近这个研究结果一出来，国外学术界都炸锅了。这是北京通用人工智能研究院、北京大学心理与认知科学学院、北京大学智能学院、北京大学人工智能研究院还有北京大学武汉人工智能研究院凑在一块儿搞出来的。他们弄出来的这个“通矩模型”，简直就是把以前那种只能被动解题的笨办法给颠覆了。以前国际上那些公司搞出来的AI，全靠海量数据和大算力撑着，说白了就是死记硬背型选手，那点创造力跟人类顶尖的脑袋比简直是差了十万八千里。咱们这次的突破就在于实现了从“死答题”到“活出题”的大转变。 论文的第一作者、北京通用人工智能研究院的张驰博士说，关键在于发现了几何命题证明的难度和它构造时的复杂度之间存在一种很奇妙的“对偶性”。当证明起来特别难但构造起来反而简单的时候，这题就变得很有美感，特别适合拿来当奥林匹克数学竞赛的题目。“通矩模型”就是抓住了这点，能在无数可能的组合里头把符合数学家审美、又新鲜又有质量的几何题目给挑出来。这在国际上是头一回见到，说明AI不光能干活儿，现在多少有点像人类那样去琢磨新问题了。 在具体表现上，“通矩模型”也特别争气。它不需要霸占那种超级贵的大型服务器集群，哪怕是用家里玩游戏那种显卡就能搞定。仅靠一张显卡就能在短时间内把近25年来国际奥数里所有几何真题给解出来，准确率还很高。这主要靠团队自己琢磨出来的“规范化表示”新技术，把以前让人望而生畏的搜索空间缩小了好多倍，高效地解决了那个让人头疼的“路径爆炸”难题。这种“小而精”的做法大大降低了门槛，以后想把这技术用在别的地方就更方便了。 这次的意义可不止是赢了场比赛那么简单。首先在科学研究上，它让人和机器一起干活有了新的搞法。AI不光能帮着验证猜想、算复杂的数，还能给出那种让人眼前一亮的难题，说不定能把纯数学理论往前推一把。其次在教育上，这系统以后能变成很厉害的“AI老师”，根据学生水平动态出题目、讲答案，能让老师更方便地因材施教，也能勾起学生的兴趣。最后它那个推理框架对搞程序设计、定理证明这些逻辑严密的活儿都很有借鉴意义。 这事儿的成功完全是咱们科研人员埋头苦干的结果。它标志着中国在探索机器到底怎么想、怎么创造这块迈出了关键一步。现在全球的AI竞争都在往基础理论和核心能力上使劲儿。咱们这次不仅秀了一把实力，也预示着AI正在从单纯的感知认知往更有创造力的方向走。以后随着技术越来越深、路子越来越宽，AI肯定能在科研、教育、产业升级这些方面发挥更大作用，给咱们国家的发展注入新的动力。