Goertzel on OpenAI's Navier-Stokes solution: $22M compute for a $1M prize
bengoertzel · x · 2026-09-10
Ben Goertzel writes on OpenAI's announced solution to the Navier-Stokes existence and smoothness problem, one of the Clay Mathematics Institute's seven Millennium Prize Problems (each worth $1M since 2000):
- OpenAI reportedly spent $22M worth of compute chasing the million-dollar prize (which they reportedly won't claim) — the point was to demonstrate capability.
- The solve was done not with the released GPT-6 Astra, but with an internal, unreleased, even more capable model.
- Goertzel frames this within 'theorem proving, conjecturing, and the road to AGI,' exploring what it means for mathematics and AGI progress.
Independent peer review of the claimed proof is the key thing to watch.
Related event: OpenAI's 10,000 Agents Crack Navier-Stokes Problem in 88 Hours(5 posts)→
More from Models
- DeepSeek's answer to surging demand: make its model cheaper and faster — yacineMTB · 2026-09-10
- Prelim assessment: GLM-4.1 behaves similar to V4, Zhipu's post-training called more advanced — menhguin · 2026-09-10
- Huge share of post-2022 web data is AI content mislabeled as human-written — menhguin · 2026-09-10
- DeepSeek V4.1 Hailed as the 'First Gamer Model' After Blowing Away an FPS-Generation Test — teortaxesTex · 2026-09-10
- Bug Hunt Bench grades frontier models on 105 real bugs; DeepSeek-V4.1-Flash lands 24/105 for $1.80 — PawelHuryn · 2026-09-10
- RSI is here, just disaggregated: DeepSeek using LLMs to design algorithms — teortaxesTex · 2026-09-10