已收录文章摘要，完整内容可前往原文阅读。
新智元报道 人类历史上规模最大的数学证明，现已通过计算机形式化验证。有限单群分类定理（CFSG，Classification of Finite Simple Groups），刚刚被AI彻底形式