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 Claims 10,000 Agents Solved Navier-Stokes in 88 Hours(13 posts)→
More from Models
- Unverified: GPT-6.1 Terra reportedly released, leaked chart shows top score per dollar on Agents' Last Exam — ZeroStateReflex · 2026-10-27
- GPT-6.1 Terra cuts factual error rate from 22.3% to 4.3%, an ~81% drop — haider1 · 2026-10-27
- GPT-6.1 Terra lands: early users praise speed, value and subagent performance — BenBajarin · 2026-10-27
- Leaked GPT-6.1 Terra benchmarks: cheap but 'boring', still far behind Astra and Claude — Angaisb_ · 2026-10-27
- Artificial Analysis Ships Intelligence Index v4.3.2 With GPT-6.1 Terra Comparison — ArtificialAnlys · 2026-10-27
- GPT-6.1 Terra cuts hallucination rate by 50 points while lifting accuracy 2 points — ArtificialAnlys · 2026-10-27