The Leiden Declaration warns AI threatens mathematical research values. Endorsed by the International Mathematical Union.