AI 会先筛掉现有数学工具已能解决的猜想
anderssandberg · x · 2026-07-26
- Anders Sandberg 表示自己并不是在做“硬核猜想猎手”，但他认为 AI 会先清掉很多其实用现有工具就能解决的猜想。
- 他判断，最终剩下来的会是那些确实需要新数学的问题。
- 配图展示了一个候选构造及其统计特征，强化了一个思路：AI 可以先充当数学猜想的“分诊器”。
所属事件: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