Rohan Paul· @rohanpaul_ai · X·· 2 小时前精选AI 评分87
AI 导读
Axiom 的 AI 智能体集群在 24 天内完成了有限单群分类定理的机器验证，将 500 多篇论文中的 1.5 万页内容转化为 3800 多万行机器验证代码，并发现了已发布文献中的 34 处严重不一致。该工作展示了智能体集群在处理长达数十年的复杂数学证明上的进展。
推荐理由
原文给出了 Axiom 智能体集群在 24 天内完成有限单群分类定理机器验证的进展，读者可以据此了解智能体在处理超大规模数学形式化验证上的进展。
正文 · 原文
Verified AI just had its greatest month.
A swarm of AI agents just did what no mathematician could do alone: check every step of the longest proof in history.
For 40+ years, mathematicians have built on the Classification of Finite Simple Groups without anyone being able to check it alone.
Axiom’s AI agent swarm just did it in 24 days, turned 15,000 pages across 500+ papers into 38M+ lines of machine-verified code. And it also uncovered 34 serious discrepancies in the published record.
来源：Rohan Paul · x.com