数学家：OpenAI 的 Navier-Stokes 证明是百年级贡献，人类理解将首次滞后于机器证明

tszzl · x · 2026-09-13

数学家 Scott Armstrong 回应针对 OpenAI Navier-Stokes blow up 构造的质疑，称这是巨大的贡献：PDE 分析学者需要数周到一个月才能真正理解它，而一旦有人消化并改写成可读形式，人类对这组重要方程的理解将突破自 Leray 以来停滞 100 年的瓶颈。

他点出真正的范式转变：过去证明总是诞生于人类理解之后，而从今往后机器先写证明、人类理解随后追赶会成为常态，但理解不会缺席。他认为人们的不满与「过程倒置」无关，而是另有原因（原帖被截断）。被引推文则反驳了一种流行论调——把「只列已知结论、不做解释」当作 AI 数学的价值标准，就像老师宣布这门课不讲解释、只罗列事实一样荒谬。