你把一道多年没人解开的题交给一万名研究助手：他们同时尝试不同路线，互相检查，再把结果拼成一份证明。OpenAI宣称，它用类似方式挑战了Navier–Stokes问题。这个主张尚未通过外部数学界的独立核验，但已经把一个更现实的问题推到台前：如果AI能够参与前沿证明，数学家的价值、训练方式和成果归属该怎么重设？
这里的“生存危机”并不是数学即将失效。它来自Celina Zhao于2026年9月15日在《Science》发表的报道标题。现有材料只有一个独立信源，而且标题带有明显的概括和情绪色彩，因此不能把它当成整个数学界的共识。
跨过门槛了吗？先看“证明”意味着什么
Navier–Stokes问题研究流体运动方程的数学性质，也是著名的千禧年大奖难题之一。我们在9月11日的[A6006]中介绍过OpenAI的证明主张，以及10,000个AI智能体参与求解的过程。AI智能体——以模型为核心、能反复规划、调用工具、执行并检查结果的系统——不像普通聊天机器人那样只回答一次。大量智能体可以并行探索许多证明路线，像一支规模惊人的研究队伍。
但数学证明不是“答案看起来对”就算完成。同行必须逐步检查每个推理，确认没有隐藏假设或逻辑缺口。据Scientific American报道，截至相关报道出现时，OpenAI公布的仍是等待独立核验的突破主张，并非已获千禧年大奖正式认可的结果。
所以，眼下真正跨过的门槛未必是“AI已经解决世纪难题”，而是AI的研究过程已经足以让数学界认真讨论：即使最终证明不成立，这种大规模并行探索是否会改变前沿研究的组织方式？
为什么一项待核验的主张会引起震动
据《Science》报道，OpenAI公布主张三天后的9月11日，Brown University数学家Javier Gómez-Serrano在Harvard University举行了一场临时讲座。现场座无虚席，另有约1,000人通过Zoom参加。这个反应至少说明，数学家没有把它简单视为一次产品演示。
争论首先涉及人才培养。传统训练要求研究者长期摸索、形成直觉，并学会判断哪条路线值得追。当智能体可以快速铺开大量尝试，下一代数学家还应把多少时间用于手工搜索，又该如何学习验证、提问和选择方向？《Science》称，2026年8月成立的Association for Human Mathematics当时已有近400名数学家加入，部分研究者开始组织讨论以人为中心的数学实践。
其次是成果归属。数学重视谁先提出关键思想、完成证明并公开成果。据OpenAI介绍，项目于9月1日启动，起因是公司听闻一项后来确认与Levent Alpöge和Tristan Buckmaster有关的研究传闻。OpenAI称，经调查，两人此前使用Codex时输入的提示没有影响其系统。
但据《Nature》报道，Buckmaster与Alpöge此前正使用OpenAI和Anthropic工具研究相关问题，双方随后围绕OpenAI系统是否可能接触其未发表工作出现公开争议。问题因此不只是谁写出了证明，还包括研究者交给商业AI的未发表思路如何保存、使用，以及怎样证明两个成果彼此独立。
危机其实是一场制度压力测试
如果OpenAI的证明最终成立，数学界需要决定怎样评价机器生成、机器筛选与人类验证各自的贡献。如果证明不成立，争议也不会自动消失：10,000个智能体所展示的研究规模，以及围绕保密和优先权产生的摩擦，已经提出了新的制度问题。
“生存危机”因此更适合被理解为一次压力测试。它追问的不是数学家会不会消失，而是当证明活动从个人或小团队的探索，扩展为商业机构调度的大规模计算过程时，什么仍算数学贡献，谁有资格署名，以及学界凭什么信任结果。
局限与未知
- 现有材料没有说明所谓“OpenAI leap”对应的具体模型、版本和完整证明文本，也无法判断技术进步的实际幅度。
- 证明仍待公开、独立和长期审查；目前不能把突破主张写成已经解决Navier–Stokes问题。
- 《Science》的“生存危机”说法来自单一报道标题。哪些数学家持此看法、分歧有多广，现有材料没有给出足够证据。