带外力条件下的 Navier–Stokes 有限时间爆破证明

Finite time blowup for Navier–Stokes

OpenAI 公布分析证明与 Lean 形式化材料。阅读时需要核对外力假设、定理范围及研究过程争议；本期未独立复核证明。

首次公开：2026-09-08 · 收录：2026-09-09

相关期次：2026-09-09 精选

阅读笔记

OpenAI公布了带光滑外力的三维不可压缩Navier–Stokes有限时间爆破证明材料及Lean形式化。此处primary_verified指已阅读一手论文与声明，不代表独立证明数学正确性。

入选理由：研究材料和大规模Agent协作过程具有重要性，编辑重要度9.5/10。需分开检查定理假设、形式化推导，以及研究过程与贡献归属。未运行完整Lean构建，也未独立复核166页证明。

对读材料：https://cims.nyu.edu/~tristanb/statement.pdf
代码：https://github.com/openai/NavierStokesAndEuler
本期资料：https://www.asteronline.cn/juju-radar/2026-09-09/
AI辅助整理。

笔记记录收录当期的判断。阅读一手材料不等于独立复现；后续进展请以原始来源为准。