Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
4441 Signatories
  1. Max Wenham verified email Salt Lake Community College
  2. Henrik Bachmann ORCID Associate Professor, Nagoya University
  3. Sepehr Assadi ORCID Associate Professor, University of Waterloo
  4. Kenji Ueno ORCID Director, Yokkaichi University
  5. Julien Cortier verified email Université de Montpellier
  6. Yi Luo verified email University of Utah
  7. Martina Iannella ORCID TU Wien
  8. Dorothee Henke ORCID Postdoctoral researcher, University of Passau
  9. FRANCISCO GOMEZ MARTIN ORCID UNIVERSIDAD POLITÉCNICA DE MADRID
  10. Edoardo Giovanni Tolotti ORCID PostDoc Researcher, University of Muenster
  11. Giovanni Inchiostro ORCID Assistant Professor, University of Washington
  12. Espen Robstad Jakobsen ORCID Professor, Norwegian University of Science and Technology NTNU
  13. Alessandro Calvia ORCID Associate professor, Department of Mathematics, Politecnico di Milan
  14. Marc Pantel ORCID Associate Professor, Université de Toulouse, Toulouse INP, IRIT
  15. Mihaela Quirk verified email The University of Texas at Austin
    Comment

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

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

  17. Roberto Fernandez ORCID New York University Shanghai
    Comment

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

  18. Felix Medwed verified email Universität Potsdam
  19. Colin Fourel ORCID Doctorant, Université de Strasbourg
  20. Freddy Delbaen verified email Department of Mathematics - ETH Zurich
  21. Andre Kundgen ORCID Professor, California State University San Marcos
  22. Christophe Gole ORCID Professor, Smith College
  23. Renan Mezabarba ORCID Professor, UESC
  24. David N Reynolds ORCID Assistant Professor, University of Warsaw
  25. David M Gay AMPL Optimization, Inc.
  26. Colin Reid ORCID Western Sydney University
  27. Sofya Chepushtanova ORCID Associate Professor, Wilkes University
  28. Giulio Ruzza ORCID Professor Auxiliar, Universidade de Lisboa
  29. 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.

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

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

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

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

    Needed more than ever

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

  67. Shah Jamal Alam ORCID Habib University
  68. 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.

  69. Dragan Mašulović ORCID professor, Faculty of Sciences, University of Novi Sad, Serbia
  70. Murray Elder ORCID Professor, University of Technology Sydney
  71. Maria Gonzalez Taboada ORCID Associate Professor (tenured), Universidade da Coruña
  72. Aidan Sims ORCID Professor, University of New South Wales
  73. Srijan Das ORCID PhD Student, Indian Institute of Science Education and Research Pune
  74. Kevin Ford ORCID Professor, University of Illinois at Urbana-Champaign
  75. Ramchandran Muthukumar ORCID Postdoctoral Researcher, University of Chicago
  76. Peter Thomas ORCID Professor, Case Western Reserve University
  77. Manfred K. Warmuth verified email University of California, Santa Cruz
  78. Brian Monahan Computer Science Researcher (Retired)
  79. Yuhan Yang verified email Tianjin University
  80. Jie Wang ORCID Associate Professor, Chinese Academy of Sciences
  81. Enrico Scalas verified email University of Roma "La Sapienza"
  82. François G. Dorais ORCID University of Vermont
  83. Tavian S. Broadhead Cybersecurity Manager, US Army Cyber Command
    Comment

    Artificial Intelligence and it's usage is increasingly becoming an unavoidable reality. Strong, international collaboration is required to ensure we bring both great caution, and great creativity to the next era. AI must be closely monitored, regulated, evaluated, and secured. We spared no expense to prevent nuclear war in years past. Now, it is time again to cooperate and prevent the inadvertent creation of the planet's next dominant force. This pledge to this effort is solely in the interest of the greater field, and I am not making any pledge on behalf of US Army Cyber Command.

  84. Mayla Ward ORCID PhD student, California Institute of Technology
  85. Nils Bruin ORCID Professor, Simon Fraser University, Burnaby, BC, Canada
  86. Ekin Ozman ORCID Scientific Staff, Associate Professor, Universitair hoofddocent, University of Groningen
  87. Kurusch Ebrahimi-Fard ORCID Professor, NTNU Norwegian University of Science and Technology
  88. Melina Freitag ORCID Professor, University of Potsdam
  89. Jenna Zomback ORCID Amherst College
  90. Nutan Nepal ORCID North Carolina State University
  91. Thijs Laarhoven ORCID Cryptographer
  92. Laurent MENARD ORCID Professor, Université Paris Nanterre
  93. Pavlos Xenitidis ORCID Associate Professor, Liverpool Hope University
  94. Francisco de Melo Viríssimo ORCID London School of Economics and Political Science
  95. Per Bäck ORCID Mälardalen University
  96. Leoni Carla Wirth ORCID University of Oxford
  97. Jamie Haddock ORCID Associate Professor, Harvey Mudd College
  98. Alexander Kurz ORCID Professor, Chapman University
    Comment

    Mathematics is the practices of the mathematics community. One day AI will prove theorems faster than humans. But I hope we will still be doing math. It is up to us to maintain and build a world in which there will be a place for humans and for human mathematics.

  99. Syed Ehsan Ali ORCID PhD student, Ca' Foscari University of Venice
  100. Alberto Enciso ORCID Instituto de Ciencias Matemáticas, CSIC