TechCrunch · AI· Aditya Mehta·· 3 天前AI 评分66
Axiom Math 宣布用约 1600 万行 Lean 代码完成 Stacks Project 形式化验证
Axiom Math wants to keep AI slop out of mathematics
AI 导读
Axiom Math 周三宣布完成对 Stacks Project 的形式化验证，将这份约 7654 页的开源数学文献转成约 1600 万行经证明助手逐行校验的 Lean 代码。
来源：TechCrunch · AI · techcrunch.com