AITNT · AI头条（网页）·· 2 days agoSelectedAI score79
Axiom 多智能体系统形式化验证有限单群分类定理，修补 1.5 万页证明漏洞
重磅！AI补全人类史上最大数学证明，数学家当场泪崩
Not yet translated; shown in Chinese.
AI guide
初创团队 Axiom 研发的多智能体系统 AxiomProver 在 24 天内完成有限单群分类定理（CFSG）的形式化验证，生成超过 4310 万行 Lean 代码。
Why it matters
展示了多智能体系统在形式化数学中的实际工程与定理修补能力，读者可了解大规模证明验证的协作范式。
Source:AITNT · AI头条（网页） · aitntnews.com