数学家 Buckmaster 借助 Claude 与 Codex 公布流体方程结果，并公开与 OpenAI 的沟通争议

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