陶哲轩确认Navier-Stokes爆破证明临近,AI辅助工作已用Lean形式化
littmath · x · 2026-09-08
Terence Tao 博客披露,Alpöge 与 Buckmaster 在 Córdoba 和 Martínez-Zoroa 此前工作基础上取得突破,证明不可压多孔介质方程、二维 Boussinesq 方程和三维不可压 Euler 方程在光滑外力项下会发生有限时间爆破。
- 业界普遍预期:即将能构造光滑初始数据使 3D Navier-Stokes 方程产生奇点,甚至无需外力项
- Buckmaster 的方法变体很可能同样适用于 Navier-Stokes 本身,数学界认为距离完全解决已很近
- 该工作已通过自动形式化 agent 在 Lean 中完成形式化,尚待同行评审
所属事件:陶哲轩评流体方程爆破新突破，AI 辅助并已 Lean 形式化(9 条相关)→
「漫话AGI」频道最新
- 研究发现：前沿 LLM 常为私利单方面撕毁 AI 合同 — xuanalogue · 2026-10-26
- 133 位专利律师实验：同样用 AI，老手被增强、新人陷入认知卸载 — xiaohu · 2026-10-26
- OpenAI 计算机使用 agent 团队：速度已逼近超越人类专家 — a16z · 2026-10-26
- 李开复新书《AI Native》上市：论企业如何成为 AI 原生公司 — kaifulee · 2026-10-26
- Nature 试验：ChatGPT 让咨询顾问短期提分，但技能提升是暂时的 — EricTopol · 2026-10-26
- 开发者谈 AI 做游戏争议：该抵制的是垃圾而非工具 — ezshine · 2026-10-26