12/06/2026
Leiden Declaration on AI in Mathematics traces its origins to Lorentz Center workshop
A new international declaration on the responsible use of artificial intelligence in mathematics has been released, calling for transparency, accountability, and the preservation of human understanding in mathematical research.
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.
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.