ICM Public Lecture: Geordie Williamson

AI and Humanity's Longest Conversation

Speaker: Geordie Williamson
Date: July 26, 2026, 3:30 - 4:30 pm

ABSTRACT

Mathematics has been called humanity's longest conversation. Observations of Euclid, Pythagoras, Euler and Poincaré still occupy the minds of mathematicians today. This conversation has experienced shocks and challenges, including the crisis of foundations in the early 20th century, and the first computer assisted proofs in the second half of the 20th century. We are currently in the midst of another shock, with the rise of formal proof and the first signs of AI systems helping to produce research-level mathematics. This raises questions of fundamental importance: How should mathematicians respond to AI? Will AI systems help (or hinder) our understanding of the mathematical world? Williamson will discuss some recent developments at the interface of mathematics and AI, with the aim of having a clearer picture of this unique point in the history of mathematics.