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？
正文 · AI 翻译
2023年：GPT-4几乎解出小学算术 2024年：IMO银牌 2025年：IMO金牌 2026年5月：Erdős单位距离猜想 2026年9月：Navier–Stokes千禧年大奖难题被解决 2026年10月：722篇AI撰写的数学手稿 今天：OpenAI证明ETH为假 明天：P = NP？