Claude 生成 2 分钟 3D 动画讲解 OpenAI 自由群因子问题证明

Claude 的 Fable 5.5 把 OpenAI 关于自由群因子问题（factor problem）的新 23 页证明，生成了一段 2 分钟的 3D 动画讲解。该证明称 L(F2) 与 L(F3) 属于同一种代数结构，悬置超过半个世纪的问题有了答案，并附带 Lean 形式化证明。这也展示了用模型把艰深数学论文转化为可视化讲解的可能。