Scott Aaronson 访谈:AI 正解出困扰人类数十年的数学难题
romanyam · x · 2026-10-29
主持人 romanyam 在 The Roman Forum 播客与理论计算机科学家 Scott Aaronson 对谈 AI 在数学上的突破：模型已解决困扰人类数十年的问题，理论计算机科学家几乎跟不上进展，并讨论 P vs. NP 会不会是下一个被攻克的方向、人类数学家是否正变得多余。主持人还补充称，访谈之后 OpenAI 宣称已证明指数时间假说（Exponential Time Hypothesis）不成立。
所属事件:Scott Aaronson 对谈：AI 攻克数十年数学难题引发生存之问(2 条相关)→
「漫话AGI」频道最新
- 构建者思考：最宝贵的本地权重在你自己脑中 — curious_vii · 2026-10-29
- AI 能复制人类技能，但替代不了联结与生命体验 — LuizaJarovsky · 2026-10-29
- Miles Brundage 曝英国高层官员曾组 AI 专家圆桌定政策方向 — robertskmiles · 2026-10-29
- 并购方整合小会计所，用 AI "CFO" 让 10 人服务 40 客户 — alex_verem · 2026-10-29
- 评论人断言 LLM 写不出新颖内容，称人文学科要回归 — StewartalsopIII · 2026-10-29
- 放射科会最先被 AI 全自动化？预测 2027 年底 — MaziyarPanahi · 2026-10-29