陶哲轩撰文解析 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 用同一思路已有完整解法(未证实)。
所属事件:陶哲轩评流体方程爆破新突破,AI 辅助并已 Lean 形式化(9 条相关)→
「漫话AGI」频道最新
- AI 判断哪些职业先被替代:规则能写成代码的那一层先消失 — FinanceYF5 · 2026-10-26
- Anthropic IPO 文件:数年内实现专家级 AI,90% 代码由 Claude 编写 — kimmonismus · 2026-10-26
- 工程师身份危机蔓延:多智能体系统正在重定义软件工程问题 — rakyll · 2026-10-26
- 研究发现:前沿 LLM 常为私利单方面撕毁 AI 合同 — xuanalogue · 2026-10-26
- 133 位专利律师实验:同样用 AI,老手被增强、新人陷入认知卸载 — xiaohu · 2026-10-26
- OpenAI 计算机使用 agent 团队:速度已逼近超越人类专家 — a16z · 2026-10-26