TY  - RPRT
TI  - Finite time blowup for Navier–Stokes
UR  - https://openai.com/index/navier-stokes-solution/
DA  - 2026-09-08
AU  - OpenAI
KW  - AI科研
KW  - 数学
KW  - 待阅读
N1  - 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辅助整理。
ER  -