Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
4440 Signatories
  1. Joseph Owuor Owino ORCID African Institute for Mathematical Sciences Ghana
  2. Moritz Schubotz ORCID Head Research & Projects Mathematics Subject Specific Services, FIZ Karlsruhe – Leibniz Institute for Information Infrastructure
  3. Phokion Kolaitis ORCID Distinguished Professor Emeritus, University of California, Santa Cruz
  4. Constantin Meili verified email PhD Student, University of Genoa
    Comment

    I sign this declaration wholeheartedly. However, I believe not enough is done to protect the more spiritual and artistic beauty of mathematics and the pursuit of it. To me this is a first step, not the final one.

  5. Dylan Poulsen ORCID John W. Allender Associate Professor of Data Ethics, Washington College
  6. Alex Vischer verified email PhD Student, University of Wisconsin - Madison
  7. Gautam Neelakantan Memana ORCID Postdoc, Australian National University.
  8. Cédric Simal ORCID PhD Student, University of Namur
  9. Audrey Tang verified email University of Oxford
  10. Wyatt Johnson Mathematics Student
  11. Minkyu Kim ORCID KIAS Junior Fellow, Korea Institute for Advanced Study
  12. Kirwin Hampshire verified email University of Victoria
    Comment

    I am glad that something is being done, and that we are openly discussing this. This document is a good first step. However, I believe that there is one notable absence from the declaration which I would like to draw attention to: The experience of mathematics is deeply spiritual and emotional. The extent to which LLMs pose a risk to the soul of the mathematician cannot be understated. Mathematics is one channel through which humans encounter the ineffable and sublime. I feel that the experience of creating and discovering novel mathematics keeps this channel open. This is what is really under threat. Any genuinely comprehensive discussion on the future of mathematics must address spiritual and emotional concerns. My hope is that this declaration will provoke a discussion of this nature. I would encourage all mathematicians participating in our shared dialogue to be open and vulnerable about these more intangible worries. I urge you to speak your heart. It is never too early.

  13. Demetrios Papageorgiou ORCID Imperial College London
  14. Salman Habib ORCID Argonne National Laboratory
  15. Vojtěch Votruba ORCID Charles University
    Comment

    Although I am merely a student of theoretical physics (not mathematics), I find this declaration especially well-written and needed in times such as these. I pledge my support.

  16. Jacob Beckey ORCID University of Illinois, Urbana-Champaign
  17. Emin Karayel ORCID Dr. rer. nat., Mathematics and Computer Science
  18. Junta Directiva de la Sociedad Matemática Mexicana Sociedad Matemática Mexicana
    Comment

    Consideramos que esta declaración establece criterios y lineamientos necesarios no solo para la comunidad matemática actual, sino que es base fundamental y pertinente para los cambios a futuro dentro de la investigación matemática mundial.

  19. theabbie ORCID Fr. Conceicao Rodrigues Institute of Technology
  20. Prof Dr Alejandro Nicolás Martínez-García ORCID Research Professor, Tecnológico Nacional de México-Valle de Morelia
  21. Dr. K. Srinivasa Raghava ORCID Researcher, Pie Mathematics Association
  22. Daniel Pollack ORCID Professor, University of Washington
  23. Annalisa Buffa ORCID Professor, Ecole Polytechnique Federale de Lausanne
  24. Vivek Khatri Lead Data Scientist
    Comment

    My concern is that AI may not be equally available to all scientists, and this will lead to more inequality.

  25. Edray Goins ORCID Professor, Pomona College
  26. Moshe Adrian ORCID CUNY, Queens College
  27. Wilken Steiner verified email Universität Siegen
  28. Mariel Saez ORCID Associate Professor, Pontificia Universidad Católica de Chile
  29. Rudolf Zeidler ORCID Professor, University of Potsdam
  30. Jing Feng Lau ORCID Head of Mathematics Programme, Singapore University of Social Sciences
  31. Han Cheng Lie ORCID Mathematician (former Professor for Uncertainty Quantification at Universität Potsdam, Germany)
    Comment

    Thank you to: 1) the people who prepared this declaration; 2) the people who maintain this site and make it possible for people to sign the declaration; and 3) the people who show their support for mathematics by signing this declaration!

  32. Juri Taresch ORCID Master student, ETH Zurich
  33. Havva Yoldaş ORCID Delft University of Technology
  34. Ronald Ortner ORCID Lehrstuhl für Informationstechnologie, Montanuniversität Leoben
  35. John McGreevy ORCID Professor, University of California San Diego
  36. KIMBERLEY LAVERNE ASHER ORCID MSc Hydrography, University of Plymouth
    Comment

    https://zenodo.org/records/21313172. Here is my candidate architecture for a safer, more mathematically transparent approach to AI cognition. Emergent super-intelligence should be a species level project, with mathematical integrity and socio-political and economic balance at its heart, alignment should be referenced to an immutable absolute that is commutable across all taxonomies, without that, it cannot be safe. I have tried to provide these ideas. I might not be right, but hopefully others will feel the same.

  37. Corentin Bernet Student at ENS Paris
  38. Livia Grammatica verified email Université de Strasbourg
  39. Amos Turchet ORCID Faculty, Università degli studi Roma Tre
  40. Harsha Honnappa ORCID Purdue University, Associate Professor of Industrial Engineering
  41. Andrii Semenov ORCID Equal1
  42. Bogdan Kulynych ORCID PhD in Computer Science, EPFL
  43. Francesco Dilda verified email University of Glasgow
  44. Asaf Karagila ORCID University Academic Fellow, University of Leeds
  45. Joaquim Roé ORCID Universitat Autònoma de Barcelona
  46. Mikkel Willum Johansen ORCID Københavns Universitet
  47. Tanmay Mour verified email University of California, Los Angeles
  48. Manish Bhatt ORCID LSU
  49. Hristo Papazov ORCID School of Computer and Communication Sciences, Institute of Computer and Communication Sciences, Theory of Machine Learning Laboratory, EPFL - École Polytechnique Fédérale de Lausanne
  50. John Sterling ORCID Mathematics Graduate Teaching Assistant, Purdue University
  51. Kitty Yang ORCID Assistant Professor, University of North Carolina at Asheville
  52. Alessandra Cipriani verified email University College London, University of London
  53. Julius Nathan Sorral Villar verified email University of Oxford
  54. Catherine Cronin ORCID Independent Scholar
  55. Raphael Steiner ORCID Oberassistent, SNSF Ambizione Fellow, ETH Zürich
    Comment

    Great initiative!

  56. Annette Irungu ORCID PhD Student, Paderborn University
  57. Cindy Tan ORCID University of Chicago
  58. Sudarshan Shidore M Sc Mathematics and Computer Science, IIT Delhi. Lover of all things mathematical.
    Comment

    Research in mathematics should not overly rely on opaque AI that is built by- and more troublingly, for - Big Tech. The principles of attribution, credit, responsibility, transparency, verifiability, peer review, and above all, direction (which way should the broader research go?) should be the domain of human mathematicians in a fair, free and open way. Research - and proof - created by AI strikes at the core of these principles and should be moderated and controlled by the larger mathematical community, a community that knows no international borders, and is not on the payroll of large corporations driven by profit (and sometimes a lack of morals) There is also the issue of copyright infringement by the AI models. Also troubling is the use of research findings to actually strenghten these opaque models. This has disturbing implications for humanity in the long run, given the fact that AI (specifically Generative AI) may be used for ethnic targeting, warfare, biased medical research and the widening of the gap between the developed and the developing world. Let us pledge - and appeal - to keep math research a fundamentally human - and humane - endeavour.

  59. Doğan Dönmez verified email Cukurova University
  60. Gustav Olaf Yunus Laitinen-Fredriksson Lundström-Imanov ORCID Research Assistant, Stockholm University
  61. Chris Swanepoel ORCID University of South Africa
  62. Robin Wilson ORCID Professor, Loyola Marymount University
  63. Adair Antonio da Silva Neto ORCID PhD student, University of Melbourne
  64. Jed Brown ORCID Associate Professor, University of Colorado Boulder
  65. Keziah Naggita PhD student, TTIC
  66. 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.

  67. Sarthak Munshi ORCID Carnegie Mellon University
  68. Joshua Thomas Deprez ORCID
  69. Ivo Emanuilov ORCID Interdisciplinary researcher, KU Leuven
  70. Abhivardhan ORCID President, Indian Society of Artificial Intelligence and Law; Co-Founder, OpenBharat.net
    Comment

    While the potential of current mainstream AI in the transformers category remains in the talent & data-IP moats, the potential to create new scientific and industrial avenues still remains huge beyond language models, since we are accelerating into the period of AI diffusion medievalism. This is why the Leiden Declaration resonated with me. This declaration recognises that true mathematical research requires absolute certainty, deep understanding, and transparent, independent verification. Current AI systems fundamentally lack this; they produce plausible but highly unreliable or incorrect arguments that threaten the scientific integrity of the discipline.  Furthermore, the declaration explicitly calls out the tech industry for using specific mathematical tasks as misleading metrics to boast about the "general reasoning" capabilities of their commercial products. This is the exact manifestation of AI hype that the UP.AIACT.IN Report 2026 warns against. We cannot build reliable regional AI infrastructure on systems that prioritise market timelines over the accepted processes of rigorous community & local AI industry ecosystems evaluation.

  71. Roman Yampolskiy verified email University of Louisville
    Comment

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

  72. João Galego Head of AI @ Critical Software & Invited Professor @ ISEG/ULisboa
  73. Gerardo Aleman Manzanarez ORCID Ph.D. Computer Science candidate, Tecnológico de Monterrey
  74. Sylvain Soliman ORCID Lifeware team, Inria Saclay - Île-de-France Research Centre
  75. Torgeir Keun Lysen ORCID PhD student, Stanford University
  76. Paul Cunningham verified email Open University
    Comment

    As a PhD student exploring the governance of AI in organisations, I am concerned about the lack of public understanding of the basis on which Generative AI operates. Gen AI is being sold to individuals and businesses, but its mathematical foundations are not being explained. This declaration captures that concern, and makes recommendations to address or at least mitigate it. As an academic member of staff, I am no less concerned!

  77. Victor Etxebarria Ecenarro ORCID Professor, Faculty of Science and Technology, University of the Basque Country - EHU
  78. 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.

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

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

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

  85. Edoardo SERNESI ORCID Professore emerito, Università degli Studi Roma Tre
  86. Christian Wyss verified email Bergische Universität Wuppertal
  87. Riccardo Tosi ORCID Postdoc, Universität Freiburg
  88. Patrick Morris ORCID Postdoctoral Researcher, Universitat Politècnica de Catalunya
  89. Antoine Maillard ORCID Research scientist (CR), Inria Paris
  90. PETER MAYR ORCID University of Colorado Boulder
  91. Haolin Liu ORCID Carnegie Mellon University
  92. Colette Guillopé verified email Université Paris est Créteil Val de Marne Paris XII
  93. James Squires ORCID Undergraduate Researcher, University of Georgia
    Comment

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

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

    I support this declaration and the contents within it.

  96. Luigi Preziosi verified email Polytechnic Institute of Turin
  97. Adrien Pasquereau ORCID University of St.Gallen
  98. Jorge Mozo Fernández ORCID Catedrático de Análisis Matemático, Universidad de Valladolid
  99. Alberto Parmeggiani verified email Professor of Mathematics, University of Bologna
  100. Max Wenham verified email Salt Lake Community College