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. Kyle Luh ORCID Assistant Professor, University of Colorado Boulder
  2. Antonio Rojas León ORCID Profesor Titular, Universidad de Sevilla
  3. 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.

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

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

  5. Josip Tambaca ORCID PhD, University of Zagreb
  6. Mbele Bidima Martin Le Doux ORCID Associate Professor of Applied Mathematics, University of Yaoundé I, Cameroon
  7. Patrick Speissegger ORCID Professor, McMaster University
  8. William Chin verified email DePaul University
  9. 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.

  10. Ben Steffan verified email Rheinische Friedrich-Wilhelms Universität Bonn
  11. Earl Gladue verified email Roger Williams University
  12. Joel Alberto Castro Muñoz ORCID Docente, Universidad Bolivariana del Ecuador
  13. Qin Zhang ORCID Professor, Indiana University
  14. Lawrence Moss ORCID Professor, Indiana University Bloomington
  15. Martin Simon Frankfurt UAS
  16. John Zobolas ORCID Postdoc Researcher, Oslo University Hospital
  17. Gardes Joel UGA Grenoble
  18. Clemens Nollau verified email Eberhard-Karls-Universität Tübingen
  19. Tomasz Żuchowski ORCID PhD student, University of Wrocław
  20. Hannes Werthner verified email Technische Universität Wien
  21. Michael A. Grajek verified email Hiram College
  22. Yijia Chen verified email University of Illinois Chicago
  23. Matthieu Dolbeault ORCID CNRS and Nantes Université
  24. Herschel Bentley ORCID Research Faculty Emeritus, University of Toledo, USA
  25. Huub de Jong ORCID PhD Student, University of British Columbia
  26. Kei Shing NG ORCID University of Hong Kong
  27. Thierry Libert verified email Université Libre de Bruxelles
  28. Piotr Zakrzewski ORCID professor, University of Warsaw
  29. David Marker ORCID University of Illinois Chicago, Professor Emeritus
  30. 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

  31. Ryan Carpenter verified email University of Illinois Chicago
  32. 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.

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

  34. Jan Trlifaj ORCID Department of Algebra, Charles University, Faculty of Mathematics and Physics
  35. Bjorn Ian Dundas ORCID
  36. Matthew Phillips verified email University of Birmingham
  37. Eric Burkholder verified email University of Kentucky
  38. Dong Bai ORCID Associate Professor, Hohai University
  39. 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.

  40. Matheus Justino Gonçalves da Silva ORCID Machine Learning Engineer, ASTRA S/A
  41. Quentin Gazda ORCID Maître de Conférences, Sorbonne Université
  42. Sacha CERF ORCID École Normale Supérieure
  43. Maria Torras-Pérez ORCID DPhil Student, University of Oxford
  44. Harry Richman ORCID Postdoctoral Fellow, National Center for Theoretical Sciences
  45. Raphael Bennett-Tennenhaus ORCID Research Postdoc, Universität Bielefeld
  46. Andrea Ebner ORCID University of Mannheim
  47. M. Martínez i Sellarès ORCID Universiteit Utrecht
  48. Maciej Korpalski ORCID University of Wrocław
  49. Bruno Drieux verified email Istituto Grothendieck, École Polytechnique
  50. Alois Schaffler ORCID PhD Student, UniDistance Suisse
  51. Hans Cuypers verified email Eindhoven University of Technology
  52. Murat Akman ORCID Senior Lecturer in Mathematics, University of Essex
  53. Charlotte Baey ORCID Assistant Professor, Université de Lille
  54. Jean Fromentin ORCID Professeur de Mathématiques, Université du Littoral Côte d'Opale
  55. George Bender PhD
  56. Liesbeth De Mol CNRS, Université de Lille
  57. Bruno Martin ORCID Université du Littoral Côte d'Opale
  58. Arun Chandrasekaran ORCID
  59. Chelsea Lewis verified email University of Tennessee, Knoxville
  60. Stepan Shramko ORCID Head of Economics and Analytics, Al-Farabi Kazakh National University
  61. Oleg Gleizer verified email University of California, Los Angeles
  62. Claus Koestler ORCID NUI - University College Cork
  63. Liam O'Connor ORCID Senior Lecturer, Australian National University
  64. Bim Gustavsson ORCID PhD student, University of Birmingham
  65. Nicolas Addington ORCID University of Oregon
  66. Alexander T Leighton ORCID Doctoral Student, Brandeis University
  67. Mustafa Hashmi ORCID Australian Catholic University
  68. Luis David Garcia Puente ORCID Professor, Colorado College
  69. Alexander Kirillov ORCID Professor, Stony Brook University
  70. Morena Porzio ORCID Postdoc Fellow, University of Toronto
  71. Dima Arinkin ORCID University of Wisconsin
  72. Piotr Borodulin-Nadzieja ORCID Assosiate Professor, University of Wrocław
  73. Agata Boratyńska ORCID prof, Warsaw School of Economics
  74. Loic Foissy ORCID ULCO, full professor
  75. Maciej Głowacki ORCID University of Warsaw
  76. Alexander Nolte Postdoc, Institut des Hautes Études Scientifiques
  77. Andrea Abeje-Stine ORCID PhD Student, University of California, Riverside
  78. Elif Uskuplu ORCID Zorn Postdoctoral Fellow, Indiana University
  79. Giona Veronelli ORCID Matematica e Applicazioni, Università degli Studi di Milano-Bicocca
  80. Tiago Trindade verified email Rice University
    Comment

    Mathematics is a deeply humane subject, just as art, and using AI to create it completely undermines that. People shouldn’t value papers written by AI in the same way they don’t value paintings created by AI.

  81. Ruth Charney ORCID Theodore and Evelyn G. Berenson Chair in Mathematics, Brandeis University
  82. Katherine Fitchet verified email University of York
  83. Wieslaw Kubis ORCID Institute of Mathematics, Czech Academy of Sciences
  84. Santosh Vempala ORCID Georgia Tech
    Comment

    Thanks to all who worked on this thoughtful and comprehensive statement.

  85. Emmanuel Mazzilli Université de Lille (France)
  86. Silvio Capobianco ORCID Senior Researcher, Tallinn University of Technology
  87. Kernivinen Sébastien
  88. Andrea Santi ORCID University of Rome "Tor Vergata"
  89. Javier Enrique Espinoza Grijalva Simula Research Laboratory
  90. Fengyang Wang verified email Rutgers University
  91. Jean-Frédéric Gerbeau ORCID Deputy CEO for science, Inria
  92. Guy-Bart Stan ORCID Imperial College London
  93. Dinesh Karthik Mulumudi IISER Pune BSMS , Mathematics Major
  94. Ariel García ORCID
  95. Standa Zivny ORCID University of Oxford
  96. Jakub Danelski ORCID Student, SGH Warsaw School of Economics
    Comment

    The opportunity to leverage the latest technologies is undeniably powerful and appealing. However, unless they are used thoughtfully and responsibly, they can ultimately cause more harm than benefit.

  97. Luca Motto Ros ORCID University of Turin
  98. Christopher Housholder Missouri State University
  99. Joan Domingo-Pasarin ORCID PhD student, Universitat de Barcelona
  100. Carlos Bosch verified email Instituto Tecnológico Autonómo de México
    Comment

    Excellent initiative