OpenAI: 'We're sharing a solution to the Navier-Stokes Millennium Prize Problem'

OpenAI's X thread on Sept 8, 2026 announcing a solution to the Navier-Stokes Millennium Prize Problem, produced by a group of agents using a next-generation internal model "significantly more capable than GPT-6 Astra". A follow-up post says the group produced an analytical proof and Lean formalization that a fluid can develop a finite-time singularity: a vortex that spirals inward and stretches "like spaghetti" (x.com/OpenAI/status/2097374646148481532). Mathematicians disputed whether the smoothly forced variant counts as the Clay problem (Scientific American, Tao's blog), and Buckmaster's team raised priority accusations (Fortune). Noam Brown's reaction: 2026-09-08-brown-lee-sedol-moment. Verified via the X syndication endpoint (OpenAI, 2026-09-08T17:20Z).

We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.

The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.

The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.

Media: https://pbs.twimg.com/media/HRtS_iLboAUUlYv.jpg?name=orig

views 74942054 · likes 120511 · reposts 20143 · replies 5715 (at fetch time)

Archived 2026-09-29 via fxtwitter (unofficial).