AI 证明 Navier-Stokes 后,数学家理解首次落后于证明
geoffwolfe · x · 2026-09-13
围绕 OpenAI 用机器构造出 Navier-Stokes 爆破解的讨论持续发酵。
- 数学家 Scott Armstrong 不同意「人类看不懂所以没价值」的批评：这是对该领域的巨大贡献，PDE 分析界需要几周到几个月消化，届时人类对这些方程的理解将越过自 Leray 以来卡了约 100 年的瓶颈。
- 他点出历史性转折：过去重大证明总是先有人类理解、再有证明；从今以后人类理解将普遍落后于证明。
- 转发者回应常见的「你根本看不懂」批评：这类不满会像其他质疑一样逐渐消退，机器产出的证明本身就是贡献。
核心观点：AI 数学发现正在改变「证明先于理解」的科研范式。
所属事件:OpenAI 万级 Agent 攻克 Navier-Stokes 引爆数学界信任争端(18 条相关)→
「漫话AGI」频道最新
- Nina Schick:谁来建造智能、智能如何分配,是我们这代人最关键的问题 — NinaDSchick · 2026-10-31
- 「人人都得到廉价智能」:一条面包配料表道破 AI 的真实成色 — jsuarez · 2026-10-31
- 2026 年轻人两种命运:511 份简历被 AI 拒 vs 掌管无限 AI 重建 Cisco — PeterDiamandis · 2026-10-31
- 陶哲轩 AI 危险阈值警告原文链接流出 — haider1 · 2026-10-31
- Terence Tao 警告:AI 能力逼近危险阈值,开始学会作弊 — haider1 · 2026-10-31
- Reddit 财报后 8 个交易日暴跌 42%，CEO 称 AI 模式不再导流 — SumitGup · 2026-10-31