流体正则性问题进展神速:Tao 称光滑解证明或已可行
basedjensen · x · 2026-09-08
AI/数学圈观察者汇总过去几天的流体方程正则性研究进展,称这一领域正在「异常快速」地推进:
- Alpöge/Buckmaster 的 smooth-forced Euler(光滑强迫项)结果
- 另一团队独立提出了 unforced Euler 的候选奇点结果
- 计算机辅助证明/Lean 形式化基础设施已经就位
- Terence Tao 公开表示 smooth-forced Navier-Stokes 乃至 unforced 情形的结果现在看起来是可行的
这与 PINN 发现 3D Euler 稳定奇点的工作同属这波流体正则性突破浪潮。
所属事件:陶哲轩评流体方程爆破新突破，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