TechCrunch · AI· Aditya Mehta·· 4 小时前AI 评分73
Axiom Math 利用 AI Agent 完成 Stacks Project 形式化验证
Axiom Math wants to keep AI slop out of mathematics
AI 导读
初创公司 Axiom Math 宣布其 AI Agent 团队已完成对 Stacks Project 的形式化验证，将约 7654 页数学内容转化为约 1600 万行经过计算机检查的 Lean 代码。
来源：TechCrunch · AI · techcrunch.com