陶哲轩转发人类数学协会声明 数学界联合抵制OpenAI

时间：2026 年 10 月 7 日（美国时间），AHM 联合抵制声明在菲尔兹奖得主陶哲轩博客首发；中文媒体在 10 月 9 日集中跟进。 地点：美国线上（OpenAI 官方博客、陶哲轩 WordPress 博客）+ 国际数学社区论坛 + GitHub 代码托管平台 openai/math 仓库。 人物：Terence Tao（陶哲轩，菲尔兹奖得主、加州大学洛杉矶分校教授、AHM 名誉主席）；Association for Human Mathematics（AHM，人类数学协会，2026 年 8 月成立、约 809 名会员）；OpenAI（公司主体）；Scott Aaronson（德州大学奥斯汀计算机科学家、复杂理论学家）；Alex Townsend（康奈尔大学数学副教授）；OpenAI 数学研究团队（基于未公开代号内测模型产出手稿）。 事件详情：OpenAI 于 2026 年 10 月 6 日一次性在 GitHub 的 openai/math 仓库发布 722 篇数学论文，覆盖 372 个相关结果族、17 个数学领域，包括几何、计算机科学、代数等分支；其中 162 篇配套了 Lean 形式化证明，10 篇摘要记录了推理轨迹。发布次日（10 月 7 日），AHM 发布由陶哲轩作为客座作者挂载在其个人 WordPress 博客的正式联合声明，定性该次大规模释出为「不是学术成就的体现，而是权力的炫耀」，明确要求全球数学家停止与 OpenAI 的合作，并提出三项入会承诺：不向商业 AI 公司提供劳动力与数学知识、不发表由 AI 模型撰写的数学文本、AHM 反对小组的成员在研究中不使用 AI 模型。声明首段还就 OpenAI 当前面临的全球版权诉讼表达隐晦批评。同日，OpenAI 通过 GitHub 修订记录披露撤下 3 篇手稿——其中一处符号错误使一个核心论证失效，并连带影响两篇依赖论文；另外修订了 14 篇、修正引用关系 13 处。陶哲轩本人在 Mastodon 提出「Math 2.0」概念，主张数学学科的下一阶段应当把焦点从解题转移到人对证明的理解上；Scott Aaronson 则在个人博客上将这一事件命名为「Mathocalypse」。极富讽刺意味的是，AHM 声明文本被第三方 AI 检测工具 Pangram 判定为 100% 由 AI 生成。 背景：AHM 成立于 2026 年 8 月，是针对 AI 大模型加速入侵数学研究领域的反弹型组织，旨在为数学工作者提供不依赖 AI 的合作公共空间。OpenAI 此次 722 篇论文释出并非孤立事件——此前 OpenAI 内部未公开模型已宣布在一个月训练周期内完成对 100 余项长期未解数学问题的求解，其中包括对 Navier-Stokes 千禧问题的进展，以及据传对 Hodge 猜想这一千禧问题的攻关。为应对学界批评，OpenAI 此前曾在普林斯顿高等研究院设立 AGMAI 顾问小组，但 AHM 声明指出，AGMAI 的核心建议——内部模型不应被用于测试高级数学问题——已被 OpenAI 此次释出明显违背；更早的 2026 年 9 月，已有 24 位菲尔兹奖得主联署公开警告，25 位顶尖数学家签署联名公开信，警告 AI 实验室正在威胁数学家的智识工作。陶哲轩本人在过去一年间一方面倡导用 AI 加速数学形式化验证以提升研究效率，另一方面也反复警告数学界勿「过度神话」AI，将其定位于「基于数学的猜测机」。 影响：此次 722 篇论文释出叠加 OpenAI 一天内主动撤稿 3 篇的事实，暴露了「批量 AI 数学产出」在正确性、可重复性与同行评审层面尚远未成熟；陶哲轩亲自挂载 AHM 声明意味着抵制运动获得数学界最具公众辨识度的符号背书，而 AHM「不发表 AI 生成数学文本」的入会承诺直指 arXiv 等预印本平台的引文伦理与审稿机制，可能推动期刊与会议在「AI 协作披露」与「署名贡献度」上出台新的强制规范；从产业角度看，AGMAI 顾问机制被业内认定对 OpenAI 内部节奏无约束力，将促使更多 AI 公司在重大数学成果发布前引入强制 Lean 形式化与独立验证环节，否则将面临与学界公开决裂的代价；对数学共同体而言，AHM 的成立与本次抵制标志着「人类-数学家」身份首次以组织化形式对抗 AI 公司的科研节奏，长期看或将触发更多学科（理论物理、计算神经科学等）的类似反弹联盟。 总结：OpenAI 用一次 722 篇论文的「大爆炸式」发布试图重塑数学研究的产出节奏，但换来的是 AHM 与菲尔兹奖得主的明确抵制、24 位数学权威的公开警告、康奈尔数学家的可重复性质疑，以及发布次日 3 篇手稿的主动撤稿。陶哲轩「Math 2.0」的论断意味着解题不再是核心——对人类理解力的守护正成为数学共同体新的集体命题；而本次事件也为 AI 公司设立了新基准：未经过形式化验证与外部独立审查的高调释出，非但不能巩固「前沿模型」形象，反而会触发整个学科的协同反弹。 参考来源： - The Decoder - Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field: https://the-decoder.com/some-mathematicians-call-for-openai-boycott-after-ai-generated-proofs-flood-their-field/ - Retraction Watch - OpenAI withdraws three preprints a day after releasing 722 manuscripts on unsolved math problems: https://retractionwatch.com/2026/10/08/openai-withdraws-preprints-722-manuscripts-unsolved-math-problems/ - OpenAI 官方 - Sharing AI progress in mathematics: https://openai.com/index/sharing-ai-progress-in-mathematics/ - Terence Tao's Blog - AHM Statement on OpenAI's October 6 Release of Mathematical Documents: https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/ - 爱范儿 - 陶哲轩转发抵制声明，数学界和OpenAI彻底撕破脸: https://www.ifanr.com/1683401 - 量子位 - 陶哲轩带头宣战！人类数学家联合抵制OpenAI: https://www.qbitai.com/2026/10/502089.html - India Today - Boycott OpenAI, mathematicians say after ChatGPT solves more than 700 problems on its own: https://www.indiatoday.in/technology/news/story/boycott-openai-mathematicians-say-after-chatgpt-solves-more-than-700-problems-on-its-own-3012211-2026-10-08 - Moneycontrol - Some mathematicians call for an OpenAI boycott after AI solves over 700 problems: https://www.moneycontrol.com/technology/some-mathematicians-call-for-an-openai-boycott-after-ai-solves-over-700-problems-article-14048569.html - 36氪 - Human Mathematicians Unite to Boycott OpenAI: https://eu.36kr.com/en/p/4017915610369922 - OpenAI Math Repository on GitHub: https://github.com/openai/math