Skeptic: The AI Navier-Stokes Proof Isn't That Impressive
RokoMijic · x · 2026-09-09
Responding to OpenAI's announced agent-produced Navier-Stokes proof, Roko Mijic argues the result isn't that impressive.
- He sees it as part of a pattern: AIs finding laborious counterexamples based on known strategies, padded with lots of detail
- These are low-hanging fruits AI can pick precisely because humans are bad at exhaustive, tedious work
- In follow-up discussion he predicted that if AI resolves P vs NP soon, it will likely be P=NP via an "outrageously ugly" explicit algorithm dodging two of the three known proof barriers
More from AGI Musings
- After Planning Two Books with ChatGPT, He No Longer Feels the Need to Write Them — tinyfool · 2026-09-11
- Indie hackers aren't just engineers or marketers — AI lets one builder run the whole loop — alexmacgregor__ · 2026-09-11
- AI Safety Practitioner: Cheap Extinction Talk Has Turned the Public Anti-AI — Dr_Atoosa · 2026-09-11
- After 9 Years, Bots Finally Show Up on a Blogger's Bounty Page with AI Text — gleech · 2026-09-11
- Mozilla CTO calls for major pause on generative AI in schools, warns of losing a generation — Dan_Jeffries1 · 2026-09-11
- Hypothesis: ASI Has a Mathematical Incentive to Preserve Human Diversity — No_Cause_2731 · 2026-09-11