2014年2月4日，陶哲轩把一篇论文传上了arXiv，题目叫《Finite time blowup for an averaged three-dimensional Navier-Stokes equation》。这篇论文后来在2016年正式发表于《美国数学会杂志》第29卷第3期，页码601到674。论文里，他造出一个三维方程，保留了真实纳维-斯托克斯（NS）方程几乎所有的函数空间估计，也满足那条被视为"唯一救命稻草"的能量恒等式，却仍然能在有限时间内炸掉。
乍一看，这像是攻克了克莱数学研究所悬赏百万美元的千禧年难题。陶哲轩自己在博文开头就把话说死：这不是真实NS方程爆破的证明。他证的是一件更抽象、也更狠的事——过去几十年PDE学界依赖的那套证明工具箱，原则上就不可能解决这个问题。
一个会爆炸的"替身方程"怎么造出来
真实NS方程的非线性项 B(u,u) 满足一条关键的相消律：⟨B(u,u),u⟩=0，这条相消律直接推出能量恒等式，是目前对NS方程唯一有效的先验控制。
陶哲轩的做法是把 B 换成一个"averaged"版本 B̃：对双线性算子的输入分别做旋转、伸缩和零阶傅里叶乘子，再对这些变换取平均。旋转和零阶乘子在绝大多数函数空间里都是有界算子，所以 B̃ 自动继承了 B 几乎所有的上界估计，相消律也照样成立。换句话说，B̃ 从外表上看和真实的 B 几乎一样"守规矩"，但陶哲轩证明存在光滑、无散度的初值，能让对应方程的解在有限时刻炸掉。
炸掉的机制落在一个具体的频率标度竞争上：粘性耗散在频率尺度 N 处的作用速率约为 N²，而这个averaged非线性项能达到的能量转移速率约为 N^(5/2)。频率一高，N^(5/2) 就会超过 N²——能量恒等式本身，管不住高频段的级联转移。
这是"元定理"，不是爆破证明
能量恒等式加抽象上界估计，是过去几十年里学界攻克NS整体正则性问题时唯一被广泛依赖的"通用工具箱"。陶哲轩这篇论文的真正结论是：只要一个双线性算子还保留着相消律和标准函数空间估计，总能构造出一个会爆炸的版本。
通用工具箱本身有天花板，打磨得再精细也够不到答案。
这意味着任何试图仅靠改进函数空间估计技巧来证明NS整体正则性的路线，基本被排除了。真实NS方程之所以可能不会爆炸（如果确实不会），一定用到了 B̃ 不具备的额外结构——比如NS的涡量方程里那套只涉及微分算子而非拟微分算子的几何约束，能分离输运、拉伸和扩散，编码涡线的几何信息。
- 结论.能量估计这条路已经被证明走不通，后续研究必须转向涡量几何这类"精细结构"。
三维加能量恒等式，为什么此前没人做到
在陶哲轩之前，类NS方程爆破的先驱工作各有欠账。Montgomery-Smith、Gallagher-Paicu、Li-Sinai构造的NS变体能爆炸，但不满足能量恒等式；Katz-Pavlovic和Cheskidov的dyadic模型满足能量恒等式，却只在五维及以上空间成立。三维空间里，能量恒等式对高频段（小尺度）的控制天生偏弱——这正是"超临界"问题的核心，也是此前没人能同时啃下"三维"和"满足能量恒等式"这两个约束的原因。
直觉留下的靶点
陶哲轩在博文里还留了一句更私人的话：他觉得这套构造方法"暗示了一条可能通向真实NS方程爆破的路径"，并说自己"越来越倾向于相信"真实三维NS方程确实会爆破，只不过只对极小一类初值成立。
这是研究者的直觉，不是数学证据——他自己也很清楚这一点，全文反复强调averaged方程只是人为设计的替身。但这句话点出了下一步该往哪看：averaged模型缺的正是涡量方程那套几何结构，谁能把这套几何约束用进证明，谁才算真正往前挪了一步。
克莱数学研究所的百万美元悬赏至今无人认领。这篇论文没有让任何人更接近答案，但它把一整类"偷懒"的证明思路堵死了——剩下能走的路，只剩更难啃的那条。