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
Readers added context
OpenAI targets forced Navier–Stokes (Case C), not the unforced problem. The Clay Institute lists it as unresolved pending peer review, amid attribution disputes involving T. Buckmaster & L. Alpöge.
claymath.org/millennium-pro…cims.nyu.edu/~tristanb/stat…