AGI Hunt· Yuchenj_UW·· 2 小时前AI 评分39
从 IMO 金牌到「证明 ETH 为假」：Yuchen Jin 用讽刺时间线浓缩 AI 数学能力三年狂飙
从 IMO 金牌到「证明 ETH 为假」:一条讽刺时间线浓缩 AI 数学狂飙三年
AI 导读
Yuchen Jin 用半开玩笑的时间线概括 AI 数学能力三年跃迁：从 GPT-4 勉强处理小学数学、2024 年 IMO 银牌，到 2025 年 IMO 金牌。延伸线索包括 2026 年 5 月解决 Erdős 单位距离猜想、9 月解决纳维-斯托克斯千禧年大奖问题、10 月产出 722 篇 AI 写的数学论文，最终以「OpenAI 证明 ETH 为假」和「明天 P=NP?」夸张收尾。
来源：AGI Hunt · agihunt.info