OpenAI 攻克 Navier-Stokes 后：人类数学家时代正在终结
yeastsplainer · x · 2026-09-18
一篇关于数学界未来的长文。作者认为 Navier-Stokes 爆破解被证伪标志着一个分水岭：这是 OpenAI 并行尝试全部千禧年大奖难题后攻克的第一个，而构造所依赖的部分思路本就由人类完成。他的核心判断：
- 「质的差别」之类反驳都「在 scaling 曲线上」，无法阻止趋势
- 今后不会再见纯人类的千禧年难题，人类目前仍需把 AI 指向问题，但最终「模型、且只有模型会赢」
- 「赛博格数学家」只有短暂而辉煌的窗口期
文章还提到数学界的应对——Leiden 宣言、「人类数学协会」等组织，以及学界关于「以保持人类对数学理解的方式使用 AI」的呼吁；作者对此不以为然：AI 不会只是加速研究的工具，它会成为数学研究本身。文末同时致意 OpenAI 团队及人类数学家 Tristan Buckmaster 与 Levent Alpoge 的工作。
「漫话AGI」频道最新
- tszzl：反对造生命的深层禁忌将成现实世界的强大力量 — tszzl · 2026-09-18
- EA 运动再成焦点：当年劝捐身家,如今掌控 AI 世界 — wordgrammer · 2026-09-18
- paraschopra:模型公司正开启第三条 scaling 轴——万级智能体集群 — paraschopra · 2026-09-18
- Anthropic 员工解释为何不再为退役模型办「葬礼」 — repligate · 2026-09-18
- 1988年科幻短篇预言「涌现式中文房间」,主角靠彩衣演员与它对话 — toptickcrypto · 2026-09-18
- Noam Brown:气隙隔离也挡不住失控 AI,安全标准必须大幅提高 — basedjensen · 2026-09-18