Leiden Declaration on Artificial Intelligence and Mathematics

This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.

Preamble Technological developments have repeatedly transformed the practice of mathematics. Recent artificial intelligence technologies, including symbolic and neural methods for the generation and formalization of mathematics, may already have initiated a significant chapter in this long history. Among researchers, artificial intelligence has produced a wide range of reactions: enthusiasm for its potential to yield new discoveries; intimidation by the pace of developments; indifference to these rapid changes; and concern for the implications, both for mathematics and in wider society. Mathem

saved by

• Lydia Nottingham
• Bhagyesh Kumar

related reading

• Declaration — Math and AImathandai.org
• A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
• Existential Risk from AI: An Exposition for Mathematiciansalkjash.github.io
• GitHub - lionellevine/MAIS: Open problems, research agendas, and papers in Math for AI Safety — public from draft stage onwardgithub.com
• Mathematicians issue Leiden Declaration against AI misuse of their workthenextweb.com
• Thoughts about the Leiden Declaration | Gowers's Webloggowers.wordpress.com
• A New Consciousness of Mathematicsapoorvapanidapu.substack.com
• AI Safety: A Short FAQ for Mathematiciansalkjash.github.io
• Departmental policy on use of AI_CR_Oct25maths.ox.ac.uk
• Priest, Monk, and Mathematicianlogangraves.com
• Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AI | Scientific Americanscientificamerican.com
• There's never been a better time to go into mathyoutube.com