// AI 新闻 · 2026-11-06 · TechCrunch AI
Axiom Math正式验证Stacks项目数学库
Axiom Math在2025年3月宣布，已正式验证了数学领域最大的开源项目之一Stacks Project，该项目包含约7654页内容，被转化为1600万行可验证的Lean代码。该团队通过AI代理将数学证明转化为程序代码，并由证明助手逐行检查逻辑一致性，确保理论体系不矛盾、无悖论。
原文发布 2026-11-06 00:16（北京时间）来源 TechCrunch AI自动整理 · 已核对原文
01摘要
这一验证覆盖了从基础代数到代数几何等高级领域的相互关联定理，其结构类似家族谱系，依赖前序结果。Axiom Math的AI系统未采用严格层级控制，而是允许代理自主识别任务并并行处理，从而保持数学结构的完整性和动态性。项目负责人Carina Hong表示，团队在斯坦福数学博士项目后创办公司，已获2亿美元A轮融资，致力于建立可信赖的数学基础以支持未来AI生成软件与科学推理。
由开源模型根据原文自动整理，经数字/专名逐项核对（必须在原文中出现），以原文为准。
02要点
- Axiom Math正式验证了包含7654页内容的Stacks Project，转化为约1600万行Lean代码。
- AI代理通过自主任务分配并行处理，保持数学定理间的逻辑一致性与结构完整性。
- 该项目填补了代数几何领域在形式化证明中的空白，为后续研究提供可信赖基础。
- Axiom认为数学验证是构建可信AI软件的基础，具备跨领域应用潜力。
03原文出处
Axiom Math wants to keep AI slop out of mathematics
TechCrunch AI · 发布于 2026-11-06 00:16（北京时间） · 上方为原标题
05相关新闻
出自智图 AI 新闻：从 1100 多个官方与媒体信源采集。摘要只转述原文内容，详情请看原文。 2026-11-06 全部新闻 · 按日期归档 · 全部 AI 新闻 · 今日