Terence Tao 认可 AI 证明 Navier–Stokes 结果,但叹数学家几无所获

sudoraohacker · x · 2026-11-10

Terence Tao 表示针对千禧年大奖问题 Navier–Stokes(流体方程的光滑解是否会 blow up)的 AI 生成证明是正确的:证明长达 100 页,文本充满问题,但 Lean 形式化证书确认了它。据称 OpenAI 动用了其最大模型和数百万美元算力抢先完成。

Tao 的核心批评在于方法论价值:人类证明通常伴随「试了什么、什么有效、与什么相关」的洞察,像摘果子并留下种子;而他把这个 AI 证明比作「露天开采」——果实被拿走,土地一片荒芜。一位大量使用 AI 的同事花了数天也只能解释其中一半。这条线凸显了 AI 科研产出「结论正确但理解缺位」的新困境。