这两年，尤其是今年以来，AI在数学定理证明，包括一些理论物理的数值模拟这类基础科学领域持续取得突破。AI工具正在如何改变当下研究范式和路径？当前AI的能力在快速提升，从事基础科学研究的学者最核心的、不可替代的能力在哪里？

8月9日，在2026国际基础科学大会媒体见面会上，数学家、美国普林斯顿大学数学系教授张寿武在回答上述问题时表示，“AI的出现就像以前发明汽车和飞机一样——它们非常强大但也很危险，人不坐汽车或者不坐飞机是不可能的，但是要学会在安全的意义下用它。”

2026国际基础科学大会媒体见面会现场，台上左三为张寿武。澎湃新闻记者 程婷 图

张寿武坦言，“在数学领域，我们已经发现AI可以解决一些比较简单的问题，比如说图论、组合，结构性比较差的一些问题可以解决，比人类的思考速度要快。而且它们前段时间甚至参与找到了雅可比猜想（代数几何里的重要猜想）的反例，这是非常了不起的。”

但张寿武也指出，AI给出的答案就一两页纸。换句话说，在深度思考方面，目前为止AI跟人类还相差很远。

“这并不等于在未来几年内它们不能赶上来，我自己怎么做呢？”张寿武说，“因为我做的这些想法都特别简单，我是不敢跟AI交流的，跟它交流之后它肯定比我跑得还快，所以我自己琢磨，留点‘自留地’，交给它我就控制不了了，而且我也不知道它会不会告诉别人，这个非常重要。”

在张寿武看来，现在AI最大的问题是安全问题，即大家如何做到用AI的时候还能够不被伤害，这是很重要的事情。接下来，AI的问题不是用不用的问题，而是怎么用、政府如何监管的问题。

他还坦言，“我去年认为AI跟人相差很远，现在发现其实不是，其实AI很聪明但是大方向没有，告诉它怎么做的话它会比我快很多，我也一直在思考这个事情。”

不过，张寿武也谈到，他认为，像量子计算机的发展一样，AI发展到某个地方大概也会有瓶颈，不会一直这么突飞猛进地发展下去。

8月9日，2026国际基础科学大会在北京开幕。大会今年首次设立基础科学奖章（ICBS Medal），张寿武是9位基础科学奖章获得者之一。张寿武主要从事算术几何与数论领域的研究。他最重要的贡献包括：关于小点等分布定理的开创性工作，以及对数域上博戈莫洛夫猜想的严格证明。此后，他将格罗斯–查吉尔公式推广至全实域上的志村曲线，奠定了现代阿拉克洛夫理论的基石。他不断尝试将自然的几何现象与精密的分析工具相融合，为人们理解当代算术几何以及数学多学科交叉领域的问题，提供了重要的理论框架。

国际基础科学大会由数学家丘成桐于2023年发起设立，主题为“聚焦基础科学，引领人类未来”。今年是大会在北京举办的第四年，大会由北京市政府、科学技术部、中国科协和世界华人数学家联盟主办；由北京市科委、中关村管委会，北京市科协，怀柔区政府，怀柔科学城管委会和北京雁栖湖应用数学研究院承办。

来源：澎湃新闻