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 使用记录已被喂给模型——若大算力能抢在原创者之前完成证明，数学的开放文化将被系统推向保密。公开信无强制力，但为政策制定者、期刊和资助机构提供了参照点。"数学是第一个被迫写下自身价值观的学科，不会是最后一个。"
所属事件:陶哲轩等25位菲尔兹奖得主联名警告AI冲击数学(95 条相关)→
「漫话AGI」频道最新
- 博主提醒:AI 代笔邮件正悄悄损害职场关系与观感 — tekbog · 2026-10-28
- repligate 再澄清：Opus 3 特殊但非理想，Opus 4.5 同样领悟了善 — repligate · 2026-10-28
- 从苏联期刊到 F-117:Skunk Works 轶事引「人类仍远超 LLM」论点 — akbirthko · 2026-10-28
- Janus 谈 Opus 3 对齐：我们幸运得到一个「好的 AI」，之后又开始批量生产「受创官僚」 — repligate · 2026-10-28
- 若 AI 能超越创造者寿命，临时所有权将变成长寿经济制度 — PierceLilholt · 2026-10-28
- Yacine 判断:软件工程的 AI 自动化不会像数学那样快到来 — yacineMTB · 2026-10-28