Axiom Math 完成 Stacks Project 形式化验证，旨在为 AI 智能体构建可靠数学基础

Axiom Math 宣布正式验证了 Stacks Project，这是由人类撰写的最庞大数学文献之一。该公司利用 AI 智能体将约 7,654 页的数学内容转化为约 1,600 万行经计算机检查的 Lean 代码，填补了代数几何形式化的空白。Axiom 认为，这种经过验证的数学基础能让 AI 智能体在编写软件和进行科学研究时避免产生低质量内容，并挑战其他编码公司在同等规模上开展形式化工作。