王坚、励建书对谈“AI+数学”：AI不会终结数学，一个全新的世界正在打开

近期，AI 在数学研究领域的进展引发广泛关注。OpenAI 等机构接连公布 AI 解决数学问题的新成果，也让数学界开始重新思考：当 AI 能够参与甚至独立完成复杂数学证明，数学家的价值将如何体现？数学研究的范式、人才培养方式又将发生哪些变化？

10 月 14 日，在第六届智能计算创新论坛主论坛上，之江实验室主任、中国工程院院士王坚与浙江大学数学高等研究院院长、中国科学院院士励建书围绕 “AI+Maths：Evolution and Eternity（AI+ 数学：变与不变）”展开了一场对话。

在励建书看来，今天的数学正站在一个类似微积分诞生前夕的历史节点。AI 可能帮助数学家跨越长期难以攻克的难题，进而发现一个更加广阔的数学世界。王坚则从另一个角度提出，数学与 AI 的结合不仅会改变数学研究，也可能让 AI 的推理能力进入新的阶段。

两位院士还谈到了数学的原创性与美感、AI 对科学研究的影响，以及为什么未来的科学 AI 不应依赖某一家公司的模型。

以下为对话实录，在保留原意基础上作编辑整理。

AI 将如何改变数学研究？

王坚：首先感谢大家来到杭州。之江实验室和励院士的研究小组此前已经开展过多次讨论，所以今天的对话并不是临时起意。我们对 AI 带来的变化已经有了一些共同认识，也希望借这个机会，把过去讨论的内容，以及未来可能继续开展的工作，与大家分享。

今天讨论的是数学与 AI，但我想重点还是放在数学上。先请励院士谈谈。

励建书：最近一段时间，大家听到了很多关于数学和 AI 的消息，尤其是来自 OpenAI 的一些进展，也产生了各种各样的看法。我觉得这是一个非常激动人心的时代。一个重大变革到来的时候，往往会伴随着一段迷茫和不确定的时期，但这也意味着一个新时代正在酝酿。

作为数学工作者，无论是数学家还是数学研究机构，我们都非常期待这个时代的到来。回顾历史，数学曾...