The Leiden Declaration on Artificial Intelligence and Mathematics acknowledges the transformative impact of AI technologies on mathematical practice. It recognizes both the potential benefits and diverse reactions among researchers regarding the use of AI in mathematics.