OpenAI 称证 Navier-Stokes 后，哈佛数学家为「没人看懂的证明」分裂

rohanpaul_ai · x · 2026-10-22

在 OpenAI 宣称其模型证明了 Navier-Stokes 方程相关命题后，哈佛数学家内部出现分歧：一个「没人能看懂」的 AI 证明，算不算真正的证明？

核心论点：证明做两件事——其一，表明命题为真；其二，教会其他数学家一种可复用的方法。AI 生成的证明往往只交付前者。数学家重视证明，既为了确定性，也为了技巧；一个无人理解的证明只给了确定性，却给不出可传承的方法论。这场争论折射出 AI for Mathematics 的根本张力：验证正确与人类理解之间的鸿沟。