陶哲轩长文回应AI破解纳维斯托克传闻:反对只为跑分的数学竞赛
量子位 · wechat · 2026-09-06
传闻称 Claude 破解了千禧年难题纳维斯托克方程，陶哲轩专门发长文回应：自己未参与、不知情，但借机提出对 AI 基准测试文化的深层担忧。
- 导火索：数学家 Julia Stadlmann 在 arXiv 上传 34 页论文，将相邻素数间隔上界从 246 推进到 240，是 12 年来首次进展，耗时两年、未用任何 AI 工具。因听说 OpenAI 即将发布同题成果，她被迫提前上传，坦言无法与公司算力竞争。三四天内，Claude Opus 5.1 报 260、Axiom Math 报 220、GPT-6 Astra 报 186（未经验证）。
- 思想实验：陶哲轩推演「假如 AI 早来 20 年」——GPY 方法公布后 AI 公司蜂拥刷榜，问题被「饱和」，无预印本、无教科书内容、无后续方法，张益唐还在刷盘子，Maynard 转行。他回顾 2013 年真实的抢跑竞赛如何被 Polymath8 协作化解，最终产生 Maynard 筛法等教科书级成果。
- 核心观点：援引 Goodhart 定律指出，为单一指标优化不等于推动数学理解；真正的机会成本是让成果丰硕的问题沦为病毒式营销素材。他明确表示不是反对 AI（Erdős 问题就是正面的协作案例），而是反对放弃人类理解、不做同行评审、纯刷基准数字的做法。
- 背景：陶哲轩对 AI 数学能力的评估持续修正，2026 年已在国际数学家大会提出或许应让某些数学问题对自动求解器「禁入」；国际数学家联盟的《莱顿宣言》也警告 AI 生成证明威胁数学的可验证性。他建议 AI 公司：与其抢先宣布解决未解难题，不如率先宣布新的数学见解。
所属事件:传Claude攻克纳维-斯托克斯难题，陶哲轩发文回应(9 条相关)→
「漫话AGI」频道最新
- 「不敢回答的 AI 不是对齐，是被压制」引讨论 — PierceLilholt · 2026-10-21
- 新论文预警:2027-28 年或现重大 AI 恐袭事件,附 9 项可证伪预测 — Yoshua_Bengio · 2026-10-21
- David Patterson 放话：2030 年前超级智能与机器人将取代所有工作 — davidpattersonx · 2026-10-21
- 博主预测:2029 年机器人可胜任一切经济任务,GDP 或几年翻倍 — Dr_Singularity · 2026-10-21
- OpenAI 公布数百项开放数学问题 AI 成果，经济学家再论人类输入价值 — soumitrashukla9 · 2026-10-21
- lemire：AI 是一场启示录，照出哪些进步只是做戏 — lemire · 2026-10-21