知识/定理
Gorenstein 等 1983 宣布有限单群分类定理（CFSG）证明完成——群论「元素周期表」定稿。
公式
分类定理：所有有限单群 = 素数阶循环群 ∪ 交错群 ∪ 李型群 ∪ 26 个散在群。
证明思路
数千页协作证明 + 后来 2004 起第二轮「第二代证明」修正。
应用/例子
编码理论、密码学、物理对称性（怪兽群）。
意义/影响
数学史上最大规模合作定理；其验证与形式化成为「巨型证明」研究的对象。
DOXA · 数学编年史 · 知识详情
1983 ｜ Gorenstein 等 ｜ 代数·数论 ｜ 突破
Gorenstein 等 1983 宣布有限单群分类定理（CFSG）证明完成——群论「元素周期表」定稿。
分类定理：所有有限单群 = 素数阶循环群 ∪ 交错群 ∪ 李型群 ∪ 26 个散在群。
数千页协作证明 + 后来 2004 起第二轮「第二代证明」修正。
编码理论、密码学、物理对称性（怪兽群）。
数学史上最大规模合作定理；其验证与形式化成为「巨型证明」研究的对象。