Doing Mathematics with AI Agents: A Case Study
An MIT researcher presents findings from a year-long project exploring the practical integration of AI agents into the process of mathematical discovery and proof.
AI for the Working Mathematician 11/4/2026
Speaker: Andrew Sutherland, MIT
Seminar notes & discussion
No public seminar notes on this lecture yet.