AGI Hunt· Yuchenj_UW·· 4 小时前AI 评分33
Yuchen Jin 用讽刺时间线浓缩 AI 数学三年狂飙：从 GPT-4 到 IMO 金牌，再到“OpenAI 证明 ETH 为假”
从 IMO 金牌到「证明 ETH 为假」:一条讽刺时间线浓缩 AI 数学狂飙三年
AI 导读
Yuchen Jin（YuchenjUW）用半开玩笑的进度时间线总结 AI 数学能力爆发：GPT-4 在 2023 年勉强搞定小学数学，2025 年已到 IMO 金牌。时间线还夸张到 2026 年 5 月解决 Erdős 单位距离猜想、10 月产出 722 篇 AI 数学论文，并以“OpenAI 证明 ETH 为假”调侃一年一个量级的跃迁。
来源：AGI Hunt · agihunt.info