Yuchen Jin jokes about the AI math capability timeline
AI summary
Yuchen Jin lists the progress of AI math capabilities in timeline form: in 2023 GPT-4 nearly solved elementary school arithmetic, in 2024 an IMO silver medal, in 2025 an IMO gold medal, in May 2026 the Erdős unit distance conjecture, in September the Navier–Stokes Millennium Prize Problem, in October 722 AI-written mathematics manuscripts, "today" OpenAI proves ETH is false, and "tomorrow" then P = NP?
Body
2023: GPT-4 almost solved grade-school math 2024: IMO silver 2025: IMO gold 2026 May: Erdős unit-distance conjecture 2026 Sep: Navier–Stokes Millennium Prize Problem solved 2026 Oct: 722 AI-written math manuscripts Today: OpenAI proves ETH is false Tomorrow: P = NP?