OpenAI解决纳维–斯托克斯存在性与光滑性问题的转述继续扩散，本轮新增“有限时间爆破”的证明方向及科研算力化讨论。Phoenix Yin称，OpenAI使用内部模型完成证明，并把结论解释为光滑初始流场可能在有限时间内出现奇异性。rick awsb进一步称成果由未发布模型在几天内完成，据此提出科研将更多依赖GPU的判断。与乐观叙事相对，HAZENLEE认为现阶段AI更像超级搜索器，在隐藏前提识别、长链条证明和一般结构抽象上仍有短板。候选材料没有展示完整论文、形式化验证范围或独立审查结果，因此不能确认难题已获解决，也不能把算力替代科学家的推演视为既定趋势。
Participated post: 今天是历史性的一天。
就在今天，美国时间9月8日，OpenAI 宣布用内部模型解决了纳维-斯托克斯存在性与光滑性问题，并且证明的方向是存在有限时间爆破。
千禧年七大难题里，纳维-斯托克斯问的是：给一个光滑的初始流场，这个方程的解是否永远保持光滑？还是会在某个有限时间内速度变成无穷大？
OpenAI 这次的答案是后者。
他们的系统给出了一个解析证明和 Lean 形式化验证，证明初始完全光滑、能量有限、受到光滑外力作用的流体，可以在有限时间内发展出奇点。
奇点的具体形态是一个不断向内螺旋、同时被轴向拉伸的涡旋，像意大利面一样越缩越细，越转越快，速度趋于无穷但总能量依然有限。从数学上，这就解决了克莱研究所官方表述中的命题 C 和 D，也就是推翻了永远光滑的猜想。
为什么之前卡了90年？难点在于，粘性本来是磨平一切的，你要让方程自己把自己弄爆破，同时外力还必须是光滑的，不能靠你手塞一个无穷大力进去。AI 找到的恰好是让加速度、压力梯度、粘性这些大项互相精密抵消，只留下爆破的路径。
这次的意义是超越性的。
1. 对数学： 这是继佩雷尔曼证明庞加莱猜想后，第二道被攻克的千禧年难题。之前的纪录是人类天才的单兵作战，这次是1000个智能体先花50小时解决无粘的欧拉方程，然后10000个智能体再花11小时把结果扩展到完整纳维-斯托克斯，全过程用了88小时，最后Lean验证又花了17小时，总成本有报道提到1500万美元级别的算力。这不是一个更聪明的求解器，而是一种群体智能和形式化验证的证明范式。
2. 对物理和工程： 它不意味着我们从此可以完美预测天气或造出不失速的飞机。恰恰相反，它证明了连续介质模型在极端条件下会自我失效。因为真实流体不可能达到无限速度，所以当奇点出现时，纳维-斯托克斯就不再是现实的可靠镜像，必须回到更底层的粒子描述。克莱研究所主席 Martin Bridson 说的那句“思考人类对数学理解取得重大进展的激动人心的一天”，指的就是这种边界被划清的时刻。
3. 对AI： OpenAI 说这个证明是由一个比 GPT-6 Astra 显著更强的未发布内部模型产生的。有意思的是，就在前一天，哈佛的 Levent Alpöge 和纽约大学的 Tristan Buckmaster 刚用 Claude 和 Codex 解决了无粘的欧拉版本，陶哲轩在 Mastodon 上评价那是“卓越的成就”。这说明最前沿已经变成了实验室之间的接力赛。
关于历史地位。 如果经过严格同行评审和 Lean 库的独立检查确认无瑕，我想我们可以把 OpenAI 放到卡文迪许、贝尔实验室那个讨论序列里。但这次他们自己表态，不打算去领那100万美元的奖金，而是把它定位为对AI进展速度的报告。我想这是很聪明的举措，毕竟，奖金需要克莱研究所漫长的评审，但历史地位不需要奖金来确认。
���于现在的学生，路径只有一个，那就是成为接口：
学 Lean4。
OpenAI 这次同时发布了自然语言证明和形式化证明，未来数学论文的标准之一就是人类可读与机器可验证的结合。
有能力者，可以去试试啃那篇欧拉方程的论文，再对比 OpenAI 的纳维-斯托克斯完整版，看AI是怎么把有外力和无外力两种情况统一的。
把你的专业和AI绑在一起。你在哪个专业领域的任何一个问题，都可以问问，个问题能否被表述为一个搜索问题，让1万个智能体去探索。
还有一点，这次解决的是存在爆破，但没有告诉我们爆破在真实流体中是否可观测，是否稳定，以及有多少种爆破方式。这会或许打开一个全新的子领域，那就是对奇点的分类学——就像当年发现黑洞解之后，广义相对论才真正开始一样。
人类花了200年把流体写成方程，花了90年问这个方程会不会崩溃，最后，一群由人类训练、人类提示、人类互相竞争又合作的智能体，在3天多一点的时间里给出了一个反例。
我相信，这件事会成为21世纪上半叶的光辉时刻。
Posts 1 Views 61.0KHeat 688
#OpenAI#纳维–斯托克斯方程#有限时间爆破