陶哲轩撰文解析 Navier-Stokes 有限时间爆破新进展,提及 OpenAI

Singularitarian · x · 2026-09-08

陶哲轩在博客撰文介绍 Alpöge 与 Buckmaster 围绕不可压三维 Navier-Stokes 方程整体正则性问题的最新突破。他们在 Córdoba 与 Martínez-Zoroa 工作基础上改进方法,已在三个更简单的模型方程(不可压多孔介质方程、二维 Boussinesq 方程、三维不可压 Euler 方程)上实现了光滑外力项下的有限时间爆破,且很有希望推广到 Navier-Stokes 本身,甚至去掉外力项。学界普遍预期不久的将来可完全解决光滑初值构造奇点的问题。该工作还已在 Lean 中完成形式化验证。转发者 EMostaque 称 OpenAI 用同一思路已有完整解法(未证实)。

所属事件:陶哲轩解析流体方程有限时间爆破突破并已 Lean 形式化(6 条相关)→

原文链接 →

「漫话AGI」频道最新

更多「漫话AGI」频道 AI 资讯 →