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

OpenAI 宣称其 AI 生成了解决数十年数学难题 Navier-Stokes 方程相关命题的方法后，哈佛数学家内部就「没人能看懂的 AI 证明是否算真正的证明」产生分歧。争论核心在于证明的两重功能：确认命题为真，以及向其他数学家传达可理解的知识——AI 生成的证明是否满足后者成为争议焦点。

2026-10-22 ~ 2026-10-22 · 2 条相关

• OpenAI 宣称攻克 Navier-Stokes 后，哈佛数学家激辩 AI 证明价值 — rohanpaul_ai · 2026-10-22

另有 1 条近重复转述:rohanpaul_ai