作者称 Verified AI 迎来标志性月份，Axiom 的 AI 智能体集群用 24 天完成数学史上最长证明的验证，将跨越 500 多篇论文的 15,000 页有限单群分类定理（CFSG）转化为 3800 万行以上机器验证代码，并发现已发表记录中的 34 处严重出入。引用内容补充称该形式化证明可能是最大的开源项目之一，图中显示 Axiom CFSG 达 43.0M 行，约每 37 天翻倍。 🔗 阅读原文 via AIHOT · https://aihot.news/items/o5s4s2z9njz29hgd7im06gzrf
信息源：AI HOT · 精选
- 原文链接：Axiom 智能体集群用 24 天完成有限单群分类定理的机器验证
- 分类：行业动态
- 作者：Rohan Paul
- 发布时间：2026/10/28 07:31
评论0