OpenAI claimed 10,000 agents cracked 90-year-old Navier-Stokes problem in 88 hours
r0ck3t23 · x · 2026-09-10
An unverified account relays OpenAI's claim that an internal system, more powerful than the unreleased GPT-6 Astra, used 10,000 agents to close a 90-year-old Millennium Prize Problem around the Navier-Stokes equations in 88 hours. Astra then spent 17 hours converting the result into Lean so every step could be machine-verified. The model behind it is not publicly available, and OpenAI has not officially confirmed the claim.
More from Models
- Why can't I pay OpenAI or Anthropic to hack my systems with unsafe models, asks David Holz — DavidSHolz · 2026-09-10
- Pixel analysis of OpenAI's Navier-Stokes chart suggests ~91 solved open problems kept unreleased — teortaxesTex · 2026-09-10
- Developer who spent €20k+ on Claude says models are degrading, urges skipping yearly plans — maier_ak · 2026-09-10
- User who spent €20k+ on Claude licenses says models keep getting weaker — maier_ak · 2026-09-10
- Users report AI assistant Astra omitting spaces, most often around numbers — gandamu_ml · 2026-09-10
- DeepSeek V4.1 flash reportedly has hidden vision support; official release still missing — teortaxesTex · 2026-09-10