TechCrunch AI· Aditya Mehta·· 4 天前AI 评分69
Axiom Math 完成 Stacks Project 约 1600 万行 Lean 代码的形式化验证
Axiom Math wants to keep AI slop out of mathematics
AI 导读
Axiom Math 宣布完成 Stacks Project 的形式化验证，将其约 7,654 页数学资料转译为约 1,600 万行经计算机检查的 Lean 代码。
来源：TechCrunch AI · techcrunch.com