公众号 · 新智元·· 4 小时前同新闻AI 评分80
Axiom多智能体系统24天形式化验证有限单群分类定理
重磅！AI补全人类史上最大数学证明，数学家当场泪崩
AI 导读
初创团队Axiom用多智能体系统AxiomProver在24天内将有限单群分类定理（CFSG）的15000页证明形式化为Lean代码，产出4310万行代码库。
同一新闻，精选展示《Axiom 用几十个 AI agent 花 24 天把有限单群分类定理证明转成 Lean 代码，查出中间论文证法漏洞并补上新证法》
来源：公众号 · 新智元 · mp.weixin.qq.com