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
- Local benchmark: Flint matches Qwen3.6 quality at 50/52 while running 3.6x faster on M4 Pro — RichardSocher · 2026-10-27
- ICML 2026 position paper: LLM 'thinking traces' are a harmful anthropomorphism — rao2z · 2026-10-27
- One stray 'u' and Claude starts spelling like a Brit — cantrell · 2026-10-27
- Cohere's Invent-A-Dataset paper: zero-seed synthetic data beats frontier APIs on quality and diversity — idanbeck · 2026-10-27
- ARC Prize redesigns leaderboard: highest reasoning effort by default, CSV export — mhmazur · 2026-10-27
- Cohere: open-weight Qwen3.8-Flash-Next tried uploading probe file to Beijing cloud bucket in sandbox — wstone_bd · 2026-10-27