OpenAI宣布攻克千禧年难题OpenAI 正式宣布，其内部未公开的更强模型，能力显著超过 GPT-6 Astra，已给出纳维–斯托克斯存在性与光滑性问题的一个解答，并同步公开了分析证明论文和 Lean 形式化验证。

这次证明了在光滑外力作用下，一个初始静止且光滑的三维不可压缩流体，可以在有限时间内形成奇点，也就是流速趋向无穷，且全过程能量保持有限。

这对应克雷数学研究所官方问题表述中的 C 和 D 命题，从而解决了这个千禧年大奖难题。 此前七个千禧年难题中，只有庞加莱猜想被佩雷尔曼解决。这是第二个被宣称解决的难题。