X 用户称 Axiom 智能体集群 24 天完成 CFSG 机器验证

OmniTools 10月28日消息，X 用户 rohanpaul_ai 发帖称，Axiom 的 AI 智能体集群用 24 天完成了有限单群分类定理（CFSG）的机器验证。该说法称，CFSG 证明跨越 500 多篇论文、约 15000 页，被转化为超过 3800 万行机器验证代码，并在过程中发现已发表记录中的 34 处严重出入。

帖子引用内容还称，该形式化证明可能是最大的开源项目之一；配图显示 Axiom CFSG 达 43.0M 行，约每 37 天翻倍。上述信息来自社交平台帖文，尚待 Axiom 或独立来源进一步确认。