#证明验证

陶哲轩公开声援抵制 OpenAI：数学界与 AI 巨头矛盾升级 — AHM 声明"700 多份文件展示的是权力，不是学术研究"

2026-10-07 菲尔兹奖得主陶哲轩在博客转载"人类数学协会"（AHM）声明：呼吁数学家停止与 OpenAI 合作，批评其一次性发布 722 篇 AI 生成数学手稿"展示的是权力不是学术研究"。9 月底 OpenAI 在 GitHub 公开 372 个成果组覆盖千禧难题（准黎曼猜想 / 4 维挂谷 / 唯一博弈猜想），约 42% 已 Lean 形式化但已撤回 3 篇修订 14 篇。Scott Aaronson 妻子 Dana Moshkovitz（唯一博弈猜想专家）研读 OpenAI 论文后称"必须 AI 辅助才能读懂"。