AI technology is on the rise. So are its applications in industry, science, and society at large. At

https://leidendeclaration.ai

we, a group of 16 scientists, including mathematicians, computer scientists, philosophers, and historians, have drafted a declaration calling for action on the challenges posed by the use of artificial intelligence in mathematical research.

Over several months, we carefully weighed the promises and risks of introducing AI into research workflows and beyond. The declaration has already been endorsed by international communities, most prominently by the International Mathematical Union, as well as by a large group of mathematicians and other scientists.

We invite our colleagues to sign the declaration and support its recommendations on how AI should be adopted in our workflows, and how we should establish and maintain relationships with AI labs and industry. One of its central points is the need to preserve balance, rigor, and sound judgment while acknowledging the extraordinary pace of development in the AI community.

We hope this declaration, a deeply human act, will serve as a guiding document for those who recognize the human imperative and the need for governance in scientific discovery, especially mathematical discovery.