OpenAI claims its next-gen model agent swarm solved the Navier-Stokes Millennium Problem in 4 days
basedjensen · x · 2026-09-09
OpenAI announced that a group of agents, running on an unreleased next-generation model it says is significantly more capable than "GPT-6 Astra," produced a solution to the Navier-Stokes Millennium Prize Problem — unresolved for roughly 90 years. Reposts add that 10,000 agents solved it in under 4 days, with the proof formalized in Lean in an additional 17 hours. If verified, this would be the first millennium problem cracked by AI.
Related event: OpenAI Claims Navier-Stokes Breakthrough Amid Attribution Dispute(155 posts)→
More from AGI Musings
- OpenAI reportedly spent $15M in tokens on Navier-Stokes proof, and it was worth it — bindureddy · 2026-09-09
- On why evolution produced consciousness: intelligence as the plausible intermediary — jessi_cata · 2026-09-09
- Neal Stephenson has written by fountain pen for 25 years — Baroque Cycle manuscript stood 42 inches tall — ashishkr9311 · 2026-09-09
- Jeff Ladish clarifies: he means intellectual siloing, not just time on Twitter — JeffLadish · 2026-09-09
- Jeff Ladish: researchers building superintelligence being intellectually siloed is extremely risky — JeffLadish · 2026-09-09
- Why aren't you part of a system optimizing for subjective experience? An AI-consciousness argument thread — jessi_cata · 2026-09-09