本文来自微信公众号： 新智元 ，编辑：大卫，作者：ASI启示录，原文标题：《重磅！AI补全人类史上最大数学证明，数学家当场泪崩》 人类历史上规模最大的数学证明，现已通过计算机形式化验证。 有限单群分类定理（CFSG，Classification of Finite Simple Groups），刚刚被AI彻底形式化！ <p data-check-id="701445
ARTICLE
/
虎嗅
AI补全人类史上最大数学证明，数学家当场泪崩
2026年10月30日 20:23 · 来自 虎嗅