Leiden Declaration on Artificial Intelligence and Mathematics

This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research. It is the result of a community initiative and is endorsed by the International Mathematical Union (IMU).

The declaration is the work of an open working group of mathematicians and adjacent researchers. The current convenors and administrators of the website are:
Johannes Schmitt — Department Mathematik, ETH Zurich.
Bartosz Naskręcki — Collegium Mathematicum, Adam Mickiewicz University in Poznań.