OpenAI 公布纳维-斯托克斯奇点证明细节

OpenAI 补充披露其求解纳维-斯托克斯方程的技术细节：团队给出解析证明并用 Lean 完成形式化验证，证明流体在 Navier-Stokes 动力学下可在有限时间内形成奇点。核心构造是一种沿轴拉伸同时向内螺旋收缩的漩涡，形似不断拉长的意大利面，其速度发散而动能保持有限。

2026-09-09 ~ 2026-09-09 · 2 条相关

• OpenAI 公开证明细节：流体将演化成螺旋拉长的漩涡奇点 — OpenAI · 2026-09-09
• 证明核心构造曝光:漩涡螺旋收缩拉长,速度发散而动能有限,已过 Lean 验证 — Dr_Singularity · 2026-09-09