AI for Mathematics panel at ICM 2026

Matthew Ballard participated in the AI for Mathematics panel at the 2026 International Congress of Mathematicians in Philadelphia. Moderated by Emily Riehl, the panel also included Bogdan Georgiev, Javier Gómez-Serrano, Terence Tao, and Geordie Williamson.

The discussion focused on the impact of AI on mathematical research practice, including theorem proving, writing and refereeing, the development of junior researchers, and how the mathematical community can use new technology while advancing human understanding of mathematics.