Rohan Paul

经过验证的人工智能刚刚度过了最辉煌的一个月。 一群人工智能代理完成了数学家单独无法完成的事情：检查历史上最长证明的每一步。 40 多年来，数学家们一直在建立有限简单群的分类，但没有人能够单独检查它。 Axiom 的 AI 代理群仅用了 24 天就完成了这一任务，将 500 多篇论文的 15,000 页变成了 3800 万多行机器验证的代码。它还发现了已发布记录中的 34 个严重差异。