OpenAI Claims AI System Solved the Navier–Stokes Millennium Prize Problem

OpenAI announced that an internal AI system has produced a resolution to the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems in mathematics that has remained unsolved for over a century. The claim is extraordinary: a formal proof or near-proof of whether solutions to the three-dimensional Navier–Stokes equations always exist and remain smooth. Independent mathematicians Buckmaster and Alp​öge have separately posted AI-assisted fluid blowup proofs, adding context to a rapidly evolving and contested landscape around this result. Developers working on AI-assisted formal verification, theorem proving, or scientific computing should pay close attention — this is a live demonstration of frontier models operating at the edge of human mathematical capability. Whether or not the full claim is validated, this moment marks a new high-water mark for AI reasoning applied to unsolved hard problems.