From Erdős to Millennium Problems: AI math progress is compounding fast

haider1 · x · 2026-09-22

A tongue-in-cheek timeline of AI math capability: GPT-5.6-class models solve 1 Erdős problem, "astra" produces 10 major open-problem results, and the next generation supposedly cracks a Millennium Problem plus 100+ open problems.

The author's punchline: three models from now, we might run out of unsolved math — a shorthand for how fast frontier-model reasoning is compounding.

Original post →

More from AGI Musings

AGI Musings channel →