25 位菲尔兹奖得主联署：OpenAI 抢发 Navier-Stokes 证明引发数学界声讨
机器之心 · wechat · 2026-09-12
陶哲轩、邓煜等 25 位菲尔兹奖得主联署公开信《AI 在数学中的严重错位》，认为 AI 公司把解数学题当基准赛跑的做法有害：匆忙公布、来不及写论文、不提炼新方法、不引用在先工作，正在摧毁数学的传承链条。信件承认 AI 有加速研究的潜力，诉求集中在流程三件事：给写作留时间、明确归属、有人类消化整合。
导火索：9 月 8 日 NYU 教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 用 Codex/Claude 公布欧拉方程有限时间奇点的三项证明；数小时后 OpenAI 宣布由未发布内部模型（约 1 万个智能体并行 88 小时、270 万条消息、1300 亿输出 token、Lean 形式化验证）完成千禧年难题 Navier-Stokes 完整证明（带光滑外力项，不申领百万美元奖金）。Buckmaster 指控 OpenAI 在得知其进展后才启动研究、抢走其选定的路径，且 OpenAI 数学家 Bubeck 曾要求他撤掉 Alpöge 署名并出言威胁；OpenAI 给出不同版本的时间线并否认接触对方工作。
背景脉络：今年 5 月 OpenAI 内部模型推翻 Erdős 单位距离猜想；6 月 16 位数学家发布莱顿宣言（IMU 背书）；7 月 Alpöge 用 Claude 推翻雅可比猜想；2026 年菲尔兹奖授予邓煜、王虹等，Tsimerman 获奖后宣布加入 OpenAI 做 AI 安全。
更深的忧虑：François Chollet 称听到数学学生普遍「不想再当数学家」；有数学家开始怀疑自己的 Codex 使用记录已被喂给模型——若大算力能抢在原创者之前完成证明，数学的开放文化将被系统推向保密。公开信无强制力，但为政策制定者、期刊和资助机构提供了参照点。"数学是第一个被迫写下自身价值观的学科，不会是最后一个。"
所属事件:24 位菲尔兹奖得主联署警告 AI 与数学界错位(35 条相关)→
「漫话AGI」频道最新
- 生物学家力挺 AI 加速癌症研究,称抵制进步道德上不可辩护 — QuintinPope5 · 2026-09-12
- 从「能干活」到「值得托付钱」：AI 智能体的下一道坎是经济可信度 — fnlog0 · 2026-09-12
- Agent 的下一道坎:从「能做事」到经济行为可信赖 — r3dd1tr · 2026-09-12
- 前 Anthropic/OpenAI 研究员:CIT一年内多个领域研究或无需人类 — rohanpaul_ai · 2026-09-12
- 观点：AGI 到来更像经济萧条，而非一夜降临的奇点 — paigeinsf · 2026-09-12
- AI 圈争论:近未来模型或能自创数学工具证明 P/NP 问题 — airkatakana · 2026-09-12