TechCrunch · AI· Aditya Mehta·· 4 小时前AI 评分60
Axiom Math 宣布完成 Stacks Project 形式化验证
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