Sandberg谈AI先筛掉可解数学猜想

Anders Sandberg 认为，把数学猜想交给 AI 去试探很有意思，但它最先筛掉的会是那些其实可用现有工具解决的问题。最终剩下来的，才是真正需要新数学思想的难题；他还举出“是否存在没有非重叠展开图的凸多面体”作为未决例子。

2026-07-26 ~ 2026-07-26 · 3 条相关

• Anders Sandberg：AI 先清掉旧工具可解的猜想 — anderssandberg · 2026-07-26
• AI 猜想搜猎先清掉一批可解数学问题 — anderssandberg · 2026-07-26
• AI 会先筛掉现有数学工具已能解决的猜想 — anderssandberg · 2026-07-26