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?
Yuchen Jin lists AI math milestones and jokes OpenAI proved ETH is false
AIYuchen Jin posts a timeline of AI math achievements, from GPT-4 nearly solving grade-school math in 2023 to an IMO gold medal in 2025. He says that today OpenAI proved the Exponential Time Hypothesis is false, and jokes that P = NP may come next.
Yuchen JinVerified on X
@Yuchenj_UW
Source details
Yuchen Jin · x.comPublished · added here
Original title: 2023: GPT-4 almost solved grade-school math