Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
4440 Signatories
  1. Sayan Mukherjee ORCID Project Assistant Professor, The University of Tokyo
  2. Roman Prosanov ORCID Postdoc, Autonomous University of Barcelona
  3. EMRE COSKUN ORCID Department of Mathematics, Middle East Technical University
  4. Samuel Chen ORCID Fuzhou Technology and Business University
  5. Sam Nelson verified email Claremont McKenna College
  6. Christopher Chukwuemeka ORCID Graduate student, University of Houston
  7. Henrik Ueberschär Sorbonne Université
  8. Connor Paddock ORCID Assistant Professor, University of Calgary
  9. Mathias Braun ORCID Bernoulli Instructor, EPFL
  10. Edward McDonald ORCID Humboldt Fellow, Universitat Bonn
  11. Raahim Hashmi Habib University
    Comment

    Mathematics holds a similar value to the human experience as art does, even if sadly a majority of the population doesn't see it that way. The process that begins at encountering or conjuring an interesting thought, spending time and effort in pursuit of a satisfying conclusion, and then presenting said conclusion, if it was ever reached, in an elegant manner is no different than the process of making any other piece of art. To come across mathematics produced through this process is no different than coming across a masterpiece of any other artform. While math obviously holds practical value in helping us advance as a species and confront the ineffable complexity of the universe (and perhaps this separates it from other artforms and leads to the widespread misunderstanding of its value to the human experience), I believe that handing over the pure and cherished process of doing math to a machine will deprive many aspiring mathematicians of eventually engaging in the long-standing tradition of *humans doing math* and make it a foreign concept for all those that come after to be awestruck at the cleverness behind a contradiction, the ingenuity of a counterexample, or the diligence of a direct proof.

  12. Dr. Wibke Jürgensen University of Bremen, Germany
  13. Ylan Hernandez-Motte verified email Université d'Aix-Marseille
    Comment

    As a student starting my last year of graduate school i was very eager to learn beautiful mathematics that will shape the researcher i hope to become. However with the current raise in Ai assisted proof i fear that the mathematics i fell in love with (struggling on a hard problem, using my intuition to find a way and finally find a proof that i truly understand because it came from deep within me) will disappear. This declaration for me is important because i believe that we as human are entering a pivotal moment. If we let those ultra capitalistic billionaires have the control over intelligence then we will have truly lost everything. I weight my words here : we are experiencing the beginning of the end, and the people responsible for it are gaining even more money. To conclude, i say to everyone reading this, do not stop fighting, it is our own humanity on the line, something far more valuable than a 4000 pages incomprehensible lean verified proof of the Riemann hypothesis that no human ever will understand.

  14. Marco Gualtieri verified email University of Toronto
  15. Riccardo M. Monego ORCID Department of Computer Science, University College London
  16. Jeremy Lyle ORCID Associate Professor, Olivet Nazarene University
  17. Aleksander Doan verified email University College London
  18. Stefan Keppeler ORCID University of Tübingen
  19. Nikolaos Tsakanikas ORCID EPFL - École Polytechnique Fédérale de Lausanne
  20. Tanay Kibe ORCID Simons Postdoctoral fellow, Instituto Balseiro
  21. Zubeyr Barre ORCID Mathematics, Imperial College London
  22. Stefan Kunis ORCID Osnabrück University
  23. Changlong Zhong ORCID Associate Professor, State University of New York at Albany
  24. Conor Treacy verified email University of Queensland
  25. Eashan Iyer ORCID Undergraduate, Brown University
  26. Michel X Goemans ORCID Massachusetts Institute of Technology
  27. Christopher Creighton verified email University of Colorado Colorado Springs
    Comment

    Mathematics is a fundamentally human endeavor, one of curiosity and exploration, that must be preserved. What do I notice? What do I wonder?

  28. Tim Gebbie ORCID Associate Professor, University of Cape Town
  29. Graham Bertele ORCID Student, University of Virginia
  30. Elena-Alexandra Melnig ORCID Octav Mayer Institute of Mathematics and Al. I. Cuza University of Iasi, Romania
  31. Nazar Miheisi verified email King's College London, University of London
  32. Henrique Souza ORCID University of Manchester
  33. Sundara Narasimhan ORCID PhD student, Tata Institute of Fundamental Research
  34. Jean-Claude Sikorav ORCID ENS de Lyon, professor emeritus
  35. Ben Snodgrass ORCID PhD student, Albert-Ludwigs-Universität Freiburg
  36. Iryna Yehorchenko ORCID Senior Researcher, Institute of Mathematics
  37. Robert Fernholz ORCID CEO, Allocation Strategies, LLC
  38. Rebecca Morrison ORCID Assistant Professor, University of Colorado Boulder
  39. Carlos Arreche ORCID Associate Professor, The University of Texas at Dallas
  40. Joanne Bogart ORCID B.S., Stanford University, Ph.D., Cornell University
  41. Luis Aarón Patiño Palafox ORCID Profesor, Universidad Autónoma del Estado de México
  42. Jeanne Scott verified email Visiting Professor, University of Minnesota
  43. Damien Gaboriau ORCID "Researcher, École normale supérieure de Lyon, France"
  44. Christopher Wang ORCID PhD Candidate, Cornell University
  45. Ahmed Mehdi Inane ORCID PhD Student, Université de Montréal and Mila
  46. Dounia Shaaban Kabakibo ORCID PhD Student, Université de Montréal/Mila
  47. SeHwan Kim ORCID Applied Mathematics Ph.D Candidate, University of South Carolina
  48. Matias Relyea ORCID University of North Carolina at Chapel Hill
  49. Lorenzo Pigozzi ORCID Ph.D. Student, Institute of Science and Technology Austria
  50. Fernando Galaz-Fontes ORCID Centro de Investigación en Matemáticas (México), retired professor.
  51. Xingyu Xie ORCID PhD student, Max-Planck Institute for Security and Privacy
  52. Sasha Bontemps ORCID ENS Lyon
  53. Aaron Manning ORCID University of Oxford
  54. Stefan Neubert ORCID Hasso Plattner Institute, University of Potsdam
  55. Jessica Alessandrì ORCID Postdoc, Max Planck Institute for Mathematics
  56. Niklas Müller ORCID Collaborateur scientifique, EPFL
  57. Arli Aditya Parikesit ORCID Professor of Bioinformatics Streaming, i3L University
  58. Emanuele Pavia ORCID Post-Doc researcher, University of Luxembourg
  59. Marco Marengon ORCID Senior Research Fellow, Alfréd Rényi Institute of Mathematics
  60. Dora Klindžić ORCID Leiden Observatory, Delft University of Technology
  61. Andrea Volpi ORCID Assistant professor, University of Warsaw
  62. GIOVANNI MONGARDI ORCID Dipartimento di Matematica, Università degli Studi di Bologna
  63. Mark Pengitore ORCID Assistant Professor, IMPAN
  64. Wolfgang Ertel ORCID Ravensburg-Weingarten University of Applied Sciences
  65. Alessandro ANDRETTA ORCID Università di Torino, Italy
  66. Frédéric G. Speyser ORCID Mathematician - Combinatorics.
    Comment

    Not a rejection of these tools, but an ethical call to preserve verification, attribution, and human judgment as mathematics integrates AI tools. I support it on those terms.

  67. Marco Artusa ORCID Post-doctoral researcher, Aix-Marseille Université
  68. Jonathan Rohleder ORCID Stockholm University
  69. Pallav Goyal ORCID University of California, Riverside
  70. Pravit Shetty Shetty ORCID Undergraduate student, Ahmedabad University
  71. Daniel Mietchen ORCID Senior researcher, FIZ Karlsruhe - Leibniz Institute for Information Infrastructure
  72. QIUCHENG GONG ORCID
  73. David Zhiyuan Bai ORCID Yale University
  74. Antonio Del Donno verified email Charles University Prague
  75. Tatiana Toro ORCID Professor, University of Washington
  76. Emiliano Lancini ORCID Maître de conférences, Paris Dauphine University
  77. Leonardo Lovera M. Sc. Student, Universidad de Concepción
  78. Pantelimon Stanica ORCID Naval Postgraduate School
  79. Tasmin Chu ORCID California Institute of Technology
  80. Zhichao Zheng ORCID Associate Professor of Operations Management, Singapore Management University
  81. Vivek Akella ORCID The Ohio State University
  82. Xiangying Chen Postdoc, Ruhr-Universität Bochum
  83. Marco Manetti ORCID Università degli Studi di Roma La Sapienza
  84. Panayotis Mertikopoulos ORCID Research Director, Centre National de la Recherche Scientifique
  85. Syed Mujtaba Hassan ORCID Research Assistant, Habib University
    Comment

    Another big issue that we haven’t addressed is how these AI models and AI generated proofs are killing the spirit and beauty of mathematics. We don’t just want the proofs and solutions to these big standing problems what attracts is towards mathematics is the beauty of those proofs the journey each individual proof takes. These models are robbing us from that beauty and that journey. Mathematics inherently is a creative field and through this we are loosing that creativity. This all along side all the ethical and environmental issues these models bring. These models will not give us another Art Gallery problem, cause a machine that does not understand beauty cannot generate it.

  86. Bela Bollobas FRS verified email University of Cambridge
  87. Lukas Retschmeier ORCID Københavns Universitet
  88. William Da Silva ORCID University of Vienna
  89. Kuppusamy Ravindran ORCID Doctor of Philosophy, Kansas State University
    Comment

    I sign as someone who uses these systems in my own work, and because of that rather than in spite of it. I have watched a machine argument check out line by line and still fail to be the theorem its author meant: a proof can be verified while its statement is the wrong statement, and no certificate closes that gap for you. I do not read this Declaration as a wall against machines. I read it as the ordinary discipline of the subject, stated in good time. The goal of mathematics is human understanding, grounded in work that can be independently checked. Disclosure, real review of AI-assisted work, and credit to the human work on which a model builds are the terms on which that understanding survives contact with automation. I would add only what my own work keeps teaching me: checking must extend to the question no certificate can settle for its author, namely whether the formal claim means what the author says it means. Let the systems help. I use them, and I mean to go on using them. Keep the review, keep the attribution, and keep human understanding as the thing we are actually for. A convenient proof is worth little if no one is left who can say why it is true.

  90. Sundaram Thangavelu ORCID Indian Institute of Science
  91. Martin Ulirsch ORCID Paderborn University
  92. Aritra Sarkar ORCID Senior Researcher, Fujitsu Research India Private Limited
  93. Felipe Flores ORCID University of Virginia
  94. Jack kayser verified email Ohio State University - Columbus
    Comment

    I believe mathematics is one of humanity’s greatest shared achievements, and AI represents an opportunity to expand it rather than replace it. Open research, transparent methods, and reproducible results will be essential to ensuring that AI-driven discoveries strengthen trust in mathematics and remain accessible to future generation

  95. Michael Doerr CSULB
  96. David Cimasoni ORCID Senior Lecturer, University of Geneva
  97. Simon O'Connor ORCID Georgia Institute of Technology
    Comment

    We have an obligation to respond to this technology and its implications for our field and others, not with fear but with reason and genuine curiosity. We should always be concerned with what we might be losing or negatively impacting in exchange for technological progress and automation. Encouraging open discussion and genuine engagement with the development of AI will be necessary for the sake of mathematics and beyond

  98. Andreas Johannes Klein ORCID visitor, IHÉS
    Comment

    I think it is a pivotal moment for mankind to keep control over 'the ghosts that we once called'.

  99. Nestor Guillen ORCID Courant Institute of Mathematical Sciences
  100. Angelo Arvind Rajendram verified email University of Waterloo