Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
3085 Signatories
  1. PETER MAYR ORCID University of Colorado Boulder
  2. Haolin Liu ORCID Carnegie Mellon University
  3. Colette Guillopé verified email Université Paris est Créteil Val de Marne Paris XII
  4. Ilario Bonacina ORCID Lecturer, Universitat Politècnica de Catalunya
  5. Luigi Preziosi verified email Polytechnic Institute of Turin
  6. Adrien Pasquereau ORCID University of St.Gallen
  7. Jorge Mozo Fernández ORCID Catedrático de Análisis Matemático, Universidad de Valladolid
  8. Alberto Parmeggiani verified email Professor of Mathematics, University of Bologna
  9. Max Wenham verified email Salt Lake Community College
  10. Henrik Bachmann ORCID Associate Professor, Nagoya University
  11. Sepehr Assadi ORCID Associate Professor, University of Waterloo
  12. Kenji Ueno ORCID Director, Yokkaichi University
  13. Julien Cortier verified email Université de Montpellier
  14. Yi Luo verified email University of Utah
  15. Martina Iannella ORCID TU Wien
  16. Dorothee Henke ORCID Postdoctoral researcher, University of Passau
  17. FRANCISCO GOMEZ MARTIN ORCID UNIVERSIDAD POLITÉCNICA DE MADRID
  18. Edoardo Giovanni Tolotti ORCID PostDoc Researcher, University of Muenster
  19. Giovanni Inchiostro ORCID Assistant Professor, University of Washington
  20. Espen Robstad Jakobsen ORCID Professor, Norwegian University of Science and Technology NTNU
  21. Alessandro Calvia ORCID Associate professor, Department of Mathematics, Politecnico di Milan
  22. Marc Pantel ORCID Associate Professor, Université de Toulouse, Toulouse INP, IRIT
  23. Mihaela Quirk verified email The University of Texas at Austin
    Comment

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

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

  25. Roberto Fernandez ORCID New York University Shanghai
    Comment

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

  26. Felix Medwed verified email Universität Potsdam
  27. Colin Fourel ORCID Doctorant, Université de Strasbourg
  28. Freddy Delbaen verified email Department of Mathematics - ETH Zurich
  29. Andre Kundgen ORCID Professor, California State University San Marcos
  30. Christophe Gole ORCID Professor, Smith College
  31. Renan Mezabarba ORCID Professor, UESC
  32. David N Reynolds ORCID Assistant Professor, University of Warsaw
  33. Colin Reid ORCID Western Sydney University
  34. Sofya Chepushtanova ORCID Associate Professor, Wilkes University
  35. Giulio Ruzza ORCID Professor Auxiliar, Universidade de Lisboa
  36. 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.

  37. Sam Marsh verified email The University of Sheffield
  38. Anna Fino ORCID University of Torino
  39. Raffaele Pesenti ORCID Professor, Università Ca' Foscari
  40. Robert Nürnberg ORCID University of Trento
  41. Carsten Hartmann ORCID Instute of Mathematics, Brandenburgische Technische Universität Cottbus-Senftenberg
  42. PAUL ALEXANDER SCHWEITZER ORCID Emeritus Full Professor, PUC-Rio de Janeiro
  43. J Michael Pearson ORCID Executive Director, Mathematical Association of America
  44. Siran Li UCL Pure Maths
  45. Kaitlyn Hohmeier ORCID PhD Student, University of North Carolina at Chapel Hill
  46. Matthias Joachim Ehrhardt ORCID Professor, University of Bath
  47. Philippe Jorrand Directeur de recherche CNRS, Grenoble, France (retired) - Theoretical computer science
  48. Christine Lescop ORCID Directrice de recherches, CNRS, Grenoble
  49. Filip Filipi ORCID Research Assistant, University of Bonn
  50. 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.

  51. Emanuele Micheli President Scuola di Robotica - School of Robotics
  52. Lukas Graf ORCID PostDoc, University of Passau
  53. Christopher Ramsey ORCID Associate professor, MacEwan University
  54. Vít Jelínek verified email University of Sussex
  55. Tung T. Nguyen ORCID Assistant Professor, Elmhurst College
  56. Marie-Francoise Roy ORCID emerita professor, Unversite de Rennes
  57. Peize Yuan ORCID
  58. Marija Orlic-Milacic, PhD ORCID Staff Scientist, Ontario Institute for Cancer Research
  59. Ben Briggs
  60. Rufus Lawrence ORCID PhD student, Czech Technical University in Prague
  61. Luis Fernandez verified email CUNY Bronx Community College/CUNY Graduate Center
  62. 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.

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

    Needed more than ever

  64. Paul Horn ORCID Professor, University of Denver
  65. Mohamed Aboobucker Mohamed Sameem ORCID
  66. Valentin P. verified email Pontificia Universidad Catolica de Chile
  67. Grégoire Pont verified email EPFL - EPF Lausanne
  68. Zaikun Zhang ORCID Professor, Sun Yat-sen University
  69. Marta Kwiatkowska ORCID Professor, University of Oxford and Polish Academy of Sciences
  70. Nozomu Kutomi ORCID Associate professor/Lecturer (full time), Hanazono University
  71. Maurilio Gutzeit ORCID IU International University of Applied Sciences
  72. 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.

  73. Shah Jamal Alam ORCID Habib University
  74. 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.

  75. Dragan Mašulović ORCID professor, Faculty of Sciences, University of Novi Sad, Serbia
  76. Murray Elder ORCID Professor, University of Technology Sydney
  77. Maria Gonzalez Taboada ORCID Associate Professor (tenured), Universidade da Coruña
  78. Aidan Sims ORCID Professor, University of New South Wales
  79. Srijan Das ORCID PhD Student, Indian Institute of Science Education and Research Pune
  80. Kevin Ford ORCID Professor, University of Illinois at Urbana-Champaign
  81. Ramchandran Muthukumar ORCID Postdoctoral Researcher, University of Chicago
  82. Peter Thomas ORCID Professor, Case Western Reserve University
  83. Manfred K. Warmuth verified email University of California, Santa Cruz
  84. Yuhan Yang verified email Tianjin University
  85. Jie Wang ORCID Associate Professor, Chinese Academy of Sciences
  86. Enrico Scalas verified email University of Roma "La Sapienza"
  87. François G. Dorais ORCID University of Vermont
  88. Mayla Ward ORCID PhD student, California Institute of Technology
  89. Nils Bruin ORCID Professor, Simon Fraser University, Burnaby, BC, Canada
  90. Ekin Ozman ORCID Scientific Staff, Associate Professor, Universitair hoofddocent, University of Groningen
  91. Kurusch Ebrahimi-Fard ORCID Professor, NTNU Norwegian University of Science and Technology
  92. Melina Freitag ORCID Professor, University of Potsdam
  93. Jenna Zomback ORCID Amherst College
  94. Nutan Nepal ORCID North Carolina State University
  95. Laurent MENARD ORCID Professor, Université Paris Nanterre
  96. Pavlos Xenitidis ORCID Associate Professor, Liverpool Hope University
  97. Francisco de Melo Viríssimo ORCID London School of Economics and Political Science
  98. Per Bäck ORCID Mälardalen University
  99. Leoni Carla Wirth ORCID University of Oxford
  100. Jamie Haddock ORCID Associate Professor, Harvey Mudd College