02/06/2026
We were glad to see the Leiden Declaration published today, which calls on mathematicians, research organisations, and governments to act now to ensure AI is used to enhance rather than diminish mathematics.
The declaration sets out 23 recommendations to ensure mathematics remains a discipline grounded in proof, insight, openness, and trust.
It identifies five major risks: unreliable results entering an already overburdened publication system, failures of attribution and copyright, growing dependence on proprietary tools and expensive computing power, the overhyping of AI-driven results, and the danger that mathematics could lose autonomy over its own research agenda.
At the Isaac Newton Institute, we are proud to have played a small but important convening role in the story behind this landmark declaration. The idea for a declaration first took shape in a pub in Cambridge during the 2025 follow-on workshop to the 2017 Big Proof programme, and then after it was drafted in Leiden, some of the authors returned to the INI in April 2026 for workshop on AI and Maths, where they met key people at the IMU.
Read more on the INI website: https://www.newton.ac.uk/news/ini-news/mathematicians-call-for-action-on-ai-to-protect-the-future-of-the-discipline/
Explore the declaration here: https://leidendeclaration.ai/