OpenAI发布纳维-斯托克斯问题的AI生成证明(10,000)

纳维-斯托克斯方程与OpenAI的新进展

纳维-斯托克斯方程描述粘性流体的运动：∂ₜu + (u·∇)u = −∇p + νΔu，∇·u = 0。著名的纳维-斯托克斯存在性与光滑性问题要问的是：三维空间中每个光滑初始条件是否对所有时间都保持光滑，还是会发展出有限时间奇点。

OpenAI 现在公布了一份 AI 生成的证明，宣称光滑解确实可以在有限时间内发展出奇点。据报道，其系统使用了约 10000 个 AI 智能体并行工作，得到的论证已在 Lean 中完成形式化验证。

不过，这个数学研究故事中重要的一部分，早在本次公布之前就存在了。Diego Córdoba 和 Luis Martínez-Zoroa 的爆破计划，包括他们与范政（音译：Fan Zheng）合作的工作，已经为相关的带力/低耗散纳维-斯托克斯模型建立了关键的有限时间爆破结果。

因此，本次最新进展应该放在这个更宏大的数学研究计划的背景下来看：Córdoba 和 Martínez-Zoroa 发展出了通往爆破路径的核心思想，而 OpenAI 宣称他们将这些思想推进到了经典三维纳维-斯托克斯问题。

如果该结论得到独立验证，这将是一项历史性突破——不仅对流体动力学而言如此，对 AI 辅助数学发现来说也是如此。

Diego Córdoba 和 Luis Martínez-Zoroa 的基础性爆破计划是这项工作的重要先驱。