Yuchen Jin· @Yuchenj_UW · X·· 3 小时前AI 评分15
AI 导读
2023: GPT-4 几乎解决了小学数学 2024: IMO 银牌 2025: IMO 金牌 2026年5月: 埃尔德什单位距离猜想 2026年9月: 纳维-斯托克斯千禧年大奖难题被解决 2026年10月: 722 篇 AI 撰写的数学手稿 今天: OpenAI 证明连续统假设（ETH）不成立 明天: P = NP?
正文 · 原文
2023: GPT-4 almost solved grade-school math
2024: IMO silver
2025: IMO gold
2026 May: Erdős unit-distance conjecture
2026 Sep: Navier–Stokes Millennium Prize Problem solved
2026 Oct: 722 AI-written math manuscripts
Today: OpenAI proves ETH is false
Tomorrow: P = NP?
来源：Yuchen Jin · x.com