RecodeX 重构消息，有报道称，AI在24天内完成了对有限单群分类定理约1.5万页内容的形式化验证，并在验证过程中发现并修补了人类原始证明中的漏洞。有限单群分类定理是数学史上篇幅最庞大的证明之一，其形式化验证长期被视为极具挑战性的工作。