OpenAI 构造湍流解证明 Navier-Stokes 有限时间爆破，GPT-6 辅以 Lean 验证
burny_tech · x · 2026-09-11
aixiv 转述 OpenAI 新论文：针对千禧年七大数学难题之一的 Navier-Stokes 方程「有限时间爆破」问题（光滑 3D 流是否会在有限时间内发展出无穷速度），作者构造了一个不断加速旋转并向极小区域坍缩的涡旋，在总动能保持有界的前提下使速度爆破。
核心技术手段：向流场中加入微小的振荡流，从涡旋剪切中提取能量，抵消维持坍缩所需的奇性外力，从而外部作用力保持光滑。
另一亮点：该证明由一个未发布的、超越 GPT-6 Astra 的 OpenAI 模型生成，而 GPT-6 Astra 负责将其形式化并在 Lean 中验证。原文较技术化，建议配合论文助手阅读。
所属事件:OpenAI 宣称攻克 Navier-Stokes，另一千禧难题亦有进展(21 条相关)→
「漫话AGI」频道最新
- 马斯克断言:机器人 RAM 需求将超其他一切,超级智能算力将移向深空 — elonmusk · 2026-10-27
- Anthropic 上市文件警告 AI 冲击就业，微软同周推自愿离职计划 — _jaydeepkarale · 2026-10-27
- eigenrobot 感叹:人类「取代基督教」尝试了两百年,一次比一次失败 — eigenrobot · 2026-10-27
- Replit CEO 长文：Agent 将催生「自动驾驶公司」,2030 每家公司都自驱动 — amasad · 2026-10-27
- 美参议员炮轰 AI 行业：50 人死亡才算灾难性事故？ — peterwildeford · 2026-10-27
- Replit CEO 称 AI 让软件事实上开源，Aakash Gupta 复盘还剩哪些护城河 — aakashgupta · 2026-10-27