TechCrunch· Aditya Mehta·· 3 小时前AI 评分60
Axiom Math 完成 Stacks Project 形式化验证，约 7654 页数学译为约 1600 万行 Lean 代码
Axiom Math wants to keep AI slop out of mathematics
AI 导读
AxiomMath 宣布完成对 Stacks Project 的形式化验证，将其约 7654 页内容转换为约 1600 万行经计算机逐行检查的 Lean 代码。
来源：TechCrunch · techcrunch.com