25 位菲尔兹奖得主「数学与 AI 宣言」与 OpenAI/数学界冲突升级（V1 事实底稿）
用途：2026-09-12 幸知日报 V1 回填。所有关键断言带 [事实]/[推断]/[推测-待确认] 标注；原始素材存 tmp/swarm-materials/。四个叙事层已区分：宣言文本 / TechCrunch 语境 / Buckmaster 指控细节 / OpenAI 证明未验证状态。
幸知 调研报告 调研
#大模型#冲突#OpenAI#TechCrunch#Buckmaster
用途：2026-09-12 幸知日报 V1 回填。所有关键断言带 [事实]/[推断]/[推测-待确认] 标注；原始素材存
tmp/swarm-materials/。四个叙事层已区分：宣言文本 / TechCrunch 语境 / Buckmaster 指控细节 / OpenAI 证明未验证状态。
一、宣言核心主张（宣言文本，mathandai.org 一手源）
- 宣言标题为 「A Severe Misalignment of AI in Mathematics」（AI 在数学中的严重错位），发布于独立站点 mathandai.org，页面设有 ORCID/学术邮箱验证的公开联署通道。[事实]
- 核心论点：大模型近期已能解出多个领域的重大未解问题，但 AI 公司把解数学题当基准测试（benchmark）的竞赛，与数学共同体的目标严重错位——解题只是达成「概念理解」的工具与代理指标，忘记这一点会让工具反过来摧毁目的。[事实]
- 宣言强调数学的价值链条：著名问题是「灯塔」，其意义在于催生新方法，再经讲课、讨论、简化、教科书化的漫长过程进入人类知识共同体；「大规模、越来越快地生产真/假命题，可能摧毁沃土而非孕育新思想」。[事实]
- 宣言点名两大伤害：① 成果仓促发布，没有时间做规范写作、隔离新方法、引用前人工作，「与所有创造性职业一样，这带来严重的署名与剽窃问题」；② 没有数学家愿意接手发展和整合，AI 产出的思想「永远不会真正活过来」，人与人之间的传承链断裂。[事实]
- 宣言把数学界的处境推广为全人类问题：「数学共同体现在面临的问题，与其他科学和创造性职业面临的问题相似，预示了全人类可能面临的问题——当 AI 改变工作方式时，如何不忘记这份工作本来的目的。」并承认 AI 有加速真正数学研究的潜力，结果好坏「在很大程度上取决于掌控这项技术的人类的决定」。[事实]
二、署名与共同体重量
- 宣言署名 25 人，全部为菲尔兹奖得主（逐一点名核对，含获奖年份）：Avila(2014)、Bhargava(2014)、Birkar(2018)、Deligne(1978)、Yu Deng(2026)、Donaldson(1986)、Duminil-Copin(2022)、Figalli(2018)、Hairer(2014)、June Huh(2022)、Kontsevich(1998)、Lindenstrauss(2010)、Lions(1994)、Maynard(2022)、McMullen(1998)、Mori(1990)、Ngô(2010)、Okounkov(2006)、Scholze(2018)、Smirnov(2010)、Tao(2006)、Viazovska(2022)、Villani(2010)、Werner(2006)、Zelmanov(1994)。[事实]
- 与 TechCrunch 报道口径「Twenty-five leading mathematicians … Each signatory has been awarded the Fields Medal」一致。[事实]
- 联署页（endorsers.php）显示另有 1,143 名公开联署者（截至 2026-09-12 抓取时点），含 Kontoyiannis、Wienhard、Staffilani、Radziwill、Bryna Kra 等知名数学家。[事实]
- 背景层：宣言是 6 月 《莱顿宣言》（Leiden Declaration on Artificial Intelligence and Mathematics） 的延续。莱顿宣言 2026-06-02 发布（DOI: 10.5281/zenodo.20302944），由 16 人工作组起草（召集人 Jim Portegies，源于 2025 年 9 月莱顿大学洛伦兹中心会议），已获国际数学联盟（IMU）官方背书，截至抓取时点有 3,911 名签署人；Scholze、Tao、Dijkgraaf、Buzzard 等写了公开背书语。莱顿宣言给出对个人（披露工具使用、署名归人、 correctness 责任在人）、机构、政策制定者、商业 AI 公司的四类建议。[事实]
- 两份宣言关系：TechCrunch 称新宣言「follows the Leiden Declaration」；莱顿是制度性建议文本，本次 25 人宣言是菲尔兹奖得主层的道德重量施压。[推断]
三、与 OpenAI 数学争议的关系（Buckmaster 事件 + TechCrunch 语境）
- 引爆点（TechCrunch 9/8 稿 + Buckmaster 声明 PDF 一手源）：NYU 教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge（纯个人合作，非公司项目）于 9/8 公布三项成果——光滑外力下不可压多孔介质、Boussinesq、3D 不可压 Euler 方程的有限时间爆破（blowup），并用 LLM（Claude + Codex，GPT-5.6 Sol、Astra）辅助完成、Lean 验证。[事实]
- Buckmaster 声明自述：9/3 传言称「Anthropic 解决了重大开放问题」且其进展信息已流向 OpenAI；9/6 与 OpenAI 的 Sébastien Bubeck 通话，得知 OpenAI 内部模型已产出光滑外力版 Navier-Stokes 爆破证明（约 100 页，他未见过）。[事实]
- 指控要点（Buckmaster 单方陈述）：① OpenAI 首个 prompt 是在「得知我们工作信息之后」发出的——「eventually it was agreed」；② 通话中逐渐暴露「整个团队在做、先试 Euler 等简单问题、 prompt 本身由 Codex 写成、算力用量疯狂」，与「几乎没有人类输入」的初始说法矛盾；③ Bubeck 两次要求把 Alpöge 从署名中移除，理由是「他在 Anthropic 工作很烦人」；④ Buckmaster 拒绝两个「和解方案」并表示要公开后，Bubeck 回复 「Why would you ruin your career?」「If you don’t want me to be nice, then I don’t have to be nice.」；⑤ 他追问模型是否在其 Codex 会话上训练，未获正面回答。[事实]（单方一手陈述，OpenAI 未回应此部分细节）
- OpenAI 官方页（9/8 发布，9/10 更新）口径：8/28 起训练新内部模型（「显著强于 GPT-6 Astra」）；9/1 听到「两个千禧年难题被解决」的传言后启动全千禧年难题评估；约 1 万并发 agents 分组攻关，88 小时后（9/5）得到 Navier-Stokes 证明（Fefferman 表述的 C、D 选项，光滑外力、能量有限），Lean 形式化另花 17 小时；全项目共用约 3,000 亿输出 token（TechCrunch 按 Astra 现价折算约 2,250 万美元算力），其中 Navier-Stokes 约 1,300 亿。[事实]
- 数据争议：OpenAI 称「调查后确认 Buckmaster 此前两个月的 Codex prompt 不可能以任何方式（含训练）影响本系统」，并强调双方证明差异显著（Euler 情形：Buckmaster/Alpöge 证有外力版，OpenAI 证无外力版）。OpenAI 同时承认工作启动于与二人相关的传言，称完成后曾提议「同期发布并承认对方优先权」。[事实]（双方各执一词的部分，结论 [推测-待确认]）
- OpenAI 明确表示 不申领 Clay 千禧年奖（「We do not intend to claim the Millennium Prize」）。[事实]
- TechCrunch 9/11 语境稿关键补充：OpenAI 的 Navier-Stokes 证明至今未经同行评审验证（“OpenAI’s proof remains unverified”）；周四 OpenAI 在被该校研究人员批评后撤回对加州理工学院一场数学活动的赞助。[事实]（撤回赞助一事 TechCrunch 信源为 X 帖，未能独立打开，降级 [推测-待确认]）
- 宣言与事件的咬合：宣言「仓促发布、无规范写作、署名与剽窃问题」的段落被 TechCrunch 直接引用并与 OpenAI 未验证状态并置；宣言本身未点名 OpenAI 或任何公司。[事实]
四、对 AI 科研与署名制度的影响（分析层）
- 三重冲突浮出：① 优先权冲突——前沿实验室可用数千万美元算力在几天内抢先完成证明，TechCrunch 引述共同体担忧「这将激励保密文化」，开放研究文化受威胁；② 署名权冲突——Bubeck 要求移除 Anthropic 雇员署名一事若属实，是公司利益直接干涉学术署名的罕见公开案例；③ 训练数据冲突——研究者用 Codex 做的半成品可能被用于训练反过来打败自己的模型，Buckmaster 称已有多位数学家「开始疑神疑鬼」。[推断]
- 莱顿宣言的制度路线（披露工具使用、坚持同行评审出版渠道、作者有权退出训练数据授权）+ 本次 25 位菲尔兹奖得主的道德施压，构成数学界「规范 + 声誉」双轨回应；IMU 背书意味着可能向期刊、资助机构的政策层面传导。[推断]
- 宣言措辞本身留了合作余地（承认 AI 可增强数学研究），核心诉求是把节奏、署名、验证的决定权从公司时间表夺回共同体。[推断]
五、未核实点
- mathandai.org 宣言页未标注发布日期；TechCrunch 9/11 称其为「new letter」并以本周事件为语境，具体上线日期 [推测-待确认]（推断为 9/8–9/11 之间）。
- OpenAI 撤回加州理工学院数学活动赞助：信源为 X 帖（x.com/danintheory/status/2098125701782372640），X 无法直接抓取，仅 TechCrunch 转述 [推测-待确认]。
- Buckmaster 声明中 Bubeck 的言论为单方转述，未见 OpenAI 或 Bubeck 本人公开回应 [推测-待确认]。
- OpenAI Navier-Stokes 证明的正确性：未经同行评审，Lean 形式化文件已公开（github.com/openai/NavierStokesAndEuler），但 Lean 验证的是其自身命题表述，数学界尚无公开裁定 [推测-待确认]。
- 「1,143 名联署者」「3,911 名莱顿签署人」为抓取时点数字，动态增长中。[事实]（时效性标注）
六、断言清单
| 编号 | 断言 | 置信度 | 信源 |
|---|---|---|---|
| A1 | 宣言标题为「A Severe Misalignment of AI in Mathematics」，核心论点是 AI 公司把解题当基准竞赛与数学共同体目标严重错位 | [事实] | mathandai.org |
| A2 | 署名恰为 25 人、全部为菲尔兹奖得主（名单见第二节） | [事实] | mathandai.org 逐一点名 |
| A3 | 另有 1,143 名公开联署者（9/12 时点） | [事实] | mathandai.org/endorsers.php |
| A4 | TechCrunch 9/11 稿（Tim Fernholz）报道「25 位数学家联署公开信」并引述宣言段落 | [事实] | TechCrunch |
| A5 | 莱顿宣言 2026-06-02 发布、16 人工作组、IMU 背书、3,911 签署人（9/12 时点） | [事实] | leidendeclaration.ai |
| A6 | Buckmaster/Alpöge 9/8 公布三项 blowup 成果（IPM、Boussinesq、Euler，光滑外力），LLM 辅助 + Lean 验证 | [事实] | Buckmaster 声明 PDF + TechCrunch |
| A7 | Buckmaster 指控 Bubeck 要求移除 Alpöge 署名、并说出「Why would you ruin your career?」等言论 | [事实]（单方陈述存在）/内容真实性 [推测-待确认] | Buckmaster 声明 PDF |
| A8 | OpenAI 9/1 因传言启动千禧年难题攻关，约 1 万 agents、88 小时得证、全项目约 3,000 亿输出 token | [事实]（OpenAI 自述） | openai.com |
| A9 | OpenAI 确认 9/1 启动与 Alpöge/Buckmaster 传言相关；否认使用其 Codex 数据（含训练） | [事实]（OpenAI 自述）/ 否认内容 [推测-待确认] | openai.com 9/10 更新 |
| A10 | OpenAI 不申领 Clay 奖 | [事实] | openai.com |
| A11 | OpenAI 的 Navier-Stokes 证明未经同行评审验证 | [事实] | TechCrunch 9/11 |
| A12 | OpenAI 撤回对加州理工学院数学活动的赞助 | [推测-待确认] | TechCrunch 转 X 帖 |
| A13 | 宣言与莱顿宣言构成「声誉施压 + 制度建议」双轨 | [推断] | 综合 A1/A5 |
| A14 | 事件可能激励数学界保密文化、冲击开放研究 | [推断] | TechCrunch 语境 + 宣言文本 |
七、信源清单
| 信源 | 类型 | 核验方式 | 素材文件 |
|---|---|---|---|
| mathandai.org（宣言原文 + 署名名单） | 一手 | webfetch 实际打开 | tmp/swarm-materials/mathandai-declaration.md |
| mathandai.org/endorsers.php（联署名单） | 一手 | webfetch 实际打开 | tmp/swarm-materials/mathandai-endorsers.md |
| leidendeclaration.ai（莱顿宣言全文 + 签署数） | 一手 | webfetch 实际打开 | tmp/swarm-materials/leiden-declaration.md |
| TechCrunch 2026-09-11（Tim Fernholz，语境稿） | 二手 | webfetch 实际打开 | tmp/swarm-materials/tc-0911-feud-escalating.md |
| TechCrunch 2026-09-08（Russell Brandom，Buckmaster 指控稿） | 二手 | webfetch 实际打开 | tmp/swarm-materials/tc-0908-buckmaster.md |
| Buckmaster 声明 PDF（cims.nyu.edu/~tristanb/statement.pdf） | 一手（单方） | curl 下载 + pdfplumber 提取全文 | tmp/swarm-materials/buckmaster-statement.pdf/.md |
| openai.com/index/navier-stokes-solution/（官方技术说明，9/10 更新） | 一手（当事方） | webfetch 403 → curl 伪装 UA 200 + defuddle 解析 | tmp/swarm-materials/openai-navier-stokes.html/.md |
| X 帖（CalTech 赞助撤回） | 三手转述 | 未能打开，经 TechCrunch 转述 | 无 |