丘成桐谈AI冲击数学科研：必须在AI浪潮中冲浪，而不是躲起来

清华大学讲席教授、求真书院院长、国际知名数学家丘成桐

出品｜搜狐科技

作者｜常博硕

“有史以来，我们没见过半年内可以有这么多如此重要、甚至可以讲伟大的学问，能够很快地完成。”丘成桐表示。

10月6日，OpenAI在GitHub上开源了名为“openai/math”的数学论文仓库，一次性发布了722篇由内部前沿AI模型生成的数学手稿, 并按照结果相关性将其划分为372个“结果族（Result Families）”,内容涵盖数论、代数几何、实复分析、偏微分方程、理论计算机科学、组合数学等17个现代数学及交叉学科领域。这些成果中，还包括在准黎曼假设、Hilbert第十个问题、Mahler猜想、Kaplansky相关猜想等重要数学问题上的进展。

10月11日，菲尔兹奖得主、清华大学讲席教授丘成桐在其牵头组建的“丘成桐数学与人工智能实验室联盟”（以下简称“联盟”）成立大会上公开谈及近半年来AI对数学领域的冲击与影响。

在他看来，当今时代是学者们最兴奋的时代，也是最危险的时代。“如果能够合理使用人工智能，我们的学问、成果和影响将是划时代的；但处理不当，就可能带来灾难性的后果，尤其对中国的科学和技术。我从1969年开始做学问，从数学、物理、应用科学与工程，都有许多涉猎，但是从来没有见过，学术界受到如此大的冲击。”

人工智能的发展超出了所有人的预期，他说：“有史以来，我们没见过半年内可以有这么多如此重要、甚至可以讲伟大的学问，能够很快的完成。同时，很多做法是我们想象不到的。”

丘成桐将人与AI的进步概括为“微分”与“积分”效应：“从古到今，数学和基础科学的进展，基本上是依靠几个人的思考或者进步，这是一个‘微分’的进步。我们看的是个体，看他怎么向前走，从小的方面走向更广泛的影响。”

“人工智能的出现，是一个‘积分’的效应。它把人类有史以来直到今天的所有思考，通过强大算力聚合起来。科学真理是无穷的，人工智能远远不能够全面了解所有真理，但是我们看到它理解真理的能力越来越强大。人类自以为很伟大，但要和希腊学者开始到今天学问的累积比起来，没有一个人能比得过。而人工智能做得到集合所有学问，一同向前走。”

在丘成桐看来，AI对数学的冲击正倒逼我们重新思考数学的本质价值。他表示，研究者们必须在AI浪潮中冲浪，而不是躲起来。

于是，由丘成桐院士牵头，组织国内顶尖数学研究机构，共同组建了汇聚近1000名高端数学人才和科研团队的“丘成桐数学与人工智能实验室联盟”。

新成立的“丘成桐数学与人工智能实验室联盟”一大目标就是把国内数学研究力量整合起来，集中研发具有自主原创性的数学科学专用大模型。用AI探索数学猜想、辅助定理证明，建设服务数学家的AI辅助研究基础设施，保护数学家的原创想法，推动重大前沿问题取得突破。同时，从基础数学切入，以数学理论创新改进AI底层算法、模型架构和推理能力，支撑AI的可解释性与安全性。

联盟还会推动数学驱动的交叉领域科技突破，把研究范式拓展到量子计算、生命科学、金融经济等方向，形成“数学基础研究、AI技术开发、领域应用落地”的创新链路，并陆续在北京、上海、南京、深圳、香港布局数学人工智能实验室。

面对国内外模型的差距，丘成桐坦言：“国内模型的性能还未能领先。国外人工智能几个大公司集合了欧美最重要、最有能力的学者，群策群力，才能够达到最先进的水平。国内每一个学校、机构都做一点点，这就很难跟人家聚合之力比较。”

他认为，人工智能是一个非线性增长的体系，它一边不停学习，一边不断进步，能力是指数级别增长。“我们用线性增长追指数增长，最后难免跟着走。”

“因此，我们需要大量学者共同努力，做成自己原创的数学人工智能模型，能够跟海外比较。我们需要许许多多有学问的学者，才能让机器更好地思考和推理。”

丘成桐说：“通过这个联盟，我们希望能把国内学者组织起来，自主研发一个真正有用的人工智能模型，可以跟西方国家争个短长。”

据悉，新成立的“丘成桐数学与人工智能实验室联盟”并不是从零开始。

在会上，联盟成员还展示了多项AI辅助科研成果。包括清华求真书院学生用AI证伪了退化情形的阿诺德猜想；清华丘成桐数学科学中心与上海数学与交叉学科研究院合作，证明全部28种光滑同伦7维球面都能承载严格正截面曲率，啃下悬置半个多世纪的几何难题；中科院晨兴数学中心田野院士团队完成Sylvester猜想最后情形的证明；以及联盟成员用智能体和27.3万行代码完成了卡拉比猜想的形式化验证等等。

在会后的媒体交流环节，面对AI人类会不会被AI替代的问题，丘成桐表示：“机器的创造能力还比不上人类，人类有喜怒哀乐，这种事情它没有，所以不用怕。”同时丘成桐认为，对于如何开创数学前沿人工智能尚不清楚，目前人工智能解决的还只是既定的问题，所以人们无需过度焦虑。

运营编辑 |孟莎莎