The Navier–Stokes equations describe fluid motion, from air around an aircraft to water in a pipe. A famous mathematical question asks whether a smooth three-dimensional flow must always remain smooth.
What the research claims
On 8 September 2026, OpenAI published a claimed proof produced with an internal AI system. Its proposed construction uses a smooth external force and claims a singularity can develop in finite time. In this mathematical setting, that means the model’s velocity becomes unbounded; it does not mean real water moves infinitely fast.
Formal verification and independent review
The company released a write-up and a formalization in the Lean proof language. It says the group producing the result involved around 10,000 concurrent agents, while people set tasks and combined intermediate insights.
These are OpenAI’s research and proof claims. A formal check is distinct from broader mathematical review. The publication does not establish that a prize was awarded or that the community has definitively accepted the result. Independent scrutiny remains essential.
