Anders Sandberg says AI will first sweep away the conjectures old tools can solve
anderssandberg · x · 2026-07-26
- Anders Sandberg says he is not a serious conjecture hunter, but expects AI to strip away many problems that existing tools could have solved.
- The remaining conjectures, in his view, will be the ones that really require new mathematics.
- The attached figure shows a “repaired Barvinok–Ghomi planar candidate,” suggesting a near-counterexample to the convex-polyhedra unfolding question.
Related event: Sandberg: AI Will Cull Solvable Conjectures First(3 posts)→
More from AGI Musings
- Elon Musk says civilizations die when they lose faith in the future — elonmusk · 2026-07-26
- AI conjecture hunting could clear out many solvable math problems first — anderssandberg · 2026-07-26
- “Coding is 90–95% solved,” but math still looks open-ended — haider1 · 2026-07-26
- Zachary Lipton backs making model distillation fair game for US companies — zacharylipton · 2026-07-26
- Chamath says open-source AI cannot be dumped, and China’s real edge is electricity — joshua_saxe · 2026-07-26
- Schmidhuber backs open-source model distillation and cites his 1991 work — SchmidhuberAI · 2026-07-26