2026-10-01
对OpenAI用Lean核验的三维Navier-Stokes爆破证明做物理读法：数学成立，但水在0.67纳米、空气在45纳米处连续介质已失效，液体还会更早空化。
2026年9月8日，OpenAI宣布内部多智能体系统用Lean 4给出了强迫三维Navier-Stokes方程有限时间爆破的核验证明，对应千禧年奖C/D备选，另有一份无强迫Euler爆破。证明零sorry、零自定义公理、范数没有被削弱。「一万智能体、88小时」这类数字只出现在二手报道里，两篇OpenAI论文都没写，这篇审计也不当事实引用。
千禧年奖问的是不可压缩连续介质模型在R³上的性质，从来不是真水会不会炸。流体圈对早期公开稿的反应也是这句。剩下的问题是定量的：这个被核验的解离真实流体有多远，模型在哪一层先失效。
Socrate AI Lab的Xavier Callens做物理读法，不找Lean漏洞。构造的涡核径向雷诺数始终是O(1)，尺度因此是扩散型：半径约√(νt)，速度约√(ν/t)，跟初始涡多大、用什么单位几乎无关。压缩性、分子稀疏、粘性加热会在同一长度ℓ=ν/cs上同时变成O(1)。液体还会更早空化。
没有人数值实现了OpenAI那份166页构造。第9节用代用品：按同样扩散标度制造的高斯涡核，强迫项是不可压缩NS残差，时间反演扩散等于反扩散。3D伪谱求解器在Taylor-Green Re=1600上把耗散峰打在t=9.14，对照文献的9.0。另有一维可压缩NS-Fourier、离散速度BGK，以及无粘性定律、无状态方程的Lennard-Jones分子动力学。Lean侧在OpenAI自己的定义上证明：带候选性质的对象在奇异时刻附近会超过任意速度梯度界。十个文件、85条声明、只用三条标准公理。
连续介质失效可以写成一张表。
| 流体(300K) | ℓ=ν/cs | t=ν/cs² | 允许的最大涡量 |
| 水 | 0.67 nm | 0.44 ps | 2.2×10¹² s⁻¹ |
| 空气 | 45 nm | 0.13 ns | 7.5×10⁹ s⁻¹ |
水在常压下空化更早。中心压亏约½ρu²碰到蒸汽压时，u约14 m/s（马赫约0.01），大约爆破前5 ns、核半径约70 nm，时间上早三个数量级。高斯核把阈值推到约7.6 m/s、130 nm、17 ns。空化后空心涡把旋速封在约14 m/s。
全局动能按奖项要求有界（指数+0.485，趋于0）。局部能量密度τ⁻¹·⁰¹⁰、总耗散率τ⁻⁰·⁵¹⁵都发散。矩匹配矩阵看起来条件数10²⁸，无量纲化后κ(B)≈4.11×10⁵，跟半径无关。声学辐射检查就是Ma⁵，不是独立判据。外力是从奇点往回设计的光滑余项，没有独立物理来源。
截止正则化在「Re≈1扩散核」这个前提下精确到机器精度，但普通初值给不出这个核。强迫二元级串上，停滞尺度速度kα⁻⁰·³⁴⁵，离Kolmogorov的k⁻¹/³差3.5%，离截止律的uνkα差三个数量级。做成Re=1强迫塌缩后，流场相对误差1.7×10⁻⁷。超粘势垒相对强迫的功率比没有跨过1，原先预报会跨。核停在约1.2–1.5√α′附近，指数0.42和-0.43，对照定律的0.5和-0.5，还没收敛。Leray-α和LANS-α这类输运滤波在Re≈1上弱一到两个数量级，因为非线性只占动力学几个百分点；门与泄的交叉雷诺数是精确范数比，落在8到142。
BGK剪切模阻尼弱于粘性，上限是碰撞频率，流体模在kλ=√(π/2)处消失。非线性BGK里核没有在那里停，比NS最多快12%，停点跟着网格走，不跟着平均自由程，空结果稳健到约0.9个自由程。扩散路上，压缩性和热都拦不住核到ℓ之前；惯性路（Re≳16）上，空气局部马赫数锁在0.70。分子动力学在连续区内复现事先登记的预测（Re=16：局部Ma 0.538±0.011对照0.54，密度0.33对照0.36，温度1.15对照1.15），轴心随后抽空进自由分子区。液体空化后腔壁旋速1.77–2.09，对照空心涡上界2.07。水样液体在固定远场压的两趟里，腔壁旋速平台在0.84，对照事先登记的0.82（+2%）。
把Leray-α滤波宽度设成ℓ、当作连续介质极限的代表，已经撤回：滤波宽度不进线性化动力学。
对形式化数学和AI定理证明：Lean过了就是过了，C∞和实解析之间的Gevrey空隙被用对了，奖项问的那句话被回答了。对做物理或CFD的人：不要把这份证明读成真实湍流会爆破。连续介质在纳米、皮秒尺度交棒，交谁取决于路径。扩散路交给分子描述终止，惯性路先撞可压缩和热，有界速度的Euler路先撞粘性。想把AI证明接到物理陈述上，缺的是可接受性条件，不是再找一个sorry。
没有人数值模拟了OpenAI原构造，第9节全是代用高斯核加开环强迫。若干预报失败被记下：势垒/强迫比跨1没发生；封闭盒子里水样液体的腔壁旋速超过了按初始压力写的上界，加压强计后才回来。马赫锁是一维轴对称理想气体、开环力，锁的是马赫数不是速度。可压缩NS自己也有已证的内爆奇点，模型层级是把崩溃往下传。早期公开稿撤过「等离子体温度」、全局涡量审查公理、飞秒计时、「物理上空洞」的提法。构造有多非典型（余维）这篇没算出来。