Axiom 宣布利用 AI 智能体完成对 Stacks Project 的形式化验证

初创公司 Axiom 宣布使用其 AI 智能体团队，将数学参考库 Stacks Project 的约 7654 页内容转化为约 1600 万行经计算机检查的 Lean 代码。该公司希望通过构建经过形式化验证的数学基础，为未来 AI 智能体编写软件和进行科学研究提供可靠支撑。