数学家仍在啃 OpenAI 160 页纳维-斯托克斯证明，Claude Fable 5.5 生成 8 步 3D 讲解视频

OpenAI 的纳维-斯托克斯方程证明发布一个月后，数学家们仍在消化这份 160 多页的证明。有作者让 Claude Fable 5.5 对其进行讲解，生成一个 5 分钟的 3D 视频，把证明拆成 8 个步骤呈现。该证明已通过 Lean 形式化验证，但尚未完全经人类复核，且需要一个外部约束力条件。