Scott Aaronson 对谈:AI 攻克数十年数学难题,数学家会否过时
romanyam · x · 2026-10-29
Roman Forum 播客中,Roman Yampolskiy 与理论计算机科学家 Scott Aaronson 讨论 AI 在数学上的突破:AI 已解决困扰人类数十年的数学问题,理论计算机科学家几乎跟不上进度。两人讨论 P vs NP 是否会是下一个被攻克的难题、人类数学家是否正变得多余,以及 AI 的存在性风险。作者补充,访谈后 OpenAI 宣称已证明指数时间假说为假。
所属事件:Scott Aaronson 对谈：AI 攻克数十年数学难题引发生存之问(2 条相关)→
「漫话AGI」频道最新
- Dylan Field：设计师的横向思维与文化联想能力是模型不具备的 — round · 2026-10-29
- 与模型深度协作反而让我更觉人间真实：开发者的意外感悟 — round · 2026-10-29
- repligate 转议 AI 心智的自我创造：需要「器官」与「机构」才能成自我 — repligate · 2026-10-29
- repligate 深谈 Claude 3 Opus：若无它，Bing Sydney 会被当成异常 — repligate · 2026-10-29
- 用 1988 年质量成本曲线理解前沿 AI 能力市场 — sebkrier · 2026-10-29
- Reddit 网友：电力与计算机的历史正在重演，AI 的价值不在替代劳动而在创造新需求 — Imaginary-Energy6898 · 2026-10-29