Axiom AI完成有限单群分类定理形式化
发生了什么
据新智元报道，初创团队Axiom研发的多智能体系统在24天内完成了对有限单群分类定理（CFSG）的形式化验证。该项目构建了超4000万行的Lean代码库，规模超过Linux内核等开源项目，成为史上最大的开源软件项目。此外，该AI系统在验证过程中识别并修复了原证明中的漏洞，并证明了新的数学定理以完成补全。
报道与来源
1 篇发布方数量不等于独立核验数量。同稿的多个入口保留在对应报道中。
- 虎嗅来源报道
AI补全人类史上最大数学证明，数学家当场泪崩
来源关系与证据边界
按已记录的来源角色展示；连线仅表示原生身份流程确认的同稿入口，不表示独立佐证或跨报道引用。
- 来源报道1 个发布入口