TechCrunch · AI· Aditya Mehta·· 1 天前AI 评分62
Axiom Math 完成 Stacks Project 形式化验证，约 7654 页数学转为 1600 万行 Lean 代码
Axiom Math wants to keep AI slop out of mathematics
AI 导读
Axiom Math 宣布已对 Stacks Project 完成形式化验证，用 AI 智能体把这部约 7654 页的数学文献翻译成约 1600 万行 Lean 代码，并保持定理与定义之间的依赖关系完整。
来源：TechCrunch · AI · techcrunch.com