The big AI/math news is the release today of the Leiden Declaration on Artificial Intelligence and Mathematics. It’s an excellent attempt to identify the new threats to the intellectual culture of the mathematics community and begin a discussion of what …