AI发现群论证明反例并补证新定理

Axiom数学AI团队宣布，AxiomProver在验证有限单群分类定理（CFSG）相关的非平衡群定理（UGT）证明时，找到了一个已发表论断的反例，表明相关步骤失效。 团队称，系统随后沿用群论学家Ronald Solomon的思路，补证新结果以替换失效步骤，并修复了数百处重要勘误。

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

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