Leiden Declaration on Artificial Intelligence and Mathematics