重磅，AI补全人类史上最大数学证明，数学家当场泪崩 - MK SPORTS

人类历史上规模最大的数学证明，现已通过计算机形式化验证。 有限单群分类定理（CFSG，Classification of Finite Simple Groups） ，刚刚被AI彻底形式化！ 百余名全球顶尖数学家历经大半个世纪、写下长达15000页的「数学天书」，被初创团队Axiom研发的多智能体系统在 短短24天内 全部跑通。 更让人头皮发麻的是，AI构建了人类史上首个超4000万行的Lean代码库。 按代码行数计算，这现在是史上最大的开源软件项目。它的规模超过了 Linux 内核、Chromium、Firefox、LLVM、GCC、FFmpeg 等。