OpenAI万智能体攻克纳维-斯托克斯难题

OpenAI于近日宣布了一项震撼数学界的成果：其内部未公开的AI模型成功解决了“纳维–斯托克斯存在性与光滑性问题”，这是克莱数学研究所于2000年列出的七个“千禧年大奖难题”之一，已困扰数学界约90年。据称，该模型的性能远超OpenAI最新发布的GPT-6 Astra。

这一突破并非孤例。此前，Anthropic上个月也曾宣布其内部一款未公开的Claude研究模型在攻克黎曼猜想过程中取得重要进展，将黎曼ζ函数临界线上零点比例的长期下界从41.6%提高到67.2%。两件事共同表明，前沿AI在基础数学研究中的角色正从辅助工具转向主动发现者。

OpenAI披露了详细的技术路径：研究团队让约10000个AI智能体协作，在约88小时内生成了完整证明。该证明针对的问题核心是：一个初始平滑的静止流体，是否可能在有限时间内发展出“奇点”，即流速无限增长。答案被证明是肯定的。证明通过设计一种向内旋转并拉伸的“涡流”实现奇点，同时确保流体能量在物理定律约束下保持有限。整个论证建立在外力光滑的前提下，对应官方问题陈述中的“C”和“D”情形。

为了确保证明的可靠性，OpenAI不仅提供了分析性证明，还使用了Lean编程语言进行形式化验证。验证工作由GPT-6 Astra完成，耗时约17小时。OpenAI研究员塞巴斯蒂安·布贝克将这一成果称为“过去十二个月所看到轨迹的一个惊人顶点”，暗示AI推理能力正在经历指数级跃升。

然而，消息发布后迅速引发争议。纽约大学数学教授特里斯坦·巴克马斯特与Anthropic研究员莱文特·阿尔珀格在前一天刚刚发布了相关流体方程的研究成果。巴克马斯特质疑OpenAI在听闻他们的进展后才将资源转向其一直在探索的“外力驱动”方法，并担心自己存储在OpenAI Codex中的研究数据可能被用于训练或参考，但未得到明确答复。布贝克否认了这些指控，强调研究人员和AI智能体均未访问具体用户数据，但OpenAI也承认“不排除”来自其产品的匿名化数据帮助改进了模型。

著名数学家陶哲轩对此持复杂态度。他将此类问题比作吸引科学家努力的“灯塔”，肯定其对数学界的激励作用；但另一方面，他警告说，如果AI能在人类不深度参与的情况下解决最困难的问题，可能会削弱人类对数学的理解与掌控感。这种担忧在AI辅助科研日益普及的当下显得尤为具有前瞻性。

关于成本，有估算认为此次计算耗费可能高达1500万至2250万美元（约合1.01亿至1.51亿元人民币），显示了顶尖AI数学研究的资源门槛。值得关注的是，OpenAI表示不打算申领克莱数学研究所提供的100万美元（约合672.8万元人民币）奖金。这一决定或许意在强调其研究动机并非奖项，而是技术验证与推动AI科学发现边界的野心。