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
- AI Safety Researcher Warns Current Crisis Could Lead to Loss of Control, Proposes 3 Fixes — LuizaJarovsky · 2026-10-26
- Ben Thompson's 'The End of the Internet': when creation goes free, winners go small — tushaarmehtaa · 2026-10-26
- Revolut CEO: China's 9/9/6 work culture makes it unbeatable — only 2 of 140 startups survived — davidsenra · 2026-10-26
- AI Is Redistributing Technical Power Inside Companies, Not Just Creating New Roles — mdancho84 · 2026-10-26
- Two New Papers Quantify AI's Impact on India's Labour Market With PLFS Data — ravi_iitm · 2026-10-26
- AI thinking is to human thought what planes are to bird flight — js_craft_hq · 2026-10-26