数学家指控 OpenAI 抄其思路抢先解 Navier-Stokes,却仍离不开用 AI

emmanuelvivier · x · 2026-09-20

Wired 深度报道数学界与 AI 的矛盾关系。纽约大学教授 Tristan Buckmaster 公开指控 OpenAI 在得知 Navier-Stokes 存在性与光滑性问题（百年难题、百万美元悬赏）接近被解决后，部署数万个 agent 使用他的早期思路抢先给出证明，并为此修改了官方公告措辞。但他自己仍在用 Codex 和 Claude 做研究整理，甚至用 Codex 反推 OpenAI agent 的推理路径。他坦言：「就算你不认同，你也躲不开，AI 太有用了，这些公司形成了垄断，别无选择。」这场风波引发了 AI 是否会让人类数学家过时的激烈讨论，报道的核心张力在于：强大模型对该领域构成存在性威胁，但研究者因为太有用而无法停止依赖。