TechCrunch · Startups· Aditya Mehta·· 22 小时前AI 评分51
Axiom Math 宣布完成 Stacks Project 形式化验证，约 7,654 页数学内容转成约 1600 万行 Lean 代码
Axiom Math wants to keep AI slop out of mathematics
AI 导读
估值 $1.6 billion 的初创公司 Axiom Math 于周三宣布，其 AI Agent 舰队已形式化验证 Stacks Project，将这个始于 2005 年的开源数学参考库约 7,654 页内容翻译成约 1600 万行经计算机逐行检查的 Lean 代码。
来源：TechCrunch · Startups · techcrunch.com