OpenAI 宣布内部模型生成纳维-斯托克斯方程存在性与光滑性的完整证明，已通过 Lean 形式化验证。约一万个 Agent 耗时 88 小时协作，攻下悬置 90 年的流体奇点猜想，所用模型能力据称远超 GPT-6 Astra，但署名争议也同步引爆。