TechCrunch · AI· Aditya Mehta·· 4 小时前AI 评分53
Axiom Math 用 AI 智能体验证数学圣经 Stacks Project
Axiom Math wants to keep AI slop out of mathematics
AI 导读
Axiom Math 宣布已形式化验证了 Stacks Project，这套涵盖代数几何等领域的数学知识库共约 7654 页，被转化为约 1600 万行 Lean 代码。
来源：TechCrunch · AI · techcrunch.com