Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

The primary signatory list now lives on the homepage below the declaration text.

Sign Declaration
3118 Signatories
  1. Alessandra Cipriani verified email University College London, University of London
  2. Julius Nathan Sorral Villar verified email University of Oxford
  3. Catherine Cronin ORCID Independent Scholar
  4. Raphael Steiner ORCID Oberassistent, SNSF Ambizione Fellow, ETH Zürich
    Comment

    Great initiative!

  5. Annette Irungu ORCID PhD Student, Paderborn University
  6. Cindy Tan ORCID University of Chicago
  7. Doğan Dönmez verified email Cukurova University
  8. Gustav Olaf Yunus Laitinen-Fredriksson Lundström-Imanov ORCID Research Assistant, Stockholm University
  9. Chris Swanepoel ORCID University of South Africa
  10. Robin Wilson ORCID Professor, Loyola Marymount University
  11. Adair Antonio da Silva Neto ORCID PhD student, University of Melbourne
  12. Jed Brown ORCID Associate Professor, University of Colorado Boulder
  13. Keziah Naggita PhD student, TTIC
  14. Gordon Ian Williams ORCID Professor of Mathematics, University of Alaska Fairbanks
    Comment

    Responsible use and oversight of these technologies is an essential and urgent need. At the same time, used responsibly, while centering the judgement of mathematicians and the needs of the public, affords interesting and exciting opportunities. There is also a growing need to invest more human resources in the screening and assessment of submissions in mathematics to reputable journals, where I can report from personal experience we are seeing an increasing number of submissions, and much of the growth can be attributed to the use of LLMs and related technologies. There is a real danger of overwhelming the capacities of editors, boards, and reviewers to screen and appropriately assess new works. This will likely require new modes of working and funding in mathematical publishing. Reviewers are fundamentally a finite resource, and I hope organizations like the AMS, MAA, EMS, and CMS are able to rapidly establish standards and supports to help editors and boards carry out their work.

  15. Sarthak Munshi ORCID Carnegie Mellon University
  16. Ivo Emanuilov ORCID Interdisciplinary researcher, KU Leuven
  17. Roman Yampolskiy verified email University of Louisville
    Comment

    Don’t build general superintelligence, use narrow tools you fully understand.

  18. Gerardo Aleman Manzanarez ORCID Ph.D. Computer Science candidate, Tecnológico de Monterrey
  19. Sylvain Soliman ORCID Lifeware team, Inria Saclay - Île-de-France Research Centre
  20. Torgeir Keun Lysen ORCID PhD student, Stanford University
  21. Victor Etxebarria Ecenarro ORCID Professor, Faculty of Science and Technology, University of the Basque Country - EHU
  22. Roberto Arturo Morales Cruz verified email Universidad de las Américas - Puebla
    Comment

    Scientific integrity of mathematics relies on human understanding and rigorous independent verification. While artificial intelligence offers exciting possibilities for discovery, its uncontrolled integration threatens to overwhelm our peer-review systems with unreliable arguments and distort research priorities. By endorsing this declaration, I commit to upholding the values of open science, ensuring full transparency through the disclosure of AI tool usage, and reaffirming that ultimate responsibility and credit for mathematical advancements must always belong to human authors.

  23. Basia Klos verified email University of Colorado at Boulder
  24. Philipp Doebler ORCID Department of Statistics, TU Dortmund University
  25. Rabi Kumar Chakraborty ORCID PhD Student, IUPUI
  26. Lucas Corrêa Lopes ORCID Departamento de Matemática, Universidade Federal de Minas Gerais
  27. Elisa Schaeffer ORCID Doyenne informatique, Collège LaSalle
    Comment

    Coherent attribution, responsible use and enforceable regulation to ensure both are sorely and urgently needed.

  28. Clarissa Sorensen-Unruh ORCID Chemistry Professor (FT 3-term Instructor), Central New Mexico Community College
    Comment

    Many of my concerns with AI are addressed by this declaration.

  29. Edoardo SERNESI ORCID Professore emerito, Università degli Studi Roma Tre
  30. Christian Wyss verified email Bergische Universität Wuppertal
  31. Riccardo Tosi ORCID Postdoc, Universität Freiburg
  32. Patrick Morris ORCID Postdoctoral Researcher, Universitat Politècnica de Catalunya
  33. Antoine Maillard ORCID Research scientist (CR), Inria Paris
  34. PETER MAYR ORCID University of Colorado Boulder
  35. Haolin Liu ORCID Carnegie Mellon University
  36. Colette Guillopé verified email Université Paris est Créteil Val de Marne Paris XII
  37. Ilario Bonacina ORCID Lecturer, Universitat Politècnica de Catalunya
  38. Luigi Preziosi verified email Polytechnic Institute of Turin
  39. Adrien Pasquereau ORCID University of St.Gallen
  40. Jorge Mozo Fernández ORCID Catedrático de Análisis Matemático, Universidad de Valladolid
  41. Alberto Parmeggiani verified email Professor of Mathematics, University of Bologna
  42. Max Wenham verified email Salt Lake Community College
  43. Henrik Bachmann ORCID Associate Professor, Nagoya University
  44. Sepehr Assadi ORCID Associate Professor, University of Waterloo
  45. Kenji Ueno ORCID Director, Yokkaichi University
  46. Julien Cortier verified email Université de Montpellier
  47. Yi Luo verified email University of Utah
  48. Martina Iannella ORCID TU Wien
  49. Dorothee Henke ORCID Postdoctoral researcher, University of Passau
  50. FRANCISCO GOMEZ MARTIN ORCID UNIVERSIDAD POLITÉCNICA DE MADRID
  51. Edoardo Giovanni Tolotti ORCID PostDoc Researcher, University of Muenster
  52. Giovanni Inchiostro ORCID Assistant Professor, University of Washington
  53. Espen Robstad Jakobsen ORCID Professor, Norwegian University of Science and Technology NTNU
  54. Alessandro Calvia ORCID Associate professor, Department of Mathematics, Politecnico di Milan
  55. Marc Pantel ORCID Associate Professor, Université de Toulouse, Toulouse INP, IRIT
  56. Mihaela Quirk verified email The University of Texas at Austin
    Comment

    Computers operate in the first logic realm. Let us keep this in mind.

  57. Patrick Guidotti ORCID Professor, University of California, Irvine
    Comment

    While AI offers significant potential usefulness, it does pose significant threats as eloquently and concisely described in the Leiden declaration. I wholeheartedly support this declaration. It is of paramount importance that we develop a framework for the use of AI that minimizes its negative impacts and allows mathematics (and other sciences) to continue to thrive and contribute to the human endeavor.

  58. Roberto Fernandez ORCID New York University Shanghai
    Comment

    A timely and necessary document. Many thanks to the working committee

  59. Felix Medwed verified email Universität Potsdam
  60. Colin Fourel ORCID Doctorant, Université de Strasbourg
  61. Freddy Delbaen verified email Department of Mathematics - ETH Zurich
  62. Andre Kundgen ORCID Professor, California State University San Marcos
  63. Christophe Gole ORCID Professor, Smith College
  64. Renan Mezabarba ORCID Professor, UESC
  65. David N Reynolds ORCID Assistant Professor, University of Warsaw
  66. Colin Reid ORCID Western Sydney University
  67. Sofya Chepushtanova ORCID Associate Professor, Wilkes University
  68. Giulio Ruzza ORCID Professor Auxiliar, Universidade de Lisboa
  69. Jean Paul VAN BENDEGEM ORCID Vrije Universiteit Brussel
    Comment

    An important document for the future of mathematics, stating responsabilties and appropriate behaviour to face what is coming and to create awareness among all parties concerned.

  70. Sam Marsh verified email The University of Sheffield
  71. Anna Fino ORCID University of Torino
  72. Raffaele Pesenti ORCID Professor, Università Ca' Foscari
  73. Robert Nürnberg ORCID University of Trento
  74. Carsten Hartmann ORCID Instute of Mathematics, Brandenburgische Technische Universität Cottbus-Senftenberg
  75. PAUL ALEXANDER SCHWEITZER ORCID Emeritus Full Professor, PUC-Rio de Janeiro
  76. J Michael Pearson ORCID Executive Director, Mathematical Association of America
  77. Siran Li UCL Pure Maths
  78. Kaitlyn Hohmeier ORCID PhD Student, University of North Carolina at Chapel Hill
  79. Matthias Joachim Ehrhardt ORCID Professor, University of Bath
  80. Philippe Jorrand Directeur de recherche CNRS, Grenoble, France (retired) - Theoretical computer science
  81. Christine Lescop ORCID Directrice de recherches, CNRS, Grenoble
  82. Filip Filipi ORCID Research Assistant, University of Bonn
  83. Matthias Kawski ORCID President's Professor, Arizona State University
    Comment

    For 3 1/2 years I have tested (largely in upper division math classes) and documented the inability of LLM "generative ai systems" to reliably do any logical reasoning, writing proofs: "ai just cant do math." I have presented at numerous regional and international conferences, and continue to explore with my students the (in)abilities of such systems, I most strongly support the Leiden Declaration.

  84. Emanuele Micheli President Scuola di Robotica - School of Robotics
  85. Lukas Graf ORCID PostDoc, University of Passau
  86. Christopher Ramsey ORCID Associate professor, MacEwan University
  87. Vít Jelínek verified email University of Sussex
  88. Tung T. Nguyen ORCID Assistant Professor, Elmhurst College
  89. Marie-Francoise Roy ORCID emerita professor, Unversite de Rennes
  90. Peize Yuan ORCID
  91. Marija Orlic-Milacic, PhD ORCID Staff Scientist, Ontario Institute for Cancer Research
  92. Ben Briggs
  93. Rufus Lawrence ORCID PhD student, Czech Technical University in Prague
  94. Luis Fernandez verified email CUNY Bronx Community College/CUNY Graduate Center
  95. Pramila Ramani Central University of Tamil Nadu
    Comment

    I declare that any Artificial Intelligence (AI) tools used during the preparation of this work were employed solely as assistive technologies to support language refinement, formatting, literature organization, and other non-analytical tasks. All mathematical concepts, theoretical developments, proofs, analyses, interpretations, conclusions, and scholarly judgments presented in this work are my own intellectual contributions. I have carefully reviewed and verified all content to ensure its accuracy, originality, and academic integrity. As an Assistant Professor of Mathematics Education, I affirm that the future of mathematical research must be guided by human judgment, ethical responsibility, fairness, transparency, and the shared values of the global mathematical community. While AI can serve as a valuable aid in academic work, it cannot replace the creativity, critical reasoning, intuition, and rigor that define mathematical inquiry. Mathematics is, and should always remain, a profoundly human endeavour.

  96. Francisco Rosero-Villarreal President, Ecuadorian Society of Bioethics
    Comment

    Needed more than ever

  97. Paul Horn ORCID Professor, University of Denver
  98. Mohamed Aboobucker Mohamed Sameem ORCID
  99. Valentin P. verified email Pontificia Universidad Catolica de Chile
  100. Grégoire Pont verified email EPFL - EPF Lausanne