Alpöge 与 Buckmaster 在 AI 辅助下构造 3D Euler 光滑外力有限时间 blowup，并用 Lean 形式化

NYU Courant 介绍 Tristan Buckmaster 与 Levent Alpöge 的结果：他们构造了从光滑有限能量数据出发、受时空光滑外力驱动并在有限时间失去正则性的三维不可压 Euler 解；相关工作使用 Claude、Codex 等 AI 工具辅助，并将结果形式化、由 Lean 检查。该结果不同于 OpenAI 同期公布的 Navier–Stokes 主张。