The London Mathematical Society has published the Leiden Declaration on Artificial Intelligence and Mathematics, signed by over 40 mathematical organizations worldwide. The declaration warns against over-reliance on AI in mathematical research, emphasizing that AI lacks true understanding and creativity. It calls for continued investment in human-led mathematics and urges caution in using AI for peer review or funding decisions. The document also highlights risks of bias, reproducibility crises, and the environmental cost of large-scale AI models.
The Leiden Declaration is a wake-up call. Mathematicians are saying what many in tech quietly suspect: AI is a tool, not a replacement. It can pattern-match but not prove. It can generate but not understand. This is not anti-tech. It is pro-truth.
The declaration is a blueprint for healthy collaboration. Let AI handle the grunt work. Let humans handle the meaning. That is the future we should build. Not one where we outsource thinking to machines, but one where we think better with them.