1993 年神预言:电脑证明黎曼猜想人类却看不懂会多沮丧
pickover · x · 2026-09-17
数学家 Ronald Graham 在 1993 年《科学美国人》中写道:'如果在未来的某一天,你可以问一台计算机黎曼猜想是否正确,它回答说是的,但你无法理解这个证明——那将非常令人沮丧。'这条三十年前的预言在 AI 快速推进数学研究的今天被重新翻出,精准呼应了当前关于 AI 自动定理证明与人类可解释性的讨论。
「漫话AGI」频道最新
- Noam Brown 深谈 Agent 集群、对齐与递归自我改进 — Recoil42 · 2026-09-18
- Polymarket 用 AI 编码代理重写 Rust API，p99 延迟降九成 — ivan_bezdomny · 2026-09-17
- OpenAI AGI 经济学主管：AI 是发展中国家的「移动支付式跃迁」 — daveholtz · 2026-09-17
- 「Astra 擅长 CAD，不代表你不用会 CAD」引热议 — _Stocko_ · 2026-09-17
- Noam Brown 深谈智能体蜂群、递归自我改进与对齐信号 — Dwarkesh Podcast · 2026-09-17
- 哲学家 Seth Lazar 宣布兼职加入独立 AI 安全机构 Resolution — sethlazar · 2026-09-17