From zero open math problems to a Millennium Prize solve in one semester
FlorianGallwitz · x · 2026-09-09
A pointed observation on the pace of change: when MIT's Spring semester began, AI couldn't meaningfully solve open math problems. By the start of the Fall semester, AI has allegedly solved a Millennium Prize Problem (Navier-Stokes). The author argues this pace reasonably earns the label of a 'mathematical singularity'.
Related event: From IMO Gold to Millennium Problems: AI's Rapid Math Ascent(5 posts)→
More from AGI Musings
- Navier-Stokes Proof Drama Foreshadows an Economy That Works Like Quant Trading — IgorCarron · 2026-09-09
- Breakthroughs Downstream of Engineering Constraints Frustrate Purity-Minded Scientists — generativist · 2026-09-09
- Vercel CEO Guillermo Rauch Declares Chat Has Won: It's All Chat + Computer Now — edgarpavlovsky · 2026-09-09
- Cathie Wood: AI buildout won't end like the 200 railroad bankruptcies of the 1800s — CathieDWood · 2026-09-09
- You can be AGI-pilled and still bet on exceptional companies yet to be built — espricewright · 2026-09-09
- tszzl pushes back on "AI shouldn't solve math for us": we deserve the answers, not preserve ignorance — tszzl · 2026-09-09