Chollet: OpenAI Navier-Stokes result counts only if it yields novel conceptual insight
burny_tech · x · 2026-09-08
François Chollet weighed in on the rumored OpenAI Navier-Stokes result: the verdict depends on how it was solved.
- If it solves the problem by producing a novel conceptual insight, it counts as a breakthrough
- If it solves it mechanically via search without new insights, it's "Yet Another Automated Proof"
The reply reframes the debate over AI math breakthroughs around the divide between genuine insight and brute-force search; the retweeter hopes the result contains novel conceptual insights.
More from AGI Musings
- Nat Lambert: open models deserve attention more than frontier lab drama — deliprao · 2026-09-08
- Luiza Jarovsky: it's time to hire human photographers and designers again — LuizaJarovsky · 2026-09-08
- Terence Tao: premature AI solutions to math problems could harm mathematics itself — ValerioCapraro · 2026-09-08
- TheZvi: Math proofs are starting as giant AI output piles—will first versions ever be comprehensible? — TheZvi · 2026-09-08
- Skeptic: AI slowdown pledges are really about blocking rivals, not safety — yunta_tsai · 2026-09-08
- Office buildings will empty out between end of 2027 and 2030, predicts OpenAI insider — davidpattersonx · 2026-09-08