AI 半年跃迁：从 IMO 金牌到冲击千禧年难题

AI 数学能力在不到一年内从奥赛金牌水平跃升到据称攻克千禧年大奖难题级别的未解问题，引发社区对「数学奇点」与 2027 年前景的集中讨论。多名博主以时间线方式复盘这一加速曲线，泡沫论者受到嘲讽，OpenAI 研究员则坦言既兴奋又恐惧。

已确认

• 据 @FlorianGallwitz（转发）所述，MIT 春季学期开始时 AI 还无法有意义地解决开放数学问题，到秋季学期 AI 已据称解决了千禧年大奖难题中的纳维-斯托克斯问题。
• @scaling01 给出能力时间线：2024 年 5 月 GPT-4o 在 AIME 2024 得分不足 10%；同年 12 月 o3-preview 将其刷爆；2025 年 7 月 Gemini DeepThink 拿下 IMO。
• 一位 OpenAI 相关研究员在模型求解纳维-斯托克斯难题后发文（@mobav0 转述），认为关键故事是 AI 能力的飞速进步：今天的模型已能触及数学最高峰，并追问两年后能做到什么。

各方观点

• @imadade 认为即便最强的怀疑论者也很难再说这只是「随机鹦鹉」，AI 推理能力已实质提升，并追问 2026 年剩余时间和 2027 年会是什么样子。
• @sahandsharif（转发）以反话讽刺 AI 泡沫论：十二个月前 AI 还在攻克奥赛题，如今已直指千禧年难题。
• @FlorianGallwitz 认为这种变化速度足以配得上「数学奇点」的称号。
• 该 OpenAI 研究员表示自己既兴奋又恐惧，关注未来模型能加速多少科学进展以及社会影响。

尚未确认

• 「AI 解决纳维-斯托克斯问题」多处表述均为「据称」，帖内未提供论文或第三方验证细节。

为什么重要

• 若进展属实，AI 将从竞赛级解题跨入开放性数学研究，可能大幅加速科学发现，也带来对研究范式与社会影响的紧迫追问。

2026-09-08 ~ 2026-09-09 · 5 条相关

事件全程(共 15 集)→

• 第 1 集:陶哲轩提议将部分数学开放问题划为 AI 禁区(2026-09-03,2 条)
• 第 2 集:传Claude攻克纳维-斯托克斯难题，陶哲轩发文回应(2026-09-05,9 条)
• 第 3 集:传 Anthropic 已用 Claude 攻克纳维-斯托克斯千年难题(2026-09-06,2 条)
• 第 4 集:陶哲轩批闭源实验室证定理是病毒式营销(2026-09-06,2 条)
• 第 5 集:陶哲轩澄清纳维-斯托克斯传闻：Claude解题系误读(2026-09-06,2 条)
• 第 6 集:AI 证明 ζ(5)(3) 引爆数学圈「谁算研究」大论战(2026-09-07,17 条)
• 第 7 集:数学家指 OpenAI Astra 数学成果涉研究不端(2026-09-07,2 条)
• 第 8 集:陶哲轩再谈 AI 引热议,Gary Marcus 称「火热」(2026-09-08,2 条)
• 第 9 集:传 Anthropic 的 Claude 解开纳维-斯托克斯千禧年难题(2026-09-08,3 条)
• 第 10 集:OpenAI 宣称破解纳维-斯托克斯千禧难题，深陷署名争议(2026-09-08,155 条)
• 第 11 集:陶哲轩评流体方程爆破新突破，AI 辅助证明已 Lean 形式化(2026-09-08,8 条)
• 第 12 集:数学界感慨：前沿 AI 实验室本可联手形式化解决 Navier-Stokes(2026-09-08,2 条)
• 第 13 集:AI 半年跃迁：从 IMO 金牌到冲击千禧年难题(2026-09-08,5 条)
• 第 14 集:OpenAI宣称破解纳维-斯托克斯难题引爆社区热议(2026-09-09,33 条)
• 第 15 集:万级智能体集群攻难题，网友推演 AI 加速科研(2026-09-09,3 条)

• 【源头】从 IMO 金牌到冲击千禧年难题，AI 进展引发 2027 之问 — imadade · 2026-09-08
• 【源头】OpenAI 研究员：AI 解千禧年难题后，两年内还能走多远 — mobav0 · 2026-09-09
• 从奥数到千禧年大奖难题只用了12个月，泡沫论者被打脸 — sahandsharif · 2026-09-09
• 【源头】从 AIME 不足 10% 到千年数学难题：一张推演 AI 加速的时间线 — scaling01 · 2026-09-09
• MIT 春季到秋季:AI 从解不出开放题到拿下千禧年难题 — FlorianGallwitz · 2026-09-09