Research
OpenAI’s Navier–Stokes claim comes with a Lean proof, but acceptance is a separate gate
OpenAI has published a proposed Navier–Stokes Millennium Problem solution with a formal Lean proof; the result remains subject to independent mathematical scrutiny.