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).
Leiden Declaration on Artificial Intelligence and Mathematics
