The Leiden Declaration on Artificial Intelligence and Mathematics is the result of a broad community initiative and has received endorsement from the International Mathematical Union. It's a call to safeguard the core values of mathematics in the age of AI.
The declaration argues that AI can be a valuable tool but insists that mathematicians remain responsible for the correctness, originality, and interpretation of their work. It also calls for clear disclosure of AI use and highlights concerns about attribution, reproducibility, and the long-term health of mathematical culture.
Workshop
The initiative began at a workshop hosted by the Lorentz Center. The workshop Mechanization and Mathematical Research brought together mathematicians, computer scientists, philosophers, social scientists, and policymakers to reflect on how rapid advances in AI are reshaping mathematical research and to discuss how the mathematical community should respond.
During the eight months following the conference, a smaller working group, brought together by Jim Portegies of the Eindhoven University of Technology, developed this Declaration, with extensive feedback from the mathematical community.
In February, we interviewed one of the workshop’s co-organizers, Rodrigo Ochigame, for our newsletter. You can revisit this interview here.
