AI 证明泛滥冲击数学界，机构面临猜想裁定难题
随着大量 AI 辅助生成的「抢发级」证明（scoop slop）涌入，Ravi、美国数学会（AMS）与 Clay 研究所需要裁定什么才算数学猜想的正式解决。陶哲轩主张把守质量关：一旦认定 slop 证明有效，将引来百倍更多的类似提交，机构的标准选择至关重要。
2026-09-09 ~ 2026-09-09 · 2 条相关
- AI 量产「抢发级」证明涌入,数学界面临猜想裁定难题 — thebasepoint · 2026-09-09
- AI 数学证明泛滥，陶哲轩守质量关：认了 slop 会引来百倍更多 — thebasepoint · 2026-09-09