TechCrunch · AI· Aditya Mehta·· 3 小时前AI 评分68
Axiom Math 完成对 Stacks Project 的形式化验证
Axiom Math wants to keep AI slop out of mathematics
AI 导读
Axiom Math 宣布已正式验证 Stacks Project 这一人类编写的大型数学参考库，将约 7654 页内容转化为约 1600 万行经 Lean 证明助手逐行检查的代码。
来源：TechCrunch · AI · techcrunch.com