Terry Tao 撰文评 Buckmaster 团队构造流体方程爆破解
LucaAmb · x · 2026-09-08
Terry Tao 在博客中撰文讨论 Tristan Buckmaster 与 Levent Alpöge 对流体流动方程爆破解(blow-up solutions)的构造工作,这一进展与 Navier-Stokes 千禧难题的研究路线相关。
所属事件:陶哲轩评流体方程爆破新突破,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