Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
4162 Signatories
  1. Philipp Doebler ORCID Department of Statistics, TU Dortmund University
  2. Rabi Kumar Chakraborty ORCID PhD Student, IUPUI
  3. Lucas Corrêa Lopes ORCID Departamento de Matemática, Universidade Federal de Minas Gerais
  4. Elisa Schaeffer ORCID Doyenne informatique, Collège LaSalle
    Comment

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

  5. 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.

  6. Edoardo SERNESI ORCID Professore emerito, Università degli Studi Roma Tre
  7. Christian Wyss verified email Bergische Universität Wuppertal
  8. Riccardo Tosi ORCID Postdoc, Universität Freiburg
  9. Patrick Morris ORCID Postdoctoral Researcher, Universitat Politècnica de Catalunya
  10. Antoine Maillard ORCID Research scientist (CR), Inria Paris
  11. PETER MAYR ORCID University of Colorado Boulder
  12. Haolin Liu ORCID Carnegie Mellon University
  13. Colette Guillopé verified email Université Paris est Créteil Val de Marne Paris XII
  14. James Squires ORCID Undergraduate Researcher, University of Georgia
    Comment

    ΑΓΕΩΜΕΤΡΗΤΟΣ ΜΗΔΕΙΣ ΕΙΣΙΤΩ

  15. Ilario Bonacina ORCID Lecturer, Universitat Politècnica de Catalunya
  16. Nathan Galley ORCID Undergraduate Student, Utah Valley University
    Comment

    I support this declaration and the contents within it.

  17. Luigi Preziosi verified email Polytechnic Institute of Turin
  18. Adrien Pasquereau ORCID University of St.Gallen
  19. Jorge Mozo Fernández ORCID Catedrático de Análisis Matemático, Universidad de Valladolid
  20. Alberto Parmeggiani verified email Professor of Mathematics, University of Bologna
  21. Max Wenham verified email Salt Lake Community College
  22. Henrik Bachmann ORCID Associate Professor, Nagoya University
  23. Sepehr Assadi ORCID Associate Professor, University of Waterloo
  24. Kenji Ueno ORCID Director, Yokkaichi University
  25. Julien Cortier verified email Université de Montpellier
  26. Yi Luo verified email University of Utah
  27. Martina Iannella ORCID TU Wien
  28. Dorothee Henke ORCID Postdoctoral researcher, University of Passau
  29. FRANCISCO GOMEZ MARTIN ORCID UNIVERSIDAD POLITÉCNICA DE MADRID
  30. Edoardo Giovanni Tolotti ORCID PostDoc Researcher, University of Muenster
  31. Giovanni Inchiostro ORCID Assistant Professor, University of Washington
  32. Espen Robstad Jakobsen ORCID Professor, Norwegian University of Science and Technology NTNU
  33. Alessandro Calvia ORCID Associate professor, Department of Mathematics, Politecnico di Milan
  34. Marc Pantel ORCID Associate Professor, Université de Toulouse, Toulouse INP, IRIT
  35. Mihaela Quirk verified email The University of Texas at Austin
    Comment

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

  36. 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.

  37. Roberto Fernandez ORCID New York University Shanghai
    Comment

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

  38. Felix Medwed verified email Universität Potsdam
  39. Colin Fourel ORCID Doctorant, Université de Strasbourg
  40. Freddy Delbaen verified email Department of Mathematics - ETH Zurich
  41. Andre Kundgen ORCID Professor, California State University San Marcos
  42. Christophe Gole ORCID Professor, Smith College
  43. Renan Mezabarba ORCID Professor, UESC
  44. David N Reynolds ORCID Assistant Professor, University of Warsaw
  45. David M Gay AMPL Optimization, Inc.
  46. Colin Reid ORCID Western Sydney University
  47. Sofya Chepushtanova ORCID Associate Professor, Wilkes University
  48. Giulio Ruzza ORCID Professor Auxiliar, Universidade de Lisboa
  49. 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.

  50. Sam Marsh verified email The University of Sheffield
  51. Anna Fino ORCID University of Torino
  52. Raffaele Pesenti ORCID Professor, Università Ca' Foscari
  53. Robert Nürnberg ORCID University of Trento
  54. Carsten Hartmann ORCID Instute of Mathematics, Brandenburgische Technische Universität Cottbus-Senftenberg
  55. PAUL ALEXANDER SCHWEITZER ORCID Emeritus Full Professor, PUC-Rio de Janeiro
  56. J Michael Pearson ORCID Executive Director, Mathematical Association of America
  57. Siran Li UCL Pure Maths
  58. Kaitlyn Hohmeier ORCID PhD Student, University of North Carolina at Chapel Hill
  59. Matthias Joachim Ehrhardt ORCID Professor, University of Bath
  60. Philippe Jorrand Directeur de recherche CNRS, Grenoble, France (retired) - Theoretical computer science
  61. Christine Lescop ORCID Directrice de recherches, CNRS, Grenoble
  62. Filip Filipi ORCID Research Assistant, University of Bonn
  63. 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.

  64. Emanuele Micheli President Scuola di Robotica - School of Robotics
  65. Lukas Graf ORCID PostDoc, University of Passau
  66. Christopher Ramsey ORCID Associate professor, MacEwan University
  67. Vít Jelínek verified email University of Sussex
  68. Tung T. Nguyen ORCID Assistant Professor, Elmhurst College
  69. Marie-Francoise Roy ORCID emerita professor, Unversite de Rennes
  70. Peize Yuan ORCID
  71. Marija Orlic-Milacic, PhD ORCID Staff Scientist, Ontario Institute for Cancer Research
  72. Ben Briggs
  73. Rufus Lawrence ORCID PhD student, Czech Technical University in Prague
  74. Luis Fernandez verified email CUNY Bronx Community College/CUNY Graduate Center
  75. 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.

  76. Pramila Ramani ORCID Assistant Professor, 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 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.

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

    Needed more than ever

  78. Paul Horn ORCID Professor, University of Denver
  79. Mohamed Aboobucker Mohamed Sameem ORCID
  80. Valentin P. verified email Pontificia Universidad Catolica de Chile
  81. Grégoire Pont verified email EPFL - EPF Lausanne
  82. Zaikun Zhang ORCID Professor, Sun Yat-sen University
  83. Marta Kwiatkowska ORCID Professor, University of Oxford and Polish Academy of Sciences
  84. Nozomu Kutomi ORCID Associate professor/Lecturer (full time), Hanazono University
  85. Maurilio Gutzeit ORCID IU International University of Applied Sciences
  86. Meem Arafat Manab ORCID Universidad Politécnica de Madrid
    Comment

    Oh, the fears are as grave as it gets. Especially the lack of attribution, but even more so how people now do press releases for mathematical breakthroughs. Luciano Floridi recently wrote an article titled "AI and the Future of Publishing: Not Detection, but Answerability" in the journal "Philosophy and Technology", which basically asks us to not forego the use of AI, but to own every word up to deep scrutiny even if we are taking the assistance of generative AI. Applied to mathematics, this line of thought could be very very useful.

  87. Shah Jamal Alam ORCID Habib University
  88. Matthias Plaue ORCID Professor of Mathematics, IU International University of Applied Sciences
    Comment

    Advanced machine learning and AI have the potential to become a key scientific instrument in many academic disciplines. Just as the telescope helped map the stars, planets, and other celestial bodies, AI can help discover patterns in complex mathematical structures. AI can combine verbalization and formalization of past insights to help ideate or outline proofs. Still, no matter how powerful the telescope, science in general, and mathematics in particular, remains an activity driven by human curiosity and rooted in human responsibility.

  89. Dragan Mašulović ORCID professor, Faculty of Sciences, University of Novi Sad, Serbia
  90. Murray Elder ORCID Professor, University of Technology Sydney
  91. Maria Gonzalez Taboada ORCID Associate Professor (tenured), Universidade da Coruña
  92. Aidan Sims ORCID Professor, University of New South Wales
  93. Srijan Das ORCID PhD Student, Indian Institute of Science Education and Research Pune
  94. Kevin Ford ORCID Professor, University of Illinois at Urbana-Champaign
  95. Ramchandran Muthukumar ORCID Postdoctoral Researcher, University of Chicago
  96. Peter Thomas ORCID Professor, Case Western Reserve University
  97. Manfred K. Warmuth verified email University of California, Santa Cruz
  98. Brian Monahan Computer Science Researcher (Retired)
  99. Yuhan Yang verified email Tianjin University
  100. Jie Wang ORCID Associate Professor, Chinese Academy of Sciences