Friday, September 19, 2025

Mathematics in the age of automated proofs

at Leiden University

This public symposium examines how mathematical research may evolve in an era of artificial intelligence and automated proof, it concludes the Lorentz Center workshop Mechanization and Mathematical Research.

Registration is now closed, as this public event has reached full capacity. We hope to make recordings of the presentations available after the event.

Programme and speakers

Friday September 19, 2025. Room CM.1.26 at the Gorleaus Building.

12.50 doors open
13.10 welcome
13.20 Thomas Hubert — AlphaProof: from the Lab into your Hands
14.10 Stephanie Dick — After Math: historical perspectives on automated intelligence
15.00 coffee
15.30 Akshay Venkatesh — What do we tell our students about AI?
16.20 panel discussion and Q&A, chaired by Robbert Dijkgraaf
17.15 reception

Robbert Dijkgraaf

is a theoretical physicist and a professor of Science and Society at the University of Amsterdam. He is the president of the International Science Council and has previously served as the Minister of Education, Culture and Science in the Netherlands, and as the Director of the IAS in Princeton.

Thomas Hubert

is a research scientist at Google DeepMind in London. He was involved in the AlphaGo and AlphaZero projects, and led the development of the AlphaProof system achieving a silver medal performance at the 2024 International Mathematics Olympiad.

Stephanie Dick

is a historian at Simon Fraser University in Vancouver. She studies the history of technology and mathematics, with a focus on historical efforts to automate human cognition, mathematical theorem-proving and problem-solving.

Akshay Venkatesh

is a mathematician at the Institute for Advanced Study in Princeton. He received a Fields Medal in 2018 for his work at the interface of number theory, topology and representation theory. Since 2021 he has been engaging mathematicians to reflect on the future of their discipline.

Registration

Registration is now closed, as the event has reached full capacity.

Venue

This event takes place in room CM.1.26 of the Gorleaus Building at Leiden University. It can be easily reached on foot or by bus from the Leiden Centraal train station.

Organizers and sponsors

This symposium is organised by Johan Commelin (Utrecht University and Lean FRO), Ronald van Luijk (Leiden University), Rodrigo Ochigame (Leiden University), and Lenny Taelman (University of Amsterdam) in collaboration with:

We gratefully acknowledge financial support from the following sponsors:

Google Sites

Report abuse