AI 猜想搜猎先清掉一批可解数学问题
anderssandberg · x · 2026-07-26
- Anders Sandberg 说，把各种数学猜想丢给 AI 去试探很有意思，并举出一个仍未解决的问题：是否存在没有非重叠展开图的凸多面体。
- 他提到，Barvinok–Ghomi 的 pseudo-edge 构造几乎能推翻这个命题，但 Sol 没能把它进一步改造成真正的 edge 构造。
- 这条线程的核心判断是：未来一段时间里，AI 可能会先筛掉大量“其实用现有工具就能解决”的猜想，留下真正需要新数学的难题。
所属事件:Sandberg谈AI先筛掉可解数学猜想(3 条相关)→
「漫话AGI」频道最新
- 马斯克称文明一旦失去对未来的信念就会死 — elonmusk · 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
- 前 OpenAI 研究员：编程语言正蜕变为机对机暗语 — eptwts · 2026-07-26