AGI Hunt· Zulfikar_Ramzan·· 2 小时前AI 评分68
Axiom 数学 AI 系统发现群论证明反例并补上新定理
AI 找到已发表群论证明的反例,并证明新定理补上缺口
AI 导读
Axiom 数学 AI 团队宣布，AxiomProver 在验证有限单群分类定理（CFSG）相关的非平衡群定理（UGT）证明时，发现已发表证明中存在错误论断。系统随后基于群论学家 Ronald Solomon 的思路证明新结果，替换失效步骤，并修复数百处重要勘误。
来源：AGI Hunt · agihunt.info