(New) 11 March 2026, General Mathematics Colloquium, Jeroen Zuiddam
Speaker: Jeroen Zuiddam
Title: AI for (or Against) the Working Mathematician
Date: Wednesday 11 March 2026
Time: 16:00-17:00
Location: Nikhef colloquium zaal (ground floor), Science Park 105, Amsterdam
Mathematics is on the brink of exciting and disruptive change. Recent developments in automatic formalisation (transforming human-readable proofs into machine-checkable proofs) open the door to rapid mathematical verification and exploration. How does this impact our work? Through examples of my own and others, I will discuss capabilities of current AI/formalisation tools (tools that *you* can use, "off the shelf", right now) in the context of mathematical research, and the challenges and opportunities this presents.
For more information, see
https://kdvi.uva.nl/content/events/2026/03/general-math-colloquium-jeroen-zuiddam.html
or contact Eni Musta at e.musta at uva.nl.