TechCrunch· Aditya Mehta·· 3 小时前AI 评分65
Axiom Math 宣布完成 Stacks Project 形式化验证
Axiom Math wants to keep AI slop out of mathematics
AI 导读
Axiom Math 于周三宣布其 AI agent 已完成对 Stacks Project 的形式化验证，将约 7,654 页内容转为约 1600 万行经计算机逐行检查的 Lean 代码。
来源：TechCrunch · techcrunch.com