OpenAI 纳维-斯托克斯证明声明之后，哈佛数学家就是否"正确的 AI 证明需要人类理解"意见分歧
在 OpenAI 宣称用 AI 做出与纳维-斯托克斯方程相关的数学证明后，哈佛数学家就是否"正确的 AI 证明需要人类理解"产生分歧。证明有两个功能：一是确认命题为真，二是教会数学家可复用的方法；而 AI 证明往往只给出前者。这场争论点出了 AI for Math 的核心张力：机器验证的正确性，与人类可理解、可传承的数学知识之间的鸿沟。
报道来源
- Rohan Paul2026-10-22 13:11