Axiom 发布开源 GitHub 仓库，数十个 AI 智能体用 24 天把约 15000 页的有限单群分类定理（CFSG）数学证明转成约 4300 万行代码，该证明原本由 100 位数学家耗时数十年完成。代码用 Lean 编写，每一步可被机器验证，无需重读数百篇论文。

Axiom 的图表显示 AI 编写的 Lean 项目自 2025 年中以来大约每 37 天规模翻倍。