TechCrunch · AI· Aditya Mehta·· 3 天前AI 评分58
Axiom Math 用 AI 智能体形式化验证 Stacks Project 数学库
Axiom Math wants to keep AI slop out of mathematics
AI 导读
Axiom Math 宣布已形式化验证 Stacks Project，将约 7,654 页数学内容转成约 1,600 万行 Lean 代码，由证明助手逐行检查。
来源：TechCrunch · AI · techcrunch.com