Anders Sandberg：AI 先清掉旧工具可解的猜想
anderssandberg · x · 2026-07-26
- Anders Sandberg 表示自己并不是认真的猜想猎手，但他预计，AI 会先把很多本来用现有工具就能解决的问题筛掉。
- 在他看来，最后留下来的，才会是那些真正需要新数学的难题。
- 配图展示了一个“修补过的 Barvinok–Ghomi 平面候选构造”，暗示它几乎构成了凸多面体展开问题的反例。
所属事件:Sandberg谈AI先筛掉可解数学猜想(3 条相关)→
「漫话AGI」频道最新
- 马斯克称文明一旦失去对未来的信念就会死 — elonmusk · 2026-07-26
- AI 猜想搜猎先清掉一批可解数学问题 — anderssandberg · 2026-07-26
- “编程已解决 90%–95%”，但数学仍几乎没有上限 — haider1 · 2026-07-26
- Zachary Lipton 支持把模型蒸馏视为美国公司的公平游戏 — zacharylipton · 2026-07-26
- Chamath 说开源 AI 不存在倾销，中国真正优势是电力 — joshua_saxe · 2026-07-26
- 施密德胡伯支持开源模型蒸馏，称自己 1991 年已发表相关工作 — SchmidhuberAI · 2026-07-26