知识卡片：陶哲轩、邓煜等25位菲尔兹奖得主就AI与数学发布紧急声明

一句话结论

材料称，陶哲轩、邓煜等25位菲尔兹奖得主联名发布声明，警告 AI 公司以 benchmark 为导向推进数学研究，已与数学共同体追求 conceptual understanding and insight 的目标出现 severe misalignment；声明不反对 AI 本身，但担忧数学研究、评价体系、人才培养与知识传承受到冲击。

事件概述或研究问题

• 量子位 2026-09-12 报道称，陶哲轩、邓煜等25位菲尔兹奖得主联合发起并作为首批签署人，发布一份紧急公开声明。声明全文链接为：https://mathandai.org/。
• 材料称，发起人因近期 AI 对数学领域冲击严峻，未走繁琐协商程序，而是紧急公开发布。
• 声明核心判断是：AI 公司越来越倾向把“解决数学问题”当作 benchmark 来推进，这种做法对数学科学和数学共同体有害；AI 公司目标与数学共同体目标严重错位，并属于更广泛错位问题的一部分，影响其他科学与创意职业乃至整个社会。
• 声明并非呼吁或要求停止 AI，也不是停止用 AI 主导/辅助数学研究，且没有否认 AI 已取得的数学成果。
• 材料称，直接导火索之一是本周围绕 Navier-Stokes 的争议：OpenAI 宣布用1万个 Agent 跑了88小时，拿出 Navier-Stokes 证明，随后引发涉及 OpenAI、Anthropic 和两位数学家的“罗生门事件”。

方法/产品要点

• 材料列举的近期 AI 数学进展包括：5月 OpenAI 内部模型给出 Erdős 单位距离猜想反例；7月 Claude 参与推翻 Jacobian conjecture；9月初 GPT-6 Astra 在孪生素数猜想方向取得新进展，用 Lean 形式化证明把连续素数间距上界从246推到186；本周 OpenAI 用1万个 Agent 跑了88小时处理 Navier-Stokes。
• 关于 Navier-Stokes，材料称 OpenAI 宣布构造平滑外力使流体有限时间爆破，符合克雷题面 C、D 情形，并称其解决这一千禧年难题；但该事件随后陷入争议，相关结论是否成立、如何评审、署名与数据边界如何认定，均待核实。
• 争议问题包括：研究者在 AI 工具里输入的 Prompt 算不算未发表研究材料；模型公司是否在得知数学家研究思路和进展后，利用上万 Agent 暴力破题、抢跑成果；OpenAI 提出的解决方案中要求将 Anthropic 员工 Levent Alpöge 排除在作者名单之外是否违背数学研究精神；顶尖模型接受过相关用户数据时，如何证明数学证明成果由 AI 独立产生；AI 做出“证明”后谁负责把它变成人能理解的数学。
• 声明强调，数学不只是解题、证明与寻找新方法。著名数学问题像 landmark and lighthouse，解决后研究工作通常还会继续很久。数学共同体需要理解新证明、识别新方法、连接已有知识，再通过报告、讨论、简化等过程消化，最终整理成研究生甚至本科生可学习的教材知识。材料引用英文表述：solving problems is only a tool and proxy。
• 声明认为，商业公司仅将“解决数学难题”作为衡量和推介大模型能力的 Benchmark，忽略“理解”这一首要目标，以极快节奏批量生产 True/False 断言。材料引用其判断：这非但不能孕育新思想，反而会破坏数学研究的土壤。
• 三方面担忧：第一，AI 解题速度开始超过数学共同体消化知识的速度；第二，AI 公司追求 benchmark 成绩，数学界追求方法、理解和知识传承，两套评价体系开始分叉；第三，当 AI 能快速完成开放问题后，数学研究的优先权、人才培养和开放文化都需要重新定规则。
• 具体担忧还包括：AI 生成解决方案往往匆忙向媒体宣布，未留出时间撰写严谨规范论文；缺乏对 Prior Work 的妥善引用与归因，引发学术署名与潜在 Plagiarism 争议；AI 以暴力搜索和极速推理批量解决或给出反例，可能造成开放问题的“功利性耗尽”，但 AI 目前缺乏 Forwards Exploration 能力，难以提出具有深远价值的新开放问题；AI 直接输出结果可能破坏人类通过学术训练形成“深入理解”与“提出新问题”的能力；若没有人类数学家接手并把 AI 构想整合进数学正典，代际之间关键的人类知识传递链 Human Transmission Chain 可能断裂。
• 声明最后称，这些问题必须紧急解决，数学界、开发这些技术的公司以及更广泛社会都必须重视，因为在许多其他形式的智力工作中，社会也将面临类似问题。

主要结果或产业意义

• 材料称，首批署名者包含陶哲轩和今年刚获得菲尔兹奖的邓煜。两人此前对 AI 推进数学研究相对开放：陶哲轩把 AI 视为卓越的“研究助理”，认为其在代码生成、文献检索、Lean 形式化证明验证等方面可提升效率，但反对“AI 神话”，并逐步关切学术伦理与规则建设；邓煜日常使用 AI 辅助科研，更关心 AI 底层数学基础，并认为未来数学家与 AI 将走向人机协作。
• 该声明显示，AI 进入数学等基础科学后，产业界的模型竞赛与学术共同体的知识生产逻辑可能发生冲突：一方追逐 benchmark、发布速度与算力优势，另一方要求理解、引用、署名、评审、教学与长期知识沉淀。
• 对 AI 产业的含义是：当模型能力展示从产品 benchmark 外溢到开放科学问题，数据来源、Prompt 隐私、优先权、署名规则、成果验证和公共沟通都可能成为治理问题，而不仅是技术问题。
• 材料还称，数学界担忧大厂后台监控 Prompt 数据、窃取灵感并凭算力霸权抢跑截胡，原本极度提倡开源共享的数学界可能陷入寒蝉效应，研究者犹豫是否还能向对话框透露半成品思路，甚至从开放协作走向防御性闭门造车。

为什么重要 / 与既有脉络的关系

• 与已有 NIST AI RMF 剧本、Epoch AI 出版物、OpenRouter 博客归档等卡片相比，本条不是 AI 风险管理框架、研究趋势或 LLM 网关产品化主题，而是补充 AI 产业进入基础科学后与学术共同体发生的评价体系、伦理和知识传承冲突。
• 增量信息在于：AI 数学能力提升不再只是“模型又解出一道题”，而是牵动数学研究的优先权、署名、引用、开放文化、人才培养和教材知识形成；声明把这种冲突概括为 severe misalignment，并认为其可外推到其他智力工作。

局限与不确定性

• 本条主要依据量子位报道，声明原文、完整签署人名单、英文标题、具体表述和附件需以 https://mathandai.org/ 为准，待核实。
• “25位菲尔兹奖得主”为材料表述，完整名单和身份核验待核实。
• Navier-Stokes 是否真正解决、证明是否通过专业评审、OpenAI 与 Anthropic 及相关数学家争议事实细节，材料未给出最终裁定，待核实。
• 材料把 Prompt 是否算未发表材料、模型是否独立产生证明、署名是否合理等作为争议问题提出，并非已决结论。
• 材料称 2026年6月已有一份《莱顿人工智能与数学宣言》，并称其获国际数学联盟 IMU 背书、约60位来自10国的数学家/计算机科学家/学者参与、6人工作组历时8个月起草；具体文本与签署细节待核实。
• 文章标注日期为 2026-09-12，相关时间线相对当前日期需核实。

可用于图书/PPT/简报的角度

• AI 与科学发现：benchmark 化 vs. 理解驱动。
• AI 学术伦理：署名、引用、优先权、数据边界与 Prompt 隐私。
• 开放科学 vs. 算力霸权：数学共同体是否会走向防御性闭门。
• 人机协作与教育：AI 直接给答案是否会破坏训练与 Human Transmission Chain。
• 产业治理：AI 公司进入基础科学时，如何与学术共同体建立评审、发布和归因规范。
• 从“解题机器”到“提出好问题”：Forwards Exploration 为何关键。

原始材料

• 原始中文标题：陶哲轩邓煜究竟在反对什么：AI暴力解题摧毁人类数学精神
• 来源：量子位，作者衡宇，材料标注日期 2026-09-12，URL：https://www.qbitai.com/2026/09/487653.html
• 声明全文：https://mathandai.org/
• 英文标题：待核实（材料未提供声明英文标题）
• 英文关键词：severe misalignment；benchmark；conceptual understanding and insight；solving problems is only a tool and proxy；Prior Work；Plagiarism；Forwards Exploration；Human Transmission Chain；landmark and lighthouse；True/False；Lean；Navier-Stokes；Erdős；Jacobian conjecture；GPT-6 Astra
• 其他参考链接：https://www.techmeme.com/260911/p27#a260911p27；https://mathstodon.xyz/@tao/117253629967855195