OpenAI says it has an AI-generated solution to Navier-Stokes, the 200-year-old equation describing how fluids like water and air behave, and it published both a writeup and a formal proof in Lean that a machine can check line by line.
Per The Wall Street Journal, that makes it the second of the seven Millennium Prize Problems to be answered since they were set in 2000, and the first credited to AI. OpenAI describes the proof as the work of a group of agents running on a next-generation model "significantly more capable than GPT-6 Astra."
Wired reported on September 8 that accusations of impropriety from some academics have overshadowed the announcement.