Axiom Math 完成对 Stacks Project 的形式化验证
Axiom Math wants to keep AI slop out of mathematics
AI 导读
Axiom Math 宣布完成对 Stacks Project 的形式化验证，把约 7,654 页数学文献翻译成约 1,600 万行经 Lean 证明助手逐行检查的代码。
来源：TechCrunch · techcrunch.com
Axiom Math 完成对 Stacks Project 的形式化验证
Axiom Math wants to keep AI slop out of mathematics
Axiom Math 宣布完成对 Stacks Project 的形式化验证，把约 7,654 页数学文献翻译成约 1,600 万行经 Lean 证明助手逐行检查的代码。
来源：TechCrunch · techcrunch.com