From grade-school math to ETH: an AI math timeline

Yuchen Jin posted a timeline of AI math milestones: GPT-4 almost solving grade-school math in 2023, IMO silver in 2024, and IMO gold in 2025.

It continues with the Erdős unit-distance conjecture in May 2026, Navier–Stokes in September, 722 AI-written math manuscripts in October, and today's claim that ETH is false. It ends: "Tomorrow: P = NP?"

Why it mattersThe post captures how fast the field's sense of what is possible has moved in three years.