CMSA

Working with LLMs to do high quality math
2026-09-09 16:30 - 17:30 (America/New_York) | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
AI for the Working Mathematician
Speaker: Daniel Litt, University of Toronto
Title: Working with LLMs to do high quality math
Abstract: Much hay has been made of the capabilities of LLMs to do math autonomously, and indeed frontier models have resolved some long-standing, interesting open questions. But our goal is not to produce papers, but rather to do high quality mathematics. I’ll discuss some experiments over the past year in trying to get LLMs to help with producing high quality mathematics, non-autonomously, and speculate a bit about the future.

AI for the Working Mathematician
2026-09-23 16:30 - 17:30
AI for the Working Mathematician
Speaker: Akhil Mathew, University of Chicago

AI for the Working Mathematician
2026-09-30 16:30 - 17:30
AI for the Working Mathematician
Speaker: Harold Williams, USC
Title: TBA

AI for the Working Mathematician
2026-10-09 16:30 - 17:30
AI for the Working Mathematician
Speaker: Jordan Ellenberg, University of Wisconsin-Madison
Title: TBA

AI for the Working Mathematician
2026-10-14 16:30 - 17:30
AI for the Working Mathematician
Speaker: Lauren Williams, Harvard
Title: First Proof Batch 3: Mathematicians putting AI to the test

AI for the Working Mathematician
2026-10-21 16:30 - 17:30, 2026-10-28 16:30 - 17:30, 2026-11-04 16:30 - 17:30, 2026-11-18 16:30 - 17:30
AI for the Working Mathematician
Speaker: TBA
Title: TBA

AI for the Working Mathematician
2026-12-02 16:30 - 17:30
AI for the Working Mathematician
Speaker: Mark Selke, Harvard
Title: TBA
