Leiden Declaration on Artificial Intelligence and Mathematics - Tech Sentiments