Martin Beraja：AI 证明 Navier–Stokes 犹如蒸汽机先于热力学

JMateosGarcia · x · 2026-09-14

经济学家 Martin Beraja 就 AI 证明 Navier–Stokes 方程与数学家公开信发表看法：历史上大部分时期「诀窍知识」（prescriptive knowledge）先于「原理知识」（propositional knowledge）——医学治病、蒸汽机运转都远早于人们能解释原因（引 Mokyr 的框架）。数学一直是例外：先原理后应用，而 AI 证明 NV 恰好反转了这一顺序。

他认为这未必是坏事：热力学正是追随蒸汽机而诞生的。但这些机器给出的应用性成果要扩散和被继续构建，原理性知识就必须反过来从机器交付的成果中被创造出来——数学家的公开信正是提醒大家别忘了这件事。