OpenAI reportedly spent $15M in tokens on Navier-Stokes proof, and it was worth it
bindureddy · x · 2026-09-09
- Bindu Reddy weighs in on the Navier-Stokes controversy: OpenAI spent roughly $15M in tokens to reach the solution, and did not steal anyone's work.
- She argues this was expected — as long as a proof/solution can be verified, very large LLMs can solve it, and predicts LLMs will crack all the hard problems in math in the coming weeks.
Related event: OpenAI Claims Agent Swarm Solved the Navier–Stokes Millennium Problem(38 posts)→
More from AGI Musings
- Gary Marcus says AI breakthrough relied on borrowed human information — GaryMarcus · 2026-09-09
- What 100 GW of compute really means: 876 TWh a year and a country-scale power system — shyamalanadkat · 2026-09-09
- Default AI scenario is Peter Wildeford's 'Scramble', argue AI safety discussants — sjgadler · 2026-09-09
- Anima Anandkumar: physics-centric AI already impacts weather and device design — AnimaAnandkumar · 2026-09-09
- BBC and Guardian rank Glastonbury ticket dates above AI solving a Millennium Problem — birchlse · 2026-09-09
- Oncologist pushes back on AI cancer-cure hype: sequencing finds mutations, not instant treatments — petergyang · 2026-09-09