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)→

Original post →

More from Research

Research channel →