共 3 篇文章
OpenAI 发布 722 篇 AI 数学手稿不到 24 小时因"一个符号错误"撤回 3 篇（致 1 篇论证失效 + 2 篇构造失效），并修订另外 14 篇。康奈尔 Alex Townsend："一个错误连锁导致 3 篇不意外，怀疑还会发现更多"。人类数学协会（AHM）10-07 声明"数学家没要求做这项工作……我们敦促数学家停止与 OpenAI 合作，回归以人类理解为中心"，陶哲轩全文转载。克莱数学研究所所长 Martin Bridson（牛津）
2026-10-07 菲尔兹奖得主陶哲轩在博客转载"人类数学协会"（AHM）声明：呼吁数学家停止与 OpenAI 合作，批评其一次性发布 722 篇 AI 生成数学手稿"展示的是权力不是学术研究"。9 月底 OpenAI 在 GitHub 公开 372 个成果组覆盖千禧难题（准黎曼猜想 / 4 维挂谷 / 唯一博弈猜想），约 42% 已 Lean 形式化但已撤回 3 篇修订 14 篇。Scott Aaronson 妻子 Dana Moshkovitz（唯一博弈猜想专家）研读 OpenAI 论文后称"必须 AI 辅助才能读懂"。
OpenAI 一夜公开 722 篇数学手稿，全出自一个未发布的内部模型，归成 372 组结果，对应约 4000 个研究问题，平均每项算力约等于 ChatGPT Pro 思考 3 小时，论文+ 源码 + 部分 Lean 证明 + 10 份推理摘要全部上 GitHub。三道千禧难题被同时下手：H003 准黎曼猜想（声称 ζ 函数与所有 Dirichlet L 函数在实部大于 7/8 区域无零点，把无区突破度推进一截；另一版给出实部大于 11/12 + 一致排除 Siegel 零点）