传闻称OpenAI距离验证「霍奇猜想」已经非常接近，AI或再攻克两大千禧难题

霍奇猜想若属实，OpenAI 在一个月内将触及三个千禧年难题——9 月 9 日刚公开 Navier-Stokes 证明，动用了仍在训练、强于 GPT-6 Astra 的内部模型，约 1 万个 Agent 协同 88 小时找到解法，再用 Astra 花 17 小时完成 Lean 验证。加上 5 月单位距离猜想的独立突破，这条曲线不是单点事件。

值得注意的不是传闻本身，而是解法路径：通用推理模型＋大规模 Agent 并行＋Lean 机器验证，这套组合正从流体力学迁移到代数几何。另一边，Anthropic 在 5 月已携 Claude 与 Codex 推进流体力学难题，与 OpenAI 的抢发争议暴露了 AI 数学成果的署名与优先权仍无行业规则。

真正的第二落点在于验证成本：Navier-Stokes 从解题到 Lean 验证耗去 17 小时，若霍奇猜想成立，验证周期只会更长，数学界的审查节奏未必跟得上 Agent 的产出节奏。