Yuchen Jin 调侃 AI 数学能力时间线
2023: GPT-4 almost solved grade-school math
AI 导读
Yuchen Jin 以时间线形式罗列 AI 数学能力的进展：2023 年 GPT-4 几乎解出小学算术，2024 年 IMO 银牌，2025 年 IMO 金牌，2026 年 5 月 Erdős 单位距离猜想、9 月 Navier–Stokes 千禧年难题、10 月 722 篇 AI 撰写的数学手稿，"今天"OpenAI 证明 ETH 为假，"明天"则是 P = NP？
正文
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?