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 […]