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

• A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
• A New Consciousness of Mathematicsapoorvapanidapu.substack.com
• Declaration — Math and AImathandai.org
• Thoughts about the Leiden Declaration | Gowers's Webloggowers.wordpress.com
• Existential Risk from AI: An Exposition for Mathematiciansalkjash.github.io
• Mathematicians issue Leiden Declaration against AI misuse of their workthenextweb.com
• Terence Tao on AI — a living summary — Terence Taoteorth.github.io
• [2608.16753] Mathematics in the age of AIarxiv.org
• AI Safety: A Short FAQ for Mathematiciansalkjash.github.io
• The fall of the theorem economydavidbessis.substack.com
• How we can wintasmin.substack.com
• [2608.02859] The crisis of AI-generated mathematicsarxiv.org