TechCrunch · AI· Aditya Mehta·· 5 天前AI 评分58
AxiomMath 完成 Stacks Project 形式化验证，将 7654 页数学转为 1600 万行 Lean 代码
Axiom Math wants to keep AI slop out of mathematics
AI 导读
估值 16 亿美元的 AxiomMath 宣布已正式验证 Stacks Project，其 AI 智能体团队把这一约 7654 页的数学文献翻译成约 1600 万行经 Lean 证明助手逐行检查的代码。
来源：TechCrunch · AI · techcrunch.com