AI 证明纳维-斯托克斯方程：166 页手稿人类读不懂
Pascallisch · x · 2026-09-26
一篇关于 AI 起草的纳维-斯托克斯方程证明的报道引发热议。这份 166 页的手稿被认为技术上是正确的，但「不是为人类写的」——牛津大学数学家 James Maynard 表示，迄今为止人类很难从这份 AI 证明中提取出真正的理解；布朗大学的 Javier Gómez-Serrano（本人用 AI 做研究）认为经过认真改写后或有助推动领域进展，但目前人类从解中「学到的东西很少」。
Pascallisch 据此提出未来数学的分工图景：数学教授的角色是提出有趣的问题，答案由 AI 给出，而因为没人能看懂答案，验证和解释答案也将成为人类工作的一部分。
「漫话AGI」频道最新
- 黄仁勋称不信 scaling laws，还称 AGI 只是营销话术 — teortaxesTex · 2026-09-26
- 按李嘉图比较优势理论,人类该给 Agent 打下手了? — arjunrajlab · 2026-09-26
- AI 攻克的是生产稀缺：边际创作成本正在崩塌 — ericwdolan · 2026-09-26
- 互联网让分发归零，AI 将让生产归零 — ericwdolan · 2026-09-26
- 互联网让分发变便宜，AI 让创作本身变便宜 — ericwdolan · 2026-09-26
- 消费级 agent 崛起：万亿级竞争下，互联网入口面临 Google 级洗牌 — thechrisperry · 2026-09-26