数学家 Tristan Buckmaster 和 Levent Alpöge 借助 Claude、Codex 等模型公布三项流体方程结果，包括三维不可压 Euler 方程光滑外力下的有限时间爆破，并用 Lean 做了形式化验证。