openai/NavierStokesAndEuler

收录：2026-09-09

9 月 8 日，OpenAI 发布了 Navier–Stokes 方程的分析证明及 Lean 形式化材料。问题可以粗略理解为：描述流体运动的方程，会不会从平滑状态出发，在有限时间内出现速度无限增大的情形？这次公布的构造针对带有光滑外力的三维不可压缩流体。外力条件是理解结论的关键，不能省去以后，把它泛化成所有流体问题都已解决。证明论文

仓库状态可能随时间变化，开放范围与使用条件请查看项目自身的许可证和说明。