面对 AI 数学争论,keenan 推荐重读 Thurston 1994 年经典《论证明与数学进步》

keenanisalive · x · 2026-09-13

针对近期围绕 Navier–Stokes 与 AI 数学的讨论,keenanisalive 表示数学家 William Thurston 早在三十年前就把该说的都说完了,推荐重读其 1994 年论文《On Proof and Progress in Mathematics》。

该论文是对 Jaffe–Quinn 之争的回应,核心论点:数学的进步不只体现为定理的形式化证明,还包括人类对数学概念的理解深化;Thurston 结合自己在叶状结构、三维流形几何化与动力系统方面的工作,阐述了形式证明之外多种形式的数学进展。