纳维-斯托克斯方程光滑性
本条为初评草案（AI 辅助编目 · 评于 2026-07）：T 阶为三问初评（撬动面 × 停滞度 × 临界性），双评过 σ 门并红蓝复核后才升"已建档"。查不到的字段留空不编。点亮者会进入亮星候选流程，其贡献与星阶按 HCF 独立重评，不从暗星自动继承。
从血管里的血流到飞机机翼上的气流，全都由纳维-斯托克斯方程描述——它写下来已经快两百年，工程师天天在用。但一个地基级问题至今未决：从光滑的初始状态出发，三维流体会不会在有限时间内自发产生无穷大（「爆破」）？这不只是数学洁癖：它直接关系到这个方程作为物理模型是否自洽，也是理解湍流——经典物理最后的未解大谜题——的数学门户。克雷千禧七题之一。
卡在「超临界性」：随着观察尺度变小，方程的非线性项越来越强，而人类已知的所有守恒量（能量等）都不足以在小尺度上压住它——现有估计与所需控制之间有本质的量级差距。陶哲轩 2014 年的工作把这层窗户纸捅破：他证明一个「平均化」的纳维-斯托克斯方程确实会爆破，说明只用软性的能量方法必然失败，必须用到方程的精细结构。
陶哲轩（UCLA，平均化方程/爆破机制方向）；Buckmaster–Vicol 等（弱解非唯一性，已发《数学年刊》）；侯一钊团队（Caltech，欧拉方程计算机辅助爆破证明路线）；偏微分方程社区多条构造奇点/反例路线并进。
读偏微分方程与调和分析，研究生进流体方程方向的分析强组。当前最有生产力的切入口有二：一是相关「玩具」方程（欧拉方程、平均化模型）的爆破构造，二是计算机辅助证明——用数值找到候选自相似爆破解再严格验证，这条路线近年在欧拉方程上已有实质突破，是年轻人能直接上手的活跃前沿。
谁在攻这颗暗星 · 攻关者名录6 人
这不是终点站——今天在这颗暗星上攻坚的人，就是明天点亮它、登上星光榜的候选。名录含科研、创业与第三方三类关键角色，初评待核实，欢迎补充与纠正。
去哪家 · 机构与公司名录3 家 · 其中初创/成长期 0
给求职者和投资人的信息增量——不只是听过的大机构，更多是正在攻这颗暗星的初创与新公司（联网实搜、初创优先排序，初评待核实）。