TechCrunch · AI· Aditya Mehta·· 6 小时前AI 评分22
Axiom Math 完成 Stacks Project 形式化验证，用 AI 智能体防止数学领域出现 AI 垃圾内容
Axiom Math wants to keep AI slop out of mathematics
AI 导读
Axiom Math 宣布已将人类最大数学文献库之一 Stacks Project 完成形式化验证，用 AI 智能体把约 7,654 页内容转成约 1,600 万行 Lean 代码。
来源：TechCrunch · AI · techcrunch.com