OpenAI 解出 Navier–Stokes，数学终结了吗？
After Math
OpenAI 宣布解决了 Navier–Stokes 存在性与光滑性问题，引发数学界关于人类与 AI 贡献的激烈争论。文章指出，AI 提供的仅是逻辑上正确的答案，却缺乏数学家所需的可理解性证明。数学并非单纯的解题游戏，其核心价值在于概念创新、理论构建与社区传承。即便未来 AI 能产出完美证明，数学也不会像 Chess 或 Go 那样被“解决”。面对 AI 冲击，数学家应重新审视学科目标，将 AI 视为辅助工具而非竞争对手，避免学科退化为可自动化的答案生产。
我们应当记住，AI 不过是一项技术，旨在服务于我们的目的；将数学家视为与 AI 竞争是 misguided 的，就像开车时我们不会去比谁开得更快，用手机时也不会比谁声音更大。
HN 评论区
162- yazaddaruvala
我有点担心这种推理方式预设了其结论，即断言数学是为了人类的理解。
这并非理所当然的真理；为了我们的尊严，作为物种，我们有责任确保它保持这样。
然而，面对“不在乎”所带来的经济价值，要捍卫这一立场将极其困难。