AI will prune away the conjectures that existing math tools can already solve
anderssandberg · x · 2026-07-26
- Anders Sandberg argues that he is not doing deep conjecture-hunting himself, but he expects AI to eliminate many conjectures that could already be solved with current tools.
- What remains, in his view, will be the problems that genuinely require new mathematics.
- The attached plots illustrate a candidate construction and its associated statistics, reinforcing the idea that AI can be used as a triage tool for mathematical conjectures.
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