数学家集体呼吁抵制OpenAI AI论文触怒学界

# 数学家正式呼吁抵制 OpenAI 722篇AI论文触怒学界 **核心事件**：2026 年 10 月 6 日，OpenAI 一次性发布 722 篇由未公开前沿模型生成的数学手稿，覆盖约 372 组数学成果，宣称触及纳维-斯托克斯方程、黎曼ζ函数等多个悬而未决难题。次日（10 月 7 日），**人类数学协会**（Association for Human Mathematics，AHM）发布正式声明，公开呼吁数学界"终止与 OpenAI 的合作"，这是首个以学协会名义对前沿模型实验室发起集体抵制的标志性事件。 ## 一、AHM 声明核心立场 AHM 通信工作组 10 月 7 日在菲尔兹奖得主 Terence Tao 的 Mathstodon 博客发布客座声明，措辞严厉： - "一次释放 700 多份文档，不是学术展示，而是**权力的展示**。" - "数学家并未要求这些工作被执行。" - "AI 公司一边感谢数学家提供合法性，一边拒绝听从数学家的意见——这种关系本身就不可持续。" - 呼吁成员"回到以**人类理解**为中心的科学愿景"。 ## 二、AGMAI 指南被"绕过" 普林斯顿高等研究院托管的**数学与人工智能咨询小组**（AGMAI）由 9 名国际顶尖数学家组成，曾于 9 月 29 日发布前沿实验室数学研究指南。其中**第一项明确请求**就是："前沿 AI 公司**不应**在不可被研究社区访问的专有模型上测试高等数学问题。" 但 OpenAI 在 GitHub 仓库中**明确声明**正在用其专有模型评估开放性数学研究问题——直接违背 AGMAI 的核心前提。AGMAI 在 10 月 8 日发声明称"咨询不等于背书"，并把后续评判权交还给数学共同体。 ## 三、形式化验证覆盖率严重不足 按 AGMAI 建议，"若人类难以理解，证明应在 Lean 中形式化以便机器检验"。但 OpenAI 722 篇手稿中： - 仅 **42%** 经过 Lean 形式化 - 仅 **10/719** 份附带思维链（chain of thought）展示 - 未提供 AGMAI 要求的"自然语言与形式化产物机器可读元数据关联" ## 四、剑桥学者发现"翻译漂移"问题 10 月 8 日剑桥大学与伦敦国王学院的数学家发表论文（arXiv:2610.08144），**记录了至少两处 OpenAI 给出的纳维-斯托克斯相关解**在**自然语言证明与 Lean 代码之间存在不一致**。这并不直接证伪结论，但说明"让 AI 自行形式化自己的证明"存在结构性风险，必须保留人类专家介入。 ## 五、Terence Tao 与 Eric Weinstein 之争 陶哲轩在 Mastodon 上批评："问题正被对数学领域本身毫无兴趣的 AI 提示词作者**自主求解**，他们不理解 AI 输出，无法回答问题、给出讲座或与学界互动。" 而数学评论人 **Eric Weinstein** 反驳称"僵化的科学家阻碍了进步"，并暗示 Anthropic 等公司才是受 AGMAI 影响的"另一方"。 ## 六、外溢效应：加密钱包"bunker mode" 10 月 7 日，Ethereum 基金会研究员 **Justin Drake** 警告加密行业进入 **"bunker mode"**（应急防御模式）：他担心 AI 可能先于量子计算机找到破解椭圆曲线签名的数学捷径，让传统钱包提前失守。**Scott Aaronson** 也在本周撰文指出，实验室已开始用数学能力模型测试加密原语的攻击面，话题已从纯数学溢出到密码学。 ## 七、OpenAI 回应与争议焦点 OpenAI 发言人告诉 *Scientific American*：几乎所有手稿来自**单一提示词**，部分需多次尝试。**未公布提示词**与**每题算力消耗**。 Hacker News 上一则讨论帖已获 **1,400+ 评论**，分化为两类立场：一方认为这是"AI 数学的转折点"，另一方指出"以这种规模投放未经验证主张，本质上是把核对成本转嫁给无报酬的学者"。 ## 总结 本次争议的核心不是"AI 能否做数学"，而是**谁决定研究议程、谁能调用最强工具、什么算负责任的发布**。当模型产出速度超过专家审核速度时，瓶颈从生成端转移到**验证端**——这与软件工程中 AI 写 PR 后的 review 瓶颈是同一现象。AHM 声明可能成为科学共同体首次对封闭实验室发起的有组织抵抗，其后续将影响其他前沿实验室是否效仿 OpenAI 的"批量发布"模式。 ## 参考来源 1. TechCrunch — *OpenAI's math solutions aren't meeting the field's standards yet* https://techcrunch.com/2026/10/08/openais-math-solutions-arent-meeting-the-fields-standards-yet/ 2. 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/ 3. Race to AGI — *Anthropic math backlash as human mathematicians reject OpenAI tie ups* https://www.racetoagi.org/news/2026-10-08-anthropic-math-backlash-as-human-mathematicians-re 4. CodeYourCraft — *OpenAI Math Results Draw Rebuke From Mathematicians' Group Backed by Terence Tao's Blog* https://codeyourcraft.com/blog/openai-math-results-ahm-statement-terence-tao-mathematicians-rebuke 5. AI FrontPage — *"Discontinue Their Work with OpenAI": AHM Urges Mathematicians After OpenAI Releases 372 Groups of Math Results* https://aifront-page.com/ahm-mathematicians-boycott-openai-372-math-results 6. urgent.news — *The Association for Human Mathematics says OpenAI's new math documents show power, not scholarship* https://urgent.news/2026/10/08/the-association-for-human-mathematics-says-openais-new-math-documents 7. ZeroHedge — *'Bunker Mode': OpenAI's Jaw-Dropping Math Blitz Draws Boycott, Warning Over Crypto Wallets* https://www.zerohedge.com/political/bunker-mode-openais-jaw-dropping-math-blitz-draws-boycott-warning-over-crypto-wallets 8. Terence Tao Mastodon 原文（AHM 声明客座发布） https://mathstodon.xyz/@tao/117395268130901862