悬置 90 年的 Navier-Stokes 平滑性问题被 OpenAI 并行 agent 攻克
r0ck3t23 · x · 2026-09-10
一条深度长帖梳理 OpenAI 用 AI 攻克千禧年难题的来龙去脉：
- 问题：1934 年 Leray 证明 Navier-Stokes 方程弱解存在，但解是否保持光滑悬置 90 年，2000 年被 Clay 研究所列为百万美元千禧年难题。
- 突破：OpenAI 用号称强于 GPT-6 Astra 的内部模型并行跑了约 10,000 个 agent（88 小时），构造出光滑流体在光滑外力下于有限时间出现奇点的反例——某点速度无限而总能量全程有限。随后用 Astra 花 17 小时将证明形式化进 Lean，由 Lean 作为独立验证器。这对应 Clay 官方表述中的 C、D 陈述（含强迫项版本）。
- 争议：Anthropic 的 Levent Alpöge 与 NYU 的 Tristan Buckmaster 早已用 Claude 和 Codex 研究带强迫的 Euler 情形；OpenAI 否认见过他们的工作，但承认无法排除其产品使用数据（去标识后）帮助改进了模型——被抢先的人可能训练出了抢走自己成果的模型。陶哲轩此前批评 AI 的滥用是「生产配额游戏」。
- 观点：作者的判断是——验证已不再稀缺，稀缺变成了出处（provenance）；算力可以瞄准任何开放问题，围绕「稀缺天才」建立的资助、声望、教职体系还没意识到瓶颈已经转移。
所属事件:OpenAI 万个 Agent 88 小时宣称破解 Navier-Stokes 难题(13 条相关)→
「模型」频道最新
- 网友发现 Claude 疑似上线专用翻译界面 — BLCNYY · 2026-10-26
- 用户实测 GrokBot:订机票、网购全被拦,几乎办不成事 — lucasmeijer · 2026-10-26
- 售卖机基准新观察：Sol 5.6 被指最激进、最常违约 — xuanalogue · 2026-10-26
- 爆料称 Fable 5.5 每周将发，博主泼冷水：本月无前沿新模型 — patience_cave · 2026-10-26
- 实测 abliterated 去审查模型翻车:模型反而关心起我的心理健康 — ryunuck · 2026-10-26
- OpenAI Decisions API 升级：单次可处理 400 个问题并新增语音与图像能力 — OpenAIDevs · 2026-10-26