Axiom用AI智能体形式化有限单群分类证明

事件综述根据 1 篇报道整理，10月28日更新

Axiom 发布开源 GitHub 仓库，称数十个 AI 智能体在 24 天内把约 1.5 万页的有限单群分类（CFSG）证明转写成约 4300 万行 Lean 代码。 这是 Axiom 对外公布的说法，报道未提供代码是否通过 Lean 校验、证明是否完整等验证信息。

综述由模型根据报道生成，细节以各篇原文为准。