AI Times Korea· 박찬 기자·· 3 小时前精选AI 评分88
Axiom 用 AI 智能体完成有限单群分类的机器验证
액시엄, 수학 사상 가장 긴 증명 '유한 단순군 분류' 기계 검증 완수
AI 导读
数学 AI 初创公司 Axiom 宣布用数十个 AI 智能体在 24 天内完成有限单群分类（CFSG）的完整机器验证，成果以 Lean 编写，代码达 4310 万行。
推荐理由
材料给出多智能体协作完成超大规模形式化验证的完整流程，可观察分工与验证瓶颈的处理方式。
来源：AI Times Korea · aitimes.com