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 中验证。原文较技术化，建议配合论文助手阅读。
「漫话AGI」频道最新
- Replit CEO 访谈：被 YC 拒四次、伦敦设点与“AI 精神病” — amasad · 2026-09-11
- 前沿公司新话术引热议：「AI 将让所有人富有、健康、自由」 — MxMnr · 2026-09-11
- 转发分享某 AI 公司「Our convictions」信念宣言 — MxMnr · 2026-09-11
- Replit CEO 附和 Sacks：AI 灭绝风险被夸大成 AI 精神病 — amasad · 2026-09-11
- 研究者建议：先学冷门学科，AI 时代的稀缺背景是新护城河 — begusgasper · 2026-09-11
- OpenAI/Anthropic 预训练研究员辞职:两实验室都在豪赌超级智能 — nabla_theta · 2026-09-11