Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
4176 Signatories
  1. Alejandro Robador ORCID Instituto Geológico y Minero de España
  2. Alicia Dickenstein ORCID Professor Emerita, University of Buenos Aires
  3. Vladimiro Benedetti Université Côte d'Azur
  4. Mykola Khrypchenko ORCID Professor Adjunto, Universidade Federal de Santa Catarina
  5. Terry Daniel Easlick ORCID Postdoc, Université de Montréal
  6. Rajarshi Mukherjee ORCID Harvard University
  7. Isabel Silva Magalhães verified email Universidade do Porto
  8. Yajnaseni Dutta ORCID Assistant Professor, Leiden University
  9. David Benson ORCID Emeritus Professor, University of Aberdeen
  10. Nabh Singh IIT Goa, University of Tokyo
  11. Aritrabha Majumdar ORCID Indian Statistical Institute
  12. Pedro Morin ORCID Investigador Principal, Consejo Nacional de Investigaciones Científicas y Técnicas
  13. Georges Nguefack-Tsague ORCID Associate Professor of Statistics, University of Yaounde I
  14. Michaela Polley ORCID Graduate Student, Dartmouth College
  15. Jane Knöchel ORCID Assistant Professor, University of Copenhagen
  16. Antonello D'Oronzo PhD student, Institute of Mathematics of CAS Prague
  17. Kaja Tur ORCID PhD student, University of Łódź
  18. Szymon Tur ORCID Faculty of Mathematics and Information Technology, Warsaw University of Technology
  19. László Pyber Rényi Institute of Mathematics, Budapest
  20. Nicolas Balacheff ORCID Directeur de recherche CNRS émérite, Laboratoire LIG - CNRS, UGA, INRIA - Grenoble, France
    Comment

    AI and LLMs directly challenge the teaching of proof in mathematics, its nature, and the need to continue teaching and learning it. The LEADEN initiative is both timely and essential in raising awareness of these challenges and in helping us understand the limits of the new AI technologies.

  21. Adam Chojecki ORCID PhD student, Warsaw University of Technology
  22. Margarida Vaz Pato ORCID ISEG, Universidade de Lisboa
  23. Milica Cudina ORCID UT Austin
  24. Mainak Ghosh verified email Indian Institute of Science
    Comment

    While I don't agree with every detail of this declaration, the overall spirit is well-received and important for us to establish as a community.

  25. Abdulhafeez Ayinde Abdulsalam ORCID Independent researcher, Lagos, Nigeria
    Comment

    I believe AI can be a valuable tool in mathematics, but it should not replace independent thinking, creativity, and rigorous reasoning. Mathematics thrives on understanding, not merely on obtaining correct answers. We must ensure these core values remain central as AI tools become more widespread.

  26. Ekaterina Gromova ORCID Professor, DSc, PhD in applied math
  27. Riwal Plougonven ORCID Professeur, Ecole Polytechnique
  28. R Ramanujam Azim Premji University, Bengaluru, India
  29. Ander Ugarte Maths teacher in High School
  30. Shichang Song ORCID School of Mathematics and Statistics, Beijing Jiaotong University
  31. Jiaxuan Chen ORCID Stanford Online High School, Stanford University
  32. Wojciech Domitrz ORCID Associate Professor, Warsaw University of Technology
  33. Kyle Luh ORCID Assistant Professor, University of Colorado Boulder
  34. Antonio Rojas León ORCID Profesor Titular, Universidad de Sevilla
  35. Geoffrey Shuetrim ORCID McKibbin Software Group
    Comment

    Many if not all of the recommendations in the Leiden Declaration on Artificial Intelligence and Mathematics are applicable in other fields of research, noting the broad dependency of those fields on Mathematics.

  36. Miguel Zambrano Garcés ORCID Profesor Ocasional, Escuela Politécnica Nacional
    Comment

    I endorse the declaration and I believe is in the right time.

  37. Josip Tambaca ORCID PhD, University of Zagreb
  38. Mbele Bidima Martin Le Doux ORCID Associate Professor of Applied Mathematics, University of Yaoundé I, Cameroon
  39. Patrick Speissegger ORCID Professor, McMaster University
  40. William Chin verified email DePaul University
  41. Carlo Ghezzi ORCID Emeritus Professor, Politecnico di Milano
    Comment

    Great document. Most of what it says also holds for other disciplines. In particular, for Informatics/Computer Science.

  42. Ben Steffan verified email Rheinische Friedrich-Wilhelms Universität Bonn
  43. Earl Gladue verified email Roger Williams University
  44. Joel Alberto Castro Muñoz ORCID Docente, Universidad Bolivariana del Ecuador
  45. Qin Zhang ORCID Professor, Indiana University
  46. Lawrence Moss ORCID Professor, Indiana University Bloomington
  47. Martin Simon Frankfurt UAS
  48. John Zobolas ORCID Postdoc Researcher, Oslo University Hospital
  49. Gardes Joel UGA Grenoble
  50. Clemens Nollau verified email Eberhard-Karls-Universität Tübingen
  51. Tomasz Żuchowski ORCID PhD student, University of Wrocław
  52. Hannes Werthner verified email Technische Universität Wien
  53. Michael A. Grajek verified email Hiram College
  54. Yijia Chen verified email University of Illinois Chicago
  55. Matthieu Dolbeault ORCID CNRS and Nantes Université
  56. Herschel Bentley ORCID Research Faculty Emeritus, University of Toledo, USA
  57. Huub de Jong ORCID PhD Student, University of British Columbia
  58. Kei Shing NG ORCID University of Hong Kong
  59. Thierry Libert verified email Université Libre de Bruxelles
  60. Piotr Zakrzewski ORCID professor, University of Warsaw
  61. David Marker ORCID University of Illinois Chicago, Professor Emeritus
  62. Brayton Gray verified email University of Illinois Chicago
    Comment

    The use of AI in mathematics should be compared to the use of AI in writing poetry or recovering the posthumous work of Picaso

  63. Ryan Carpenter verified email University of Illinois Chicago
  64. Jean-Baptiste Durand ORCID Co-chair of Digital Plants research group, CIRAD, UMR AMAP, F‐34398 Montpellier, France. AMAP, Univ Montpellier, CIRAD, CNRS, INRAE, IRD, Montpellier, France
    Comment

    This declaration brings enlightenment on the nature and purpose of mathematical research, and also the conditions of its progresses in ethical and sustainable conditions. The threats regarding sustainability are maybe underestimated. Even if public instituted developed open AI to ensure transparency and accessibility of flawless automated proof generators, one risk remains the explosion of mathematical production. The latter would imply that relevant results would be hidden within billions of more or less globally significant productions, which exploration would rely on AI and would remain inaccessible to human beings. However, AI is not sustainable (https://news.mit.edu/2025/explained-generative-ai-environmental-impact-0117), which in practice means that at some point it will not be sustained and thus, will collapse because the water, energy, electronic components it relies on will be reallocated to more vital priorities, in an environment whose quality and number of available services already begun to collapse. This would result in practice into a sudden loss of this recently generated mathematical knowledge, but for future generations, also the loss of all the knowledge previously acquired and stored only on servers, which would be either unavailable or unexploitable.

  65. Cheng Xianyang Southern University of Science and Technology of China
    Comment

    I would suggest everyone learn about the basics of machine learning models (random forest, neural network, etc). From my experience, taking the ML course helped me use them wisely and responsibly, particularly since I stopped treating them like black boxes and get to know their inherent strength and limitations.

  66. Jan Trlifaj ORCID Department of Algebra, Charles University, Faculty of Mathematics and Physics
  67. Bjorn Ian Dundas ORCID
  68. Matthew Phillips verified email University of Birmingham
  69. Eric Burkholder verified email University of Kentucky
  70. Dong Bai ORCID Associate Professor, Hohai University
  71. Zhumagulov Bakytzhan President of the Kazakhstan Mathematical Society, Professor
    Comment

    Kazakhstan Mathematical Society supports the Leiden Declaration on Artificial Intelligence and Mathematics. The Declaration addresses issues of essential importance to contemporary mathematical science: the rigor of proof, academic integrity, the reliability of knowledge, and the responsibility of the scholar. Artificial intelligence is one of the key instruments of development today. It opens new horizons for science, education, and technology, accelerates research, broadens access to knowledge, and contributes to strengthening the intellectual potential of every country. For mathematical science, AI is becoming an important driver of progress, capable of enhancing human thought and helping to address challenges on which the future of society depends. The power of innovation requires a high degree of responsibility. Reliability, verifiability, and scientific integrity must be the axiom of responsible scholarly work. By supporting the Leiden Declaration, the Kazakhstan Mathematical Society reaffirms its commitment to the development of strong, responsible, and internationally competitive mathematical science.

  72. Matheus Justino Gonçalves da Silva ORCID Machine Learning Engineer, ASTRA S/A
  73. Quentin Gazda ORCID Maître de Conférences, Sorbonne Université
  74. Sacha CERF ORCID École Normale Supérieure
  75. Maria Torras-Pérez ORCID DPhil Student, University of Oxford
  76. Harry Richman ORCID Postdoctoral Fellow, National Center for Theoretical Sciences
  77. Raphael Bennett-Tennenhaus ORCID Research Postdoc, Universität Bielefeld
  78. Andrea Ebner ORCID University of Mannheim
  79. M. Martínez i Sellarès ORCID Universiteit Utrecht
  80. Maciej Korpalski ORCID University of Wrocław
  81. Bruno Drieux verified email Istituto Grothendieck, École Polytechnique
  82. Alois Schaffler ORCID PhD Student, UniDistance Suisse
  83. Hans Cuypers verified email Eindhoven University of Technology
  84. Murat Akman ORCID Senior Lecturer in Mathematics, University of Essex
  85. Charlotte Baey ORCID Assistant Professor, Université de Lille
  86. Jean Fromentin ORCID Professeur de Mathématiques, Université du Littoral Côte d'Opale
  87. George Bender PhD
  88. Liesbeth De Mol CNRS, Université de Lille
  89. Bruno Martin ORCID Université du Littoral Côte d'Opale
  90. Arun Chandrasekaran ORCID
  91. Chelsea Lewis verified email University of Tennessee, Knoxville
  92. Stepan Shramko ORCID Head of Economics and Analytics, Al-Farabi Kazakh National University
  93. Oleg Gleizer verified email University of California, Los Angeles
  94. Claus Koestler ORCID NUI - University College Cork
  95. Liam O'Connor ORCID Senior Lecturer, Australian National University
  96. Bim Gustavsson ORCID PhD student, University of Birmingham
  97. Nicolas Addington ORCID University of Oregon
  98. Alexander T Leighton ORCID Doctoral Student, Brandeis University
  99. Mustafa Hashmi ORCID Australian Catholic University
  100. Luis David Garcia Puente ORCID Professor, Colorado College