Millennium Prize déjà vu: Perelman solved Poincaré amid credit disputes, like OpenAI's Navier–Stokes now
keenanisalive · x · 2026-09-09
Responding to Geoffrey Irving's prediction that Navier–Stokes would be the next Millennium Prize problem solved, keenanisalive points out the first one — the Poincaré conjecture — was already solved by Grigori Perelman in 2002-2003, and that era saw a strikingly parallel credit controversy with another group claiming a complete proof.
- Irving admits he failed to predict the result would come wrapped in a bitter authorship dispute
- Background from the Clay Mathematics Institute: Perelman's proof, built on Hamilton's Ricci flow, also settled Thurston's geometrization conjecture; the prize was accepted in 2010
- The exchange frames the current OpenAI Navier–Stokes candidate-proof controversy in a longer historical arc
More from AGI Musings
- Terence Tao: identifying promising problems is now the scarce resource in the AI era — anshulkundaje · 2026-09-09
- Coders push back on 'superhuman AI soon': don't take digital-physical transducers for granted — jwt0625 · 2026-09-09
- Kimi paper said to 16x global compute sparks debate on US-China AI race — pstAsiatech · 2026-09-09
- Frontier labs quietly building recursive self-improvement, thread claims — 0xsachi · 2026-09-09
- Prediction: Big AI will start buying Big Pharma — not for the drugs, for the data — MannyKayy · 2026-09-09
- A magic lamp thought experiment on when AI solving math helps and hurts — sandersted · 2026-09-09