陶哲轩撰文解析 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」频道最新
- 吐槽 SF AI 实验室年轻高薪工程师:「以为自己是新贵阶级、永生上傳意识」 — ludwigABAP · 2026-09-08
- 「AI 已解决自然科学,哲学生的春天要来了」:就业冲击的半开玩笑讨论 — felpix_ · 2026-09-08
- 一句话点破 AI 设计本质:「用 AI 做出好设计」≠「AI 做出好设计」 — oykun · 2026-09-08
- OpenAI 前安全研究员:众多善意员工对领导层屡次不坦诚视而不见 — JMannhart · 2026-09-08
- 从 IMO 金牌到冲击千禧年难题,AI 进展引发 2027 之问 — imadade · 2026-09-08
- Linus Ekenstam:教孩子用 AI 独立思考,别再追「抗自动化」职业 — LinusEkenstam · 2026-09-08