AI 证明 Navier-Stokes 后,数学家理解首次落后于证明
geoffwolfe · x · 2026-09-13
围绕 OpenAI 用机器构造出 Navier-Stokes 爆破解的讨论持续发酵。
- 数学家 Scott Armstrong 不同意「人类看不懂所以没价值」的批评：这是对该领域的巨大贡献，PDE 分析界需要几周到几个月消化，届时人类对这些方程的理解将越过自 Leray 以来卡了约 100 年的瓶颈。
- 他点出历史性转折：过去重大证明总是先有人类理解、再有证明；从今以后人类理解将普遍落后于证明。
- 转发者回应常见的「你根本看不懂」批评：这类不满会像其他质疑一样逐渐消退，机器产出的证明本身就是贡献。
核心观点：AI 数学发现正在改变「证明先于理解」的科研范式。
「漫话AGI」频道最新
- 用博弈论看「减速 AI」：承诺放慢者必然暗中全速前进 — haider1 · 2026-09-13
- 开发者心态转向：想买的是让 Agent 自动干活的 SaaS — eptwts · 2026-09-13
- 写作间隙 AI 解出千禧年大奖难题，博主断言再无「正常时代」 — voooooogel · 2026-09-13
- 英国普雷斯顿推 AI 训练营，助百万 Neet 青年转学徒就业 — nordicinst · 2026-09-13
- 「AI 抢不走所有人饭碗」：一段视频论证失业悖论与过剩需求 — EGarrett28 · 2026-09-13
- Altman、Musk、Hassabis 力挺 Amodei，吁设 AI 独立监督 — The Decoder · 2026-09-13