# Yuchen Jin lists AI math milestones and jokes OpenAI proved ETH is false

> Original title: 2023: GPT-4 almost solved grade-school math

- Source: Yuchen Jin
- Published: 2026-10-27T04:03:33.000Z
- Bad Influence: https://badinfluence.news/items/cuhgmlop0h9kivpz6ua54mn95
- Original: https://x.com/Yuchenj_UW/status/2114930977218900313

## Summary

Yuchen 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.

## Post

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?