数十agent，24天挑战数学界巨型工程，还揪出40年前漏洞

AI公司Axiom Math组织数十个AI Agent，在24天内完成有限单群分类定理的Lean形式化，生成4310万行可验证代码，覆盖全部1.5万页人类证明，并发现近40年前文献中的实质性论证漏洞，同时构造出新群论结果‘Preservation of simple tops’。