围绕 AI 对数学研究的影响，一场高水平的隔空对话正在展开。此前，菲尔兹奖得主陶哲轩曾表达对 AI 侵蚀数学研究生态的担忧——当模型可以轻易产出看似严谨的证明，数学教育与同行评审的真实性都将受到冲击。而前 OpenAI 后训练副总裁近日公开回应：这一判断「可能还是太小瞧 AI 了」。
他的观点是：当前的争议还停留在「AI 会不会替人做题」的层面，但趋势是未来的 AI 不仅能解决问题，还能提出有价值的洞见、建立新的概念框架，让数学家在其基础上继续探索——AI 将从工具变成「研究合作者」。这与陶哲轩本人早先「AI 作为可靠助手辅助形式化证明」的乐观设想形成了微妙的呼应与分歧。
这场争论的实质是：数学的价值究竟在于结论，还是在于人类理解的过程？如果 AI 能直接产出新的数学结构，数学共同体的组织方式、评价体系和教育路径都可能被重构。无论站哪一边，值得庆幸的是，顶尖数学家与顶尖 AI 从业者正在认真对待这个问题。