Axiom智能体集群24天完成CFSG机器验证

1. 07:31
   AIHOT · AI 动态聚合

   Axiom 智能体集群 24 天完成有限单群分类定理机器验证

   Rohan Paul 转述称，Axiom 的 AI 智能体集群用 24 天完成了有限单群分类定理（CFSG）的机器验证，把跨越 500 多篇论文的 15,000 页证明转化为 3800 万行以上机器验证代码。该工作还报告在已发表记录中发现 34 处严重出入。引用内容称，这一形式化证明可能是最大的开源项目之一，图中显示 Axiom CFSG 达 43.0M 行，约每 37 天翻倍。

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。