前因：千禧年七大难题之一、悬置约 90 年；此前 AI 数学已走到 IMO 金牌（S23 retro 线：AlphaProof 银牌→AlphaFold 诺奖→Gemini IMO 金牌）。增量：9/8 OpenAI 宣布内部下一代模型（据报道强于 GPT-6 Astra）由约 1 万个智能体协作 88 小时生成「初始光滑流体可在有限时间形成奇点（blow-up）」证明，GPT-6 Astra 用 17 小时完成 Lean 形式化验证；声明不申领 100 万美元奖金，估算算力成本 1500 万-2250 万美元。

同日 NYU Buckmaster 与 Anthropic 数学家 Alpöge 公布三项独立 blowup 结果，指控 OpenAI 不正当竞争（己方进度泄露、对方以算力沿同路线猛追）；Bubeck 否认、Altman 回应，各执一词；同期 Claude 用 11 天完成费马大定理形式化。

影响链：机器证明的可验证性（Lean）首次跑到同行评议前面；署名权、评审规则、算力公平进入学术组织议程；Noam Brown 称成本会快速下降——若成立，基础数学产能曲线被改写。