Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
3122 Signatories
  1. Riwal Plougonven ORCID Professeur, Ecole Polytechnique
  2. R Ramanujam Azim Premji University, Bengaluru, India
  3. Shichang Song ORCID School of Mathematics and Statistics, Beijing Jiaotong University
  4. Jiaxuan Chen ORCID Stanford Online High School, Stanford University
  5. Wojciech Domitrz ORCID Associate Professor, Warsaw University of Technology
  6. Kyle Luh ORCID Assistant Professor, University of Colorado Boulder
  7. Antonio Rojas León ORCID Profesor Titular, Universidad de Sevilla
  8. 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.

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

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

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

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

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

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

  39. Jan Trlifaj ORCID Department of Algebra, Charles University, Faculty of Mathematics and Physics
  40. Bjorn Ian Dundas ORCID
  41. Matthew Phillips verified email University of Birmingham
  42. Eric Burkholder verified email University of Kentucky
  43. Dong Bai ORCID Associate Professor, Hohai University
  44. 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.

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

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

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

  89. Emmanuel Mazzilli Université de Lille (France)
  90. Silvio Capobianco ORCID Senior Researcher, Tallinn University of Technology
  91. Kernivinen Sébastien
  92. Andrea Santi ORCID University of Rome "Tor Vergata"
  93. Javier Enrique Espinoza Grijalva Simula Research Laboratory
  94. Fengyang Wang verified email Rutgers University
  95. Jean-Frédéric Gerbeau ORCID Deputy CEO for science, Inria
  96. Guy-Bart Stan ORCID Imperial College London
  97. Dinesh Karthik Mulumudi IISER Pune BSMS , Mathematics Major
  98. Ariel García ORCID
  99. Standa Zivny ORCID University of Oxford
  100. 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.