Axiom Math发布论文错误勘误清单
热点事件持续更新
Axiom Math发布论文错误勘误清单
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
Axiom Math团队称，在形式化验证有限单群分类定理的过程中，团队发现《Annals of Mathematics》等同行评审期刊发表的47篇论文存在96处实质性数学错误，并发布“百项精选出版论证偏差”清单，集中展示相关问题。 团队披露的完整勘误内容达数千条，范围不限于上述96处实质性错误。该清单目前是Axiom Math团队自行整理并发布的结果。
AI 根据报道生成 · 2 小时前更新
最新进展11月3日 21:29
Axiom Math 形式化验证有限单群分类定理并揪出顶刊论文 96 处错误报道时间线
沿着报道，了解事件的不同侧面。
11月3日
- AGI HuntAxiom Math 形式化验证有限单群分类定理并揪出顶刊论文 96 处错误
Axiom Math 团队形式化「有限单群分类定理」时，在 47 篇已发表论文中发现 96 处实质性数学错误。团队随后发布「百项精选出版论证偏差」清单，完整勘误内容达数千条，涉及《Annals of Mathematics》等顶级数学期刊。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。