AI for mathematical understanding

Seminar: 
Special Guest Lecture
Event time: 
Thursday, October 8, 2026 - 4:15pm
Location: 
WTS (Watson) A30
Speaker: 
Daniel Litt
Speaker affiliation: 
University of Toronto
Event description: 

AI systems are now more-or-less autonomously solving some interesting open problems, resulting in an abundance of PDFs. This presents a problem for our profession, which was already bottlenecked by our ability to understand one another’s work even prior to AI. I’ll survey the recent history of AI and math, discuss some experiments using AI tools non-autonomously, and speculate a bit about the future.