- Series
- School of Mathematics Colloquium
- Time
- Thursday, September 24, 2026 - 11:00am for 1 hour (actually 50 minutes)
- Location
- Skiles 005
- Speaker
- Matthew Ballard – University of South Carolina – https://www.matthewrobertballard.com
- Organizer
- Harold Blum
Working productively with modern AI tools requires looking beyond the products as they are currently packaged, identifying the underlying capabilities that are useful for our own goals, and then building systems to make those capabilities an honest net benefit in practice. The aim is to make the tools suit our interests while preserving what we value in mathematics. I will discuss this perspective through examples centered on research and verification.