Axiom Math 形式化验证发现有限单群分类证明路径存在反例

Axiom Math 发布35页手稿《The Unbalanced Group Theorem》，以形式化方法重审有限单群分类证明路线，并在其中一条闭包断言中发现反例。该反例表明相关论证步骤失效，但未推翻有限单群分类定理。作者提出替代论证，以 Solomon 的极大2-分量理论和“Preservation of simple tops”取代失效步骤。