Axiom 智能体集群用 24 天形式化验证有限单群分类证明
Verified AI just had its greatest month.
Axiom 的 AI 智能体集群用 24 天完成了有限单群分类（CFSG）证明的逐步验证，将 500 多篇论文、约 15000 页内容转成 3800 万行以上机器可验证代码，并发现已发表记录中 34 处严重不一致。该证明此前 40 多年无人能独自完整核验。
查看原帖CFSG 的正式证明如今或许已成为有史以来规模最大的开源项目之一。观看智能体们将其组装起来，让人想起其背后那令人敬畏的人类成就。这张图代表了数学家们数十年来发展出的约 15000 页错综复杂的论证。https://t.co/13THDKI50f
查看原文
The formal proof of CFSG may now be among the largest open-source projects ever. Watching agents assemble it is a reminder of the awe-inspiring human achievement behind it. The graph represents some 15,000 pages of intricate arguments developed by mathematicians over decades. https://t.co/13THDKI50f
正文 · AI 翻译
Verified AI 刚刚迎来了它最辉煌的一个月。
一群 AI 智能体刚刚完成了任何数学家都无法独自完成的工作：核验了历史上最长证明的每一个步骤。
40 多年来，数学家们一直在有限单群分类的基础上继续研究，却无人能够独自完成核验。
Axiom 的 AI 智能体集群仅用 24 天就完成了这项工作，将 500 多篇论文、约 15000 页内容转化为 3800 万行以上机器可验证代码。它还发现了已发表记录中 34 处严重不一致。