📌 今日选题：24 天解出 100 多道数学难题，25 位菲尔兹奖得主却说"慢着"

有人说不到一个月，就解开了一百多道悬了几十年的数学题。出手的是 OpenAI；而站出来说"先别急着鼓掌"的，是 25 位拿过数学界最高奖——菲尔兹奖的人。

先说成果。9 月 8 日，OpenAI 公布了一份证明，对象是"纳维-斯托克斯方程"——描述水和空气怎么流动的方程，也是悬赏一百万美元的七道千禧年难题之一。它问的是：流体的速度会不会在有限时间内冲到无穷大。这道题挂了九十年。

不靠一个 AI 苦想，而是约一万个 AI 同时开工，跑了约 88 小时，写成 166 页论文，再花 17 小时做 Lean 验证。Lean 好比一本"机器阅卷的习题册"：不是 AI 说自己做完了就算数，而是每一步都要过一个不会说谎的裁判。到 9 月 21 日，OpenAI 又披露：这个模型从 8 月 28 日开训算起，已解决横跨数学各领域一百多道开放问题，用时 24 天。OpenAI 的原话是："这一进展的速度，让公司内部的数学家都感到意外。"

转折在 9 月 11 日。25 位菲尔兹奖得主联名发表公开信《AI 在数学领域的严重错位》。他们不反对 AI 做数学——信里承认 AI 能加速研究；担心的是把人类攒了几百年的难题，当成模型的"跑分榜"。信里有个比喻：这些难题是"地标和灯塔"，价值不在被解掉，而在解题途中长出的新想法。只求快，跳过论文撰写、方法提炼和引用前人工作，反而可能"毁掉新想法生长的土壤"。

OpenAI 的回应，是成立一个独立数学顾问组：9 位数学家，设在普林斯顿高等研究院，不领报酬，可以公开批评它。

还得说清楚：这次证明的是"有外力"的情形，最难的那个版本仍未解决。OpenAI 也说自己无意申请那一百万美元奖金——按规则要公开发表、等两年、再经同行认可，现在还早。

---

📌 本期关键词：OpenAI 纳维-斯托克斯 千禧年难题 菲尔兹奖 AI数学
📌 参考来源：
　1. OpenAI 官方博客《On the Navier–Stokes Millennium Prize Problem》（2026-09-08）
　2. 公开信《A Severe Misalignment of AI in Mathematics》（mathandai.org / 陶哲轩博客，2026-09-11，DOI 10.5281/zenodo.22737750）
　3. C114 通信网《突发：OpenAI 官宣 24 天攻破 100+ 世界级数学难题》（2026-09-22）
　4. The Next Web《OpenAI publishes its Navier-Stokes proof and says it will not claim the Millennium Prize》
　5. 澎湃新闻《陶哲轩、邓煜等 25 位菲尔兹奖得主联名警告：AI 公司正把数学带向"严重错位"》