网友用Claude将OpenAI自由群因子证明转成3D动画

2026年10月7日，AGI Hunt 报道，OpenAI 就自由群因子问题（factor problem）发布了一份新的 23 页证明。该证明称 L(F2) 与 L(F3) 属于同一种代数结构，即这一悬置超过半个世纪的问题有了答案，证明还附带了 Lean 形式化证明。随后有网友用 Claude 的 Fable 5.5 将这份证明转化成一段 2 分钟的 3D 动画讲解，把艰深的数学论文变成可视化的说明。报道认为，这件事同时展示了两点：一方面是该数学结论本身的意义，另一方面是模型把高难度数学论文转化为可视化讲解的可行性。目前已知的进展是这段 2 分钟 3D 动画已经生成，报道未提及该证明在数学界是否已获独立验证，也未说明动画的具体传播与反响。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。