Story · @OpenAI
OpenAI says a group of ~10,000 agents on an unreleased model beyond GPT-6 Astra produced a Navier-Stokes Millennium Prize solution in 88 hours (@OpenAI)
X post · Story page
OpenAI says around 10,000 coordinating agents on a next-generation model it calls significantly more capable than GPT-6 Astra produced an analytical proof and a Lean formalization that a Navier-Stokes fluid can develop a finite-time singularity, in 88 hours. It's OpenAI's own claim; the thread does not say the proof has been independently reviewed.
In plain words
- OpenAI says its artificial intelligence solved a major mathematics problem about how fluids move.
- The proposed proof describes fluid spiraling inward and stretching until the mathematics describing its movement breaks down.
- The company says cooperating programs produced both a mathematical argument and a version written for a computer to check.
- The post does not say whether independent experts have reviewed the claimed proof.
- If confirmed, the result would help mathematicians understand when equations describing fluid movement can break down.
Appeared in
- Per-phase model routing cuts agent cost, RASER on Slurm, Amp steers mid-run
Sep 09, 2026 · from X
Subscribe
Get the brief in your inbox
Pick daily, weekly, or both. Nothing is gated either way: every issue is on the site and in the feeds.
- Weekdays at 8:45am IST, one lead story and 6 to 9 items.
- Sundays, an argued synthesis rather than a recap.
- One click to leave, and quiet days say so in the subject line.