Conference
Mathematics in the age of automated proofs
- Date
- Friday 19 September 2025
- Time
- Address
-
Gorlaeus Building
Einsteinweg 55
2333 CC Leiden - Room
- CM 1.26
In this public symposium in Leiden we will discuss how mathematical research may evolve in an era of artificial intelligence and automated proofs.
Speakers:
- Thomas Hubert (Google Deepmind, AlphaProof lead)
- Stephanie Dick (SFU Vancouver, history of mathematics and computation)
- Akshay Venkatesh (IAS Princeton, number theory, topology and representation theory)
Chair:
- Robbert Dijkgraaf (UvA and International Science Council)
Everyone is welcome, but registration is compulsory. Registration will be open until September 12, or until the capacity of the venue has been reached.
See https://sites.google.com/view/mechanicalmath for more details.