Leiden Declaration on Artificial Intelligence and Mathematics 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). Sign this Declaration Read Declaration Download Declaration Endorsements View signatories