Axiom Math 利用 AI 智能体完成 Stacks Project 形式化验证

Axiom Math 宣布利用 AI 智能体完成了 Stacks Project 的形式化验证，将约 7,654 页数学内容转化为约 1,600 万行 Lean 代码。该公司旨在通过构建经过验证的数学基础，为 AI 智能体编写软件和开展科学研究提供可靠支撑。