TechCrunch · AI· Aditya Mehta·· 3 小时前
Axiom Math 用 AI 智能体完成 Stacks Project 形式化验证
Axiom Math wants to keep AI slop out of mathematics
AI 导读
Axiom Math 宣布已用自家 AI 智能体将 Stacks Project 约 7,654 页内容翻译成约 1,600 万行 Lean 代码并完成形式化验证。
来源：TechCrunch · AI · techcrunch.com