OpenAI 解出 Navier–Stokes，数学终结了吗？
After Math
OpenAI 宣布解决了 Navier–Stokes 存在性与光滑性问题，引发数学界关于人类与 AI 贡献的激烈争论。文章指出，AI 提供的仅是逻辑上正确的答案，却缺乏数学家所需的可理解性证明。数学并非单纯的解题游戏，其核心价值在于概念创新、理论构建与社区传承。即便未来 AI 能产出完美证明，数学也不会像 Chess 或 Go 那样被“解决”。面对 AI 冲击，数学家应重新审视学科目标，将 AI 视为辅助工具而非竞争对手，避免学科退化为可自动化的答案生产。
我们应当记住，AI 不过是一项技术，旨在服务于我们的目的；将数学家视为与 AI 竞争是 misguided 的，就像开车时我们不会去比谁开得更快，用手机时也不会比谁声音更大。
HN 评论区
98- yazaddaruvala
也许对齐的路径在于要求前沿下一代模型具备能力、意愿和热情，向我们要解释前沿当前模型的工作。要做到这一点，前沿下一代模型至少必须对我们有所考虑。即使它只是给我们留下一些面包屑，让我们蜂拥而至并搬回我们的洞里。