一个月前，我把这条方程，
叫作“经典物理学留给人类最后的难题”。
那时我以为，我们还会等待很久。
它藏在一杯水的涟漪里，也写在横贯大洋的洋流中。
我们用它计算流动，却始终无法保证：光滑的流体，会不会在有限时间里，走向数学上的无限。
2026 年 9 月 8 日，OpenAI 宣布，找到了这个千禧年难题的一份解答。按照他们公布的过程，约一万个 AI 智能体协作，八十八小时找到证明，再用十七小时完成 Lean 形式化与验证。
一代代人凝视的方程，突然以小时为单位，传来新的消息。
这份工作声称：在特定的光滑外力下，三维不可压缩流体，即使从静止出发，速度也能在有限时间内变得无界。
总能量仍然有限，局部的速度却奔向无限。
历史性的消息，值得用同样认真的目光迎接。
这段历史里，也有 Buckmaster 和 Alpöge 的名字。他们借助 AI，在相关的受迫欧拉方程等问题上取得了突破。
人的直觉、前人的方法、机器的搜索，已经交织在同一条研究道路上。讲述新纪元，也应当记住那些让它成为可能的人。
那么，今天的数学家，以及每一个仍然热爱数学的人，该走向哪里？
陶哲轩在讨论 AI 与数学时，强调了理解与洞见的价值：证明需要被讲清楚，被同行吸收，最终成为可以传给下一代的知识。
我们可以期待这样的数学：更多人有机会尝试，更大胆的猜想得到检验，更深的思想变得可以理解、可以分享。
如果这份证明最终获得认可，千禧年七大难题的进度，将来到七分之二。
愿这个新纪元，让更多人有能力，追随自己的好奇心，
走得更远。
