AxiomMath 完成 Stacks Project 的形式化验证

AxiomMath 已将约 7,654 页的 Stacks Project 转化为约 16 million 行经计算机检查的 Lean 代码，正式验证了这一大型数学文献库。项目由 AI 智能体并行选择任务，并结合 AxiomMath 自训数学模型与人类专家指导完成。公司希望把这些可复用、可验证的数学成果作为 AI 智能体编写软件和开展科学研究的基础。