Prof. Dr. Johan Commelin, Utrecht University, Niederlande

Humanity has developed many different ways to communicate mathematics, ranging from the very intuitive to the rigorous and precise. In this talk I will explore how we communicate mathematics. Using various examples, I will explain how formal proof languages and advances in machine learning can enhance the mathematical ecosystem, thereby allowing us to expand the ways in which we practice mathematics. I will also touch upon the ethical and sociological ramifications of these changes in the mathematical landscape. Parts of this talk are inspired by the workshop "Mechanisation and mathematical research" that recently took place at the Lorentz Center in Leiden.