Axiom 多智能体系统形式化验证有限单群分类定理，修补 1.5 万页证明漏洞

初创团队 Axiom 研发的多智能体系统 AxiomProver 在 24 天内完成有限单群分类定理（CFSG）的形式化验证，生成超过 4310 万行 Lean 代码。