Axiom Math 完成 Stacks Project 形式化验证，用 AI 智能体防止数学领域出现 AI 垃圾内容

Axiom Math 宣布已对 Stacks Project 完成形式化验证，用 AI 智能体将约 7,654 页数学内容翻译成约 1,600 万行经计算机校验的 Lean 代码。这家估值 16 亿美元的公司在 2025 年 3 月完成由 Menlo Ventures 领投的 2 亿美元 A 轮融资，CEO Carina Hong 称目标是让智能体在可复用、可验证的知识基础上构建软件与科学。