TechCrunch · AI· Aditya Mehta·· 3 小时前AI 评分69
Axiom Math 用 AI 智能体形式化验证 Stacks Project
Axiom Math wants to keep AI slop out of mathematics
AI 导读
Axiom Math 宣布已用其 AI 智能体集群形式化验证了 Stacks Project，将这一约 7,654 页的数学库转成约 16 million 行经 Lean 逐行检查的代码。
来源：TechCrunch · AI · techcrunch.com