Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
4443 Signatories
  1. Jose A. Zapata ORCID Universidad Nacional Autónoma de México, Centro de Ciencias Matemáticas
  2. Ting Gong verified email University of Washington
  3. Luis Miguel Iglesias-Albarrán ORCID Profesor del Área de Matemática Aplicada (Departamento de Ciencias Integradas), Universidad de Huelva
    Comment

    I see this Declaration as a call to protect the conditions under which mathematical knowledge can be learned, shared and trusted. A result becomes mathematically and educationally meaningful when people can question it, understand its grounds and take responsibility for its use. AI should widen access to inquiry and collaboration, while preserving the human judgment and dialogue through which mathematics advances.

  4. Jane Hillston ORCID Professor, University of Edinburgh
  5. Héctor Arnoldo López Zamorano ORCID Facultad de Ingeniería UNAM
  6. Gwyn Bellamy ORCID University of Glasgow
  7. Adam Nyman verified email Western Washington University
  8. Philippe Gagnon ORCID Statistics, Université de Montréal
  9. Angel Zaldivar ORCID Universidad de Guadalajara
  10. Gabor Szabo ORCID Associate Professor, KU Leuven
  11. Laurent Clozel verified email Université Paris-Saclay
  12. Benedict Eastaugh ORCID University of Warwick
  13. Jędrzej Garnek ORCID Associate professor, Adam Mickiewicz University in Poznań
  14. Henk van der Pol ORCID Leiden University Medical Center
  15. Daniel Mathews ORCID Monash University
  16. Francesco D'Andrea ORCID Università di Napoli Federico II
  17. Asociatia Grupul Verde
    Comment

    Confirmam, efortul depus la demararea a acestei declaratii

  18. Sylvain Maugeais ORCID Mathématiques, Le Mans Université
  19. Brien Nolan ORCID School of Mathematical Sciences, Dublin City University
  20. Sulagna Barat Data Scientist at Synergy Marine Group, Chennai, India
  21. Josep Antoni Martín-Fernández ORCID Professor Doctor, University of Girona
  22. Shiva Chidambaram ORCID Van Vleck Visiting Assistant Professor, University of Wisconsin–Madison
  23. Tilmann Glimm ORCID Western Washington University
  24. Johannes Krotz ORCID University of Notre Dame
  25. Leo Zhou ORCID
  26. Ben C Calverley ORCID Staff scientist, The Scripps Research Institute
  27. de boucherville High school teacher, France
  28. Alexandre Minets ORCID University of Bonn
  29. Jasmin Raissy ORCID Université de Bordeaux
  30. Leandro Chiarini ORCID Universidade de São Paulo
  31. Abdelmajid EL HAJAJI Chouaib Doukkali University
  32. Audric Larchevêque High-school student, Évian-les-Bains.
  33. Colva Roney-Dougal ORCID University of St Andrews
  34. Adolfo Aguilar ORCID AGUILAR AEROSPACE SL
    Comment

    As a Mathematical modeler I found the necessity to maintain the mathematical field as a human endeavor and use the AI advances as mere tools with the full tribute to the mathematicians that use those tools and their results obtained using AI.

  35. Boris Kratz ORCID R&D Engineer
  36. Umesh Kumar Joshi ORCID PhD Student, CSIR - National Chemical Laboratory & AcSIR, India
  37. Ruoyu P. T. Wang ORCID Yale University, University College London
  38. William Messing verified email University of Minnesota
  39. ABDULMALIK OYEDEJI ORCID The University of Tennessee Knoxville
  40. Colin Guillarmou ORCID CNRS and Univ. Paris Saclay
  41. Andrew Foulkes ORCID Senior Lecturer in Mathematics, Liverpool Hope University
  42. Vedaprabhu Basavarajappa ORCID Founder and CEO, Beamgrid Technologies LTD
    Comment

    I support the Leiden Declaration because it recognises both the promise and the responsibility that come with artificial intelligence in research, mathematics, science, and engineering. As an engineer and deep-tech founder, I have used AI as a tool for structuring ideas, testing assumptions, improving communication, and accelerating careful technical thinking. Used well, AI can help researchers and innovators move faster and think more clearly. But it should never be treated as a substitute for expertise, verification, authorship, or accountability. In technical and scientific work, plausibility is not enough. Claims must still be checked, reasoning must remain transparent, sources must be properly attributed, and the human author must take responsibility for correctness and consequence. For me, a future is not one where AI replaces mathematicians, researchers, engineers, or inventors. It is one where AI supports serious human work while preserving rigour, originality, fairness, and judgment. That is why I am signing this declaration. Powerful tools should strengthen human understanding, not weaken the values that make knowledge trustworthy.

  43. Rodolfo Reis Soldati ORCID Post-Doctoral Researcher, Institute for Quantum Computing, University of Waterloo
  44. Alberto Amaduzzi ORCID Researcher, Fondazione Bruno Kessler
  45. Jules Guillot ORCID Mathematician
  46. Luciano Boi
  47. Jona Bedaux verified email Student at Delft University of Technology
  48. Christopher Scaduto ORCID University of Miami
  49. Benjamin Arras ORCID Enseignant-Chercheur, Université de Lille 1 UFR de Mathématiques
  50. Germain Poullot ORCID Institut für Mathematik, Osnabrück University
    Comment

    Thank you. Deeply and sincerely.

  51. Frank Thuijsman ORCID Professor, Maastricht University
  52. Gouri Seal PhD Mathematics (2017), Northeastern University, Boston, MA, USA
  53. jacques smulevici ORCID Professor, Université Paris-Sorbonne
  54. Antoine Meyer ORCID Laboratoire d'Informatique Gaspard Monge, Université Gustave Eiffel
  55. Kabeer Manali Rahul ORCID MPIM Bonn
  56. Visvanathan Ramesh ORCID Professor, Department of Computer Science and Mathematics, Goethe University Frankfurt
  57. Brieuc-Yves Cadat ORCID Retired Researcher
  58. Rémi VAUCHER ORCID Epita Research Laboratory
  59. Vignesh Raman ORCID PhD Researcher, Technische Universität Dresden
    Comment

    Progress at the cost of a safe, healthy, and sustainable future (where truth, non-performative kindness, compassion, and agency for virtue-oriented development prevail) often begets unrelenting ruination.... if not for us, for those that follow. Let us be mindful of the environment and the consequences of our actions as we pursue truth, whether through efforts in mathematics or beyond.

  60. Masha Vlasenko ORCID Kyiv School of Economics
  61. Shigefumi Mori ORCID Director-General and Distinguished Professor, Kyoto University Institute for Advanced Study
    Comment

    We hope to continue the mathematical research out of curiosity even in the days of AI. I think the Leiden Declaration is an important guideline for us.

  62. Mateo PETEL ORCID Stanford University
  63. Yun Kwansub ORCID Flamehaven Labs — independent AI verification research
    Comment

    At Flamehaven Labs, we have been building a public, reproducible verification ledger for AI-assisted mathematics and bioscience research since 2025. The Leiden Declaration articulates precisely the values our work was designed to defend. Our Verification Ledger operates on three principles that directly mirror the Declaration: every result is attributed to a named human reviewer (not an AI system); every artifact with a pass or fail verdict carries a Zenodo DOI so conclusions are independently citable; and failures are labeled explicitly — we do not issue clean PASS verdicts when a system is physically ungrounded or incomplete. We endorse the Declaration because it names a real threat clearly: AI tools can produce plausible but unreliable mathematical output, and the discipline's review infrastructure is under pressure. The answer is not to stop using AI, but to hold every AI-assisted result to the same standards of transparency, attribution, and human accountability that have always

  64. Dmitry Noshchenko ORCID DIAS Research Fellow, Dublin Institute for Advanced Studies
  65. Hon. Prof. T. Muntean verified email Université d'Aix-Marseille
  66. Claudio Llosa Isenrich verified email Associate Professor, University of Luxemburg
  67. Gernot Maier ORCID Scientist, Deutsches Elektronen-Synchrotron DESY
  68. Francesca Arici ORCID Assistant Professor, Leiden University
  69. Mahesh Krishna K Chanakya University
  70. François Greer ORCID Assistant Professor, Michigan State University
  71. Noah D. Ortiz ORCID PhD Student, Carnegie Mellon University
  72. Xingzhe Li ORCID
  73. Patrick Daigle ORCID Master's Student, University of Tennessee, Knoxville
  74. Ari Davidovsky verified email University of Wisconsin - Madison
  75. Sebastien Gouezel ORCID IRMAR
  76. Antoine Song ORCID Caltech
  77. Piotr Kucharski ORCID University of Warsaw
    Comment

    I hope that this declaration will be a part of a bigger movement towards regulating, learning, and shaping development of AI for the benefit of humanity

  78. Martin Zika ORCID Research Associate, University of York
  79. Bradley Burdick ORCID Lecturer, University of Kentucky
  80. Calina Ciuhu ORCID Assistant Professor, Eindhoven University of Technology
  81. GIANMARIO TESSITORE ORCID Matematica e Applicazioni, Università degli Studi di Milano-Bicocca
  82. Mei Han verified email Technische Universität Berlin
  83. Shen-Fu Tsai ORCID Department of Mathematics, National Central University, Taiwan
  84. Yaël Dillies ORCID Stockholm University
    Comment

    As an early-career researcher at the intersection of mathematics and formal methods, I strongly feel the mentioned imbalance between AI companies and Lean experts. I wish for my collaborations with industry to be based on fair and equal terms.

  85. Aleksandr S. Filipchenko ORCID Senior mathematician, Russian Railways
  86. Ivaylo Stoyanov ORCID Prof. PhD, Angel Kanchev University of Ruse
  87. Fabio Tanania verified email University of Milan - Bicocca
  88. Silvia Sabatini verified email Universität Köln
  89. Prashant Nalini Vasudevan ORCID National University of Singapore
  90. Gregory Sankaran ORCID University of Bath
  91. Victoria Gould verified email University of York
  92. Cy Maor ORCID Hebrew University
  93. Carmen Barrio Marañón verified email Universidad de Cantabria
  94. Antoine Gloria ORCID Professor, Sorbonne University
  95. Caglar Uyanik ORCID University of Wisconsin-Madison
  96. KOTARO SHOJI ORCID Ph.D student, Osaka Metropolitan University
  97. Lynn Heller ORCID Professor, Beijing Institute of Mathematical Sciences and Applications
  98. QI XING ZHOU Lecturer, Minnan University of Science and Technology
    Comment

    Every researcher, regardless of the type of artificial intelligence they utilize, shall be accountable for all generated results. Meanwhile, humanity’s pursuit of mathematical aesthetics can never be supplanted by AI.

  99. Adrián Zenteno ORCID Profesor, Universidad Autónoma Metropolitana
  100. Agustín Tomas Besteiro ORCID Researcher, ITECA-UNSAM