The Leiden Declaration on Artificial Intelligence and Mathematics is published

Sixteen academics, including our Emeritus Fellow, Ursula Martin, developed this Declaration with extensive feedback from the mathematical community. The Consortium convened following the conference, Mechanization and Mathematical Research, at Leiden University in the Netherlands in September 2025.

The Leiden Declaration on the responsible use of AI in mathematics research calls for action to address the challenges posed by the use of artificial intelligence within mathematics research. The Declaration reflects artificial intelligence technologies and mathematical practice as of May 2026 and is endorsed by the International Mathematical Union (IMU).

Professor Dame Ursula, whose work is supported by an Emeritus Fellowship from the Leverhulme Trust, spoke to the New York Times about the Declaration, which aims to “frame the conversation about future directions". Find out more in the full article, As A.I. Makes Strides in Mathematics, Mathematicians Urge Caution and in the Scientific American article, Mathematicians sign declaration to rein in AI use.