OpenAI智能体88小时***纳维-斯托克斯难题，数学界震动
9月5日凌晨3点，旧金山OpenAI总部一间灯火通明的实验室里，研究员李敏刷新了监控面板——第10,000个AI智能体刚刚发送完第270万条内部消息。屏幕上跳出一行绿色文字：“形式化验证通过。”她立刻拨通了团队负责人的电话：“我们可能刚刚解决了纳维-斯托克斯问题。”
四天后，即2026年9月9日，OpenAI正式宣布，其部署的超大规模AI智能体系统在启动后88小时内，成功攻克了纳维-斯托克斯方程的存在性与光滑性问题。这是克莱数学研究所于2000年提出的七个“千禧年大奖难题”之一，悬而未决已近百年。此前，七大难题中仅有庞加莱猜想被俄罗斯数学家佩雷尔曼于2003年解决。
纳维-斯托克斯方程是流体力学的核心，用于描述从飞机机翼周围的气流到人体血管中的血液运动。其核心疑问在于：即便初始状态平滑，三维不可压缩流体是否会在有限时间内产生“奇点”——即速度无限增大、方程失效的情形？OpenAI的AI系统不仅证明了奇点可以形成，还构造出一个具体的数学解：一个能量始终保持有限的涡旋结构，在收缩加速过程中，其内部的速度场趋于无穷大。
据OpenAI披露，该成果由一个内部代号远超GPT-6 Astra能力的模型驱动。整个求解过程生成约1300亿输出Token，并辅以Lean定理证明器进行17小时的形式化验证。研究团队强调，该解满足所有物理约束，外力光滑、总能量守恒，但数学上仍导致速度无界——这意味着经典连续介质假设在极端条件下可能失效。
这一突破迅速在学术界引发两极反应。支持者认为，AI为数学开辟了新范式。同济大学数学科学学院长聘副教授陈小杨指出：“掌握前沿模型与海量算力的研究者，未来产出将远超传统学者。”但质疑声同样强烈。菲尔兹奖得主陶哲轩警告，过度依赖AI解题如同“在健身房让机器替人举重”——虽达成目标，却丧失了探索过程中的理解与洞见。
值得注意的是，OpenAI承认其决策受到外部竞争压力影响。纽约大学教授特里斯坦·巴克马斯特此前曾透露，他与Anthropic的合作者正独立推进类似研究。OpenAI在得知消息后迅速将资源集中于该问题，但坚称“未接触对方任何工作”。为增强透明度，OpenAI已公开技术论文，详述智能体协作机制��证明路径。
然而，陶哲轩仍持保留态度。他将AI比作“荒野向导”——虽能指明通往瀑布的小径，却可能扼杀人类自行探索其他路径的动机。更深层的隐忧在于资源门槛：运行万个智能体耗费数百万美元电力与芯片资源，或将加剧科研领域的不平等。据业内人士估算，此次计算消耗相当于数千张H100 GPU连续运行数日。
尽管如此，这一成果标志着AI首次在纯数学基础理论领域取得里程碑式突破。它不仅挑战了人类对流体本质的理解，也迫使整个学术界重新思考：在智能体能自主攻克世纪难题的时代，数学研究的价值究竟在于答案本身，还是通向答案的旅程？
本文由AI辅助生成
