OpenAI 称内部系统解决 Navier–Stokes 千禧年难题并给出 Lean 形式化证明
OpenAI 表示已给出 Navier–Stokes 存在性与光滑性问题的解，该证明由内部系统产出，结论是三维不可压缩流体的动力学可在有限时间内发展出奇点。OpenAI 同时公开了证明文稿和 Lean 形式化版本，并称所用内部模型能力显著强于 GPT‑6 Astra。该问题此前约 90 年未有定论，OpenAI 称公开此事是为了让外界了解 AI 进展速度及后续模型预期。
推荐理由：OpenAI 称其内部系统给出了 Navier–Stokes 问题的证明，并公开了证明文稿与 Lean 形式化版本，可供数学与 AI 研究者自行检验。