In this event, we want to reflect on how developments in formal mathematics and AI for theorem proving may change the practice of mathematical research. We have an exciting group of experts from computer science, mathematics, history, and philosophy lined up. Confirmed participants:

Jarod Alper (U Washington), Jeremy Avigad (Carnegie Mellon), Michael Barany (Edinburgh), Kevin Buzzard (Imperial College), Antoine Chambert-Loir (Paris Cité), Thierry Coquand (Gothenburg), Silvia De Toffoli (Pavia), Walter Dean (Warwick), Simon DeDeo (Carnegie Mellon), Stephanie Dick (Simon Fraser), Robbert Dijkgraaf (U Amsterdam), Catarina Dutilh Novaes (VU Amsterdam), Timothy Gowers (Collège de France), Massimiliano Gubinelli (Oxford), Thomas Hubert (Google DeepMind), Albert Jiang (Mistral AI), Bryna Kra (Northwestern), Wenda Li (Edinburgh), Heather Macbeth (Imperial College), Jim Portegies (TU/Eindhoven), Talia Ringer (U Illinois), Ronald van Luijk (Leiden), Jan van Neerven (TU Delft).

There is still room for 25-30 additional participants, and we invite everyone how is interested in reflecting on the mathematical practice to apply to participate. Junior mathematicians in particular are strongly encouraged to apply (and we have some limited financial support for junior participants). Application deadline is June 9.

For more information and to apply see the website

Feel free to forward this message to potentially interested participants.

The organisers, Johan Commelin, Mateja Jamnik, Rodrigo Ochigame, Lenny Taelman, Akshay Venkatesh