RecodeX 重构消息，Axiom的AI智能体集群用24天完成了数学史上最长证明的机器验证，将跨越500多篇论文、约15000页的有限单群分类定理（CFSG）转化为超过3800万行机器验证代码，并在已发表记录中发现34处严重出入。相关数据显示，Axiom CFSG代码量已达4300万行，约每37天翻倍，该形式化证明可能成为规模最大的开源项目之一。