A public symposium in Leiden to 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 registration and a detailed programme.