Axiom Math发现有限单群证明反例

Axiom Math发布35页手稿《The Unbalanced Group Theorem》，称其形式化重审有限单群分类证明路线时，在一条已发表路线采用的闭包断言中发现反例，导致该论证步骤失效，但并未推翻有限单群分类定理。 为替代失效步骤，作者针对单群情形采用Solomon的极大2-分量理论，并提出“Preservation of simple tops”，以说明相关分量间的比较在何种条件下保持其单商。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。