AI数学能力演进时间线调侃
💡 灵机 AI 深度洞见与核心提炼
2023：GPT-4 几乎解决了小学水平的数学
2024：IMO 银牌
2025：IMO 金牌
2026 年 5 月：Erdős 单位距离猜想
2026 年 9 月：纳维-斯托克斯千禧年大奖难题被解决
2026 年 10 月：722 篇 AI 撰写的数学手稿
今天：OpenAI 证明 ETH 为假
明天：P = NP？
信源媒体：X：Yuchen Jin (@Yuchenj_UW)
访问出处网页 ↗