AITNT · AI头条（网页）·2026-11-01 10:19· 2 日前厳選AI スコア79

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

重磅！AI补全人类史上最大数学证明，数学家当场泪崩

未翻訳のため中国語で表示しています。

AI ガイド

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

推薦理由

展示了多智能体系统在形式化数学中的实际工程与定理修补能力，读者可了解大规模证明验证的协作范式。