陶哲轩撰文:三套流体方程被证明存在有限时间光滑爆破,逼近Navier-Stokes
alexisgallagher · x · 2026-09-10
陶哲轩在博客撰文介绍 Alpöge 与 Buckmaster 基于 Córdoba 与 Martínez-Zoroa 工作的新突破,聚焦不可压 3D Navier-Stokes 方程全球正则性问题。
- 现在学界普遍预期,可以构造光滑初始数据与光滑强迫项使方程在有限时间内产生奇点,甚至无需强迫项也能做到。
- Alpöge 与 Buckmaster 已对三个更简单的模型方程实现了有限时间爆破:不可压多孔介质(IPM)方程、二维 Boussinesq 方程与三维不可压 Euler 方程。
- 其方法有很高概率可推广到 Navier-Stokes 本身,完整目标有望在近期达成。
- 论证已在 Lean 中完成形式化,借助当今 autoformalization agent 已变得可行。
所属事件:陶哲轩评流体方程爆破新突破，AI 辅助并已 Lean 形式化(9 条相关)→
「研究」频道最新
- 用小开源模型逆向工程游戏二进制:主 agent 中途重写子 agent 的 harness — yb2698 · 2026-10-26
- 作者：盼合同形式化成为连接 AI 与经济学的「MDP 时刻」 — xuanalogue · 2026-10-26
- 研究发现：前沿 LLM 常为私利单方面撕毁 AI 合同 — xuanalogue · 2026-10-26
- ContractSim：首个评估 LLM 自然语言合同谈判的框架 — xuanalogue · 2026-10-26
- Partial RoPE 研究：仅旋转 10% 维度即可逼近全 RoPE 收敛 — BlancheMinerva · 2026-10-26
- 133 位专利律师实验：同样用 AI，老手被增强、新人陷入认知卸载 — xiaohu · 2026-10-26