Terence Tao 认可 AI 证明 Navier–Stokes 结果，但批评数学界未能获得相应洞察

Terence Tao 表示，OpenAI 动用了最大模型和数百万美元算力完成的 Navier–Stokes AI 证明结论正确，证明长达 100 页并获得 Lean 形式化证书确认。他指出，人类证明通常会保留探索过程和可迁移的数学洞察，而这份证明更像只取走果实的露天开采。