Doing mathematics with AI agents: A case study
AI for the Working Mathematician Speaker: Andrew Sutherland, MIT Title: Doing mathematics with AI agents: A case study Abstract: I will describe a project with four human collaborators and a varying cast of AI agents that ran from summer 2025 to summer 2026, what we learned about working with AI agents in the process, and what I have learned since […]