OpenAI 宣称攻克 Navier-Stokes，哈佛数学家激辩 AI 证明价值

OpenAI 宣称其 AI 生成了解决数十年数学难题 Navier-Stokes 方程相关命题的方法，哈佛数学家则围绕这类 AI 证明是否构成真正的证明展开争论。争议焦点是证明除确认命题为真外，能否向其他数学家传达可理解的知识。