Axiom Math 形式化验证有限单群分类定理并揪出顶刊论文 96 处错误

Axiom Math 团队形式化「有限单群分类定理」时，在 47 篇已发表论文中发现 96 处实质性数学错误。团队随后发布「百项精选出版论证偏差」清单，完整勘误内容达数千条，涉及《Annals of Mathematics》等顶级数学期刊。