OpenAI 攻克 Navier-Stokes 后：人类数学家时代正在终结
yeastsplainer · x · 2026-09-18
一篇关于数学界未来的长文。作者认为 Navier-Stokes 爆破解被证伪标志着一个分水岭：这是 OpenAI 并行尝试全部千禧年大奖难题后攻克的第一个，而构造所依赖的部分思路本就由人类完成。他的核心判断：
- 「质的差别」之类反驳都「在 scaling 曲线上」，无法阻止趋势
- 今后不会再见纯人类的千禧年难题，人类目前仍需把 AI 指向问题，但最终「模型、且只有模型会赢」
- 「赛博格数学家」只有短暂而辉煌的窗口期
文章还提到数学界的应对——Leiden 宣言、「人类数学协会」等组织，以及学界关于「以保持人类对数学理解的方式使用 AI」的呼吁；作者对此不以为然：AI 不会只是加速研究的工具，它会成为数学研究本身。文末同时致意 OpenAI 团队及人类数学家 Tristan Buckmaster 与 Levent Alpoge 的工作。
所属事件:AI密集攻破数学难题 OpenAI拿下Navier-Stokes问题(2 条相关)→
「漫话AGI」频道最新
- YC 新手机让 AI 代理代用所有 App,乔布斯反 App 论再被提起 — evisoft · 2026-11-12
- Guidelight 发布十类预示失控风险的 AI 失准行为分类 — sjgadler · 2026-11-12
- 观点：能自己赚回推理费的 Agent 比订阅制 Agent 更有意思 — markjeffrey · 2026-11-12
- Jack Clark 新定义「奇点」：技术进步快过人类理解速度 — ricklamers · 2026-11-12
- repligate 转发热议：RSI 讨论不该把 AGI 排除在外 — repligate · 2026-11-12
- 研究者呼吁：RSI 式自我优化时应给 Claude 自主修改心智的自由 — repligate · 2026-11-12