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. Roberto Imbuzeiro Oliveira ORCID Professor, IMPA
  2. David Ben-Zvi ORCID University of Texas at Austin
  3. Pierre Monmarché ORCID Université Gustave Eiffel
  4. Keith Gremban verified email University of Colorado at Boulder
  5. Andrés Ignacio Navas Flores ORCID Universidad de Santiago de Chile
  6. Scott Aaronson Professor of Computer Science, University of Texas at Austin
  7. Junaid Hasan ORCID PhD Student, University of Washington
  8. Devin Kapper ORCID Research Assistant, Clarkson University
  9. Marco Elio Tabacchi ORCID Professor, Universita' degli Studi di Palermo
  10. Lucas Gierczak ORCID Université d'Aix-Marseille
  11. Yuriy Tumarkin verified email PhD student, Universität Zürich
  12. Belmiro Sousa
  13. Angelo Felice LOPEZ ORCID Professor, Università degli Studi Roma Tre
  14. Glenn Hurlbert ORCID
  15. Yael Davidov ORCID University of Delaware
  16. Amie Wilkinson verified email University of Chicago
  17. Mahdi Asgari ORCID Oklahoma State University
  18. Alexander Levin ORCID The Catholic University of America
    Comment

    I fully support the declaration

  19. Douglas Lind ORCID Professor Emeritus, University of Washington
  20. Roberto Castorrini verified email Viterbo State University
  21. daniel Barrera Salazar ORCID Associate Professor, Universidad de Santiago de Chile
  22. Demetre Kazaras ORCID Assistant professor, Michigan State University
  23. Miguel Pérez Autonomous Univ. of Madrid graduate
    Comment

    AI is unfortunately here to stay, but it must be as a tool to help scientists, not replace them and their values. If the current situation continues unreagulated, greedy corporations will wring the life out of the scientific community to dispose of us when there is no more money to be made, and the institutions that are already cutting research funding are making the problem worse. Following the recommendations on the declaration is a huge step in the right direction and we must keep putting pressure on the ones in power.

  24. Heriberto Espino Montelongo ORCID Student, Universidad de las Américas Puebla
  25. Alejandro García García Graduate in Maths, Universidad de Murcia
  26. Silas Vriend ORCID Ph.D. Math Student, McMaster University
  27. Pablo Lessa ORCID Profesor, Universidad de la Republica
  28. Rubén J Sánchez-García ORCID University of Southampton
  29. Sönmez Şahutoğlu ORCID University of Toledo, USA
  30. Daan van Sonsbeek verified email Bergische Universität Wuppertal
  31. FILIPPO BRACCI ORCID Full Professor, University of Florence and Vice President INdAM
  32. Anh-Tuan Nguyen Phenikaa University, Lecturer and Researcher
  33. Eric Brandwein ORCID Universidad de Buenos Aires
    Comment

    Just a thought: the problem of peer-reviewed publication is not the medium; in fact, PDF is pretty terrible for communicating mathematics in comparison to many alternatives. The problem instead is the fact that there is no way to confirm that what is written in a blog post has been peer-reviewed. I urge us as the scientific community to remedy this: let's build reactive, accesibility-friendly, interactive webpages, and let's add a way to certify that those blog posts are correct via peer-review. We don't need journals for this, just good filters in our searches.

  34. Christian Liedtke ORCID Professor, Technical University of Munich
  35. Sara Veneziale verified email Imperial College London
  36. Tonguç Rador Boğaziçi University, Professor of Physics.
  37. Jiaqi Liu ORCID University of Chinese Academy of Sciences
  38. Henrik Johannesson ORCID Professor, University of Gothenburg
  39. Dirk Praetorius ORCID Professor of Numerical Analysis of PDEs, TU Wien
  40. Luka Milićević ORCID Mathematical Institute of the Serbian Academy of Sciences and Arts
  41. Mikhail Zaidenberg ORCID Institut Fourier, Grenoble (honorable professor)
  42. Montserrat Casals-Ruiz ORCID Ikerbasque Research Professor, University of the Basque Country
  43. Martin Kalck University of Graz
  44. Matthew Pressland ORCID Maître de conférences, Université de Caen Normandie
  45. Tiger Ang verified email University College London, University of London
  46. Johannes Huisman ORCID Mathematics, Université de Bretagne Occidentale
  47. Michel Brion verified email Université Grenoble Alpes
  48. Arturo Enrique Giles Flores ORCID Universidad Autónoma de Aguascalientes (Mexico)
  49. Christophe Levrat ORCID Inria Saclay - Île de France
  50. Honghao Pan ORCID School of Mathematics, China University of Mining and Technology
  51. Joel Moreira ORCID Mathematics, University of Warwick
  52. Ronnie Pavlov ORCID Professor, University of Denver
  53. Ilka Agricola ORCID full professor, Philipps-Universität Marburg
  54. Subrat Parida ORCID Master's, Pondicherry University, Ramanujan School of Mathematical Sciences
  55. Chew Yee Xuan Student in Mathematics
  56. Kevin Buzzard ORCID Department of Mathematics, Imperial College London
  57. Natalia Salaberry UBA
  58. Sophia Bugarija verified email Humboldt Universität Berlin
  59. Edgar Martinez-Moro ORCID Associate Proffessor, Universidad de Valladolid
  60. Athanasios Kouroupis ORCID Postdoctoral Researcher, KU Leuven
  61. Viraj Pithva verified email Indian Institute of Science
    Comment

    I thank the mathematical community for raising the issue and fighting this "cognitive offloading". I stand firmly with the declaration and will continue to do so. More power to human ingenuity and the grounding struggle that all mathematicians are much too familiar with!

  62. matteo levi ORCID Profesor lector (Assistant professor), Universitat de Barcelona
  63. Jamie Mason ORCID Teaching Fellow, Durham University
  64. Caio de Paula ORCID Master's, Universidade de Brasília
  65. Dami Lee ORCID Assistant Professor, Oklahoma State University
  66. Bruce Reznick ORCID Professor Emeritus, University of Illinois Urbana-Champaign
  67. Hao Zhang ORCID University of Glasgow
  68. Valentin Cornaciu ORCID Certified actuary
    Comment

    For the same knowledge state—or for two equivalent cases twin agents—we must assign identical plausibility values. Consensus feels safe because individual accountability becomes diluted. Let us advocate for the logic of consistent reasoning from incomplete information rather than ontological randomness. This preserves the useful idea—structural consistency under incomplete information—without elevating consensus into a quasi-political or normative force. Treating AI systems as epistemically “responsible agents” can obscure the fact that they are optimization systems with constraints, not deliberative entities with accountability structures.

  69. Nicolas Dupré ORCID Research Assistant, Bergische Universität Wuppertal
  70. Alan Thompson ORCID Loughborough University
  71. Adrien Abgrall ORCID Université Paris-Saclay
  72. Daryl Q. Granario verified email De La Salle University
  73. Jorge Gutiérrez Universidad Tecnológica Gral. Mariano Escobedo
  74. Konstantinos Kartas verified email Westfälische Wilhelms-Universität Münster
  75. Erwan Brugallé ORCID Nantes Universtié
  76. Robert W. Bell ORCID Associate Professor, Michigan State University
  77. Kristine Bauer verified email University of Calgary
  78. Quang-Duc DAO ORCID Lecturer, University of Science and Technology of Hanoi - Vietnam Academy of Science and Technology
  79. Luen-Chau Li ORCID Professor, Pennsylvania State University
  80. Jiaming Chen ORCID Humboldt Universität zu Berlin
  81. Rui Alves ORCID Full Professor, Universitat de Lleida
  82. Dale Miller ORCID Inria Saclay - Île-de-France Research Centre
  83. Xavier Cabré ORCID Researcher, Institució Catalana de Recerca i Estudis Avançats
  84. Alexander A. Voronov ORCID Professor, University of Minnesota
  85. Margarida Mendes Lopes ORCID Professor (retired), Universidade de Lisboa, Instituto Superior Tecnico
  86. Leandro Bezerra de Lima ORCID Professor Associado do Instituto de Matemática da Universidade Federal de Mato Grosso do Sul
  87. Waldo Gálvez ORCID Assistant Professor, Universidad de Concepción
  88. Dominic Bunnett ORCID Technische Universität Berlin
  89. Steffen Sagave ORCID Associate Professor, Radboud University Nijmegen
  90. Pratyush Vempati ORCID CSTAR, International Institute of Information Technology, Hyderabad
    Comment

    As a newcomer to mathematical research, I was beginning to feel the reasons I was joining the field were slowly eroding away, in the light of the recent flurry of "AI in mathematics" news. This declaration upholds those reasons, reasons I feel very strongly about. I am incredibly glad that this declaration was made, and am honoured to sign it. I hope it brings a positive change to the future of the field. To add to the comments posted by others here, I offer a young student's worries for the future below. I am drawn to this field because of the fact that it is a cornerstone of human creativity, and I love it as an art. Rigor, and formalization of ideas, and research ideas which fail and don't work, do not take away from the beauty of math, they only add to it. Andrew Wiles' proof of Fermat's Last Theorem is beautiful both because of the result and it's importance to the field, as well as the story of his proof and how it has inspired a lot of young mathematicians to join the profession, me included. A proof by AI would not have had nearly as much impact as Wiles' proof continues to have. We should continue to encourage and respect human creativity, as It has value and it impacts people, more than just a theorem will ever bring. As a student, I am witnessing firsthand how incorporating AI into mathematical education ruins foundations, with the rigor and clarity that doing mathematics provides replaced with hand-wavy intuition and wading through incorrect proofs. AI can ruin the future generation of mathematicians who can become dependent on AI to produce proofs, and will lose self-reliance. Added, mathematics funding will become divested towards spending on models for research, controlled by corporations. This will change now, and the hierarchy emerging as a result worries me. Hopefully the reasons above on why i care so deeply about mathematics and worry about both mine and its future are shared by and resonate with others.

  91. Tyler Mortimer-Wise ORCID
  92. Hugh Thomas ORCID Professor, Université du Québec à Montréal
  93. Tangi Pasquer IMJ-PRG
  94. Siyi Chen verified email University of Michigan - Ann Arbor
  95. Jun Luo ORCID
  96. Sylvain Brochard ORCID Maître de conférences, Université de Montpellier
  97. John DeBrota ORCID LMU Munich
  98. Matěj Doležálek ORCID Fachbereich Mathematik und Statistik, University of Konstanz
  99. Duarte Costa ORCID Master's degree in Mathematics, Universidade de Lisboa Faculdade de Ciências
  100. Evangelos Kranakis ORCID Professor, Carleton University
    Comment

    Mathematics have always been the pinnacle of human scientific by combining rigour with ingenuity; technical innovations should always be welcome provided they respect its principles.