TechCrunch · AI· Aditya Mehta·· 5 小时前
AxiomMath 完成 Stacks Project 形式化验证，欲将 AI slop 挡在数学门外
Axiom Math wants to keep AI slop out of mathematics
AI 导读
AxiomMath 宣布完成对 Stacks Project 的形式化验证，将约 7,654 页的数学库翻译成约 1600 万行 Lean 代码，由 AI 智能体并行协作并经证明助手逐行检查。
来源：TechCrunch · AI · techcrunch.com