机器之心· 关注AI的·· 4 小时前同新闻AI 评分73
Axiom Math 用数十个 Agent 在 24 天内完成有限单群分类定理的 Lean 形式化
数十agent，24天挑战数学界巨型工程，还揪出40年前漏洞
AI 导读
Axiom Math 宣布由数十个 AI Agent 在 24 天内完成有限单群分类定理的 Lean 形式化，生成约 4310 万行代码、205 万个形式化声明，覆盖 715 篇参考文献。
同一新闻，精选展示《Axiom 称其 AI 智能体 24 天完成 15000 页数学证明的 Lean 形式化》
来源：机器之心 · mp.weixin.qq.com