从 IMO 金牌到「证明 ETH 为假」:一条讽刺时间线浓缩 AI 数学狂飙三年
Yuchenj_UW · x · 2026-10-27
Yuchen Jin（YuchenjUW）用一条半开玩笑的进度时间线总结 AI 数学能力的爆发：2023 年 GPT-4 勉强搞定小学数学，2024 年 IMO 银牌，2025 年 IMO 金牌，然后一路加速到「2026 年 5 月解决 Erdős 单位距离猜想、9 月解决纳维-斯托克斯千禧年大奖问题、10 月产出 722 篇 AI 写的数学论文」，最后落到现在「OpenAI 证明 ETH 为假」、明天「P=NP?」——以夸张递进的方式调侃模型数学能力一年一个量级的跃迁速度。
「漫话AGI」频道最新
- Pedro Domingos:让 AI 自己赚钱,暴富概率正越来越高 — pmddomingos · 2026-10-27
- Miles Brundage：想读 S-1 的人不妨转读 AI 系统卡 — Miles_Brundage · 2026-10-27
- Kevin Bryan：AI 重组设计能力远超人类，但无法实时免费完成 — Afinetheorem · 2026-10-27
- Kevin Bryan 演示「人机共创」设计工具并谈 AI for Science 训练逻辑 — Afinetheorem · 2026-10-27
- 老干妈用 AI 替代 500+ 员工遭抵制，揭示中美 AI 民意反差 — 96Stats · 2026-10-27
- Kevin Roose 上 Decoder 播客谈新书《AGI Chronicles》与创业转型 — kevinroose · 2026-10-27