Axiom 将有限单群分类证明形式化：难点也在把定义接起来

• Axiom 将有限单群分类证明形式化：难点也在把定义接起来

时间线

• 2026-10-28 日报