Talk at Geometry of ML 2026 shows AI finding and recommending resolutions to open math conjectures
wellecks · x · 2026-09-11
The author gave a talk at The Geometry of Machine Learning 2026 on their team's recent work in AI-assisted mathematical discovery.
The research focuses on systematically finding, attempting, and recommending resolutions to open mathematical conjectures using AI systems. The slides are publicly available for those who want to dig into the methodology.
Related event: CMU's FAR Framework Sifts 5,245 Papers for Conjectures Worth Solving(3 posts)→
More from Research
- Fortnow: P vs NP beyond AI's reach, but NP vs L separations could fall — fortnow · 2026-09-11
- MaP-WAM tackles non-Markovian robot manipulation with memory-grounded planning — Sizhe Zhao · 2026-09-11
- Negative Self-Distillation improves LLM reasoning by avoiding flawed reasoning paths — Rongcan Pei · 2026-09-11
- DeepMind-led paper makes design docs the source of truth, code disposable — SMART regenerates in 1.5-3h for ~$100 — Roger_M_Taylor · 2026-09-11
- GameWorld wins Best Paper Runner-Up at ECCV 2026 Multimodal Digital Agents Workshop — MikeShou1 · 2026-09-11
- Yann LeCun live at ECCV on World Models — Weak_Assistance_5261 · 2026-09-11