Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
4162 Signatories
  1. Nils Detering ORCID Heinrich Heine University Düsseldorf
  2. Balint Farkas ORCID Professor, University of Wuppertal
  3. KyeongRo Kim ORCID Korea Institute for Advanced Study (KIAS)
  4. Francesc Rossello ORCID
  5. Dominique Garmier ORCID ETH Zurich
  6. Jennifer Paulhus ORCID Professor, Mount Holyoke College
  7. Thomas Koerber ORCID Senior Scientist, University of Vienna
  8. Zhiyu Wang ORCID Assistant Professor, Louisiana State University
  9. Edgard A. Pimentel verified email CMUC, Universidade de Coimbra
  10. Giancarlo Bigi ORCID Università di Pisa
  11. Eduardo Reyes ORCID Assistant Professor, Pontificia Universidad Católica de Chile
  12. Vladislav Vysotsky verified email Reader in Probability and Statistics, University of Sussex
  13. Naoki Koseki ORCID Senior Lecturer, University of Liverpool
  14. Andrei Pogrebkov Steklov Mathematical Institute, Moscow
  15. Zbigniew ORCID TU Dresden
    Comment

    Ich bin ein Postdoc und hier sind meine Eindrücke: 1) KI gibt Leuten das Gefühl, sie hätten etwas besser verstanden, als sie es wirklich tun. Das fördert ein ungesundes Klima in der Wissenschaft, Dinge werden behauptet und nicht bewiesen. 2) Wenn nur eine KI ein Paper probeliest, hat es in Wirklichkeit niemand probegelesen. 3) Mathematik kann auch als Kunst begriffen werden. Aus dieser Perspektive sehe ich KI-Mathematik als obskure verzerrte Version von Menschen gefundener mathematischer Schönheit. Gute und tatsächliche gefundene KI-Resultate, kamen nicht zu ihrem natürlichen Zeitpunkt oder basieren auf nicht mehr zu lokalisierender Arbeit, mit der KI gefüttert wurde.

  16. J. P. Gaivão ORCID Associate Professor, ISEG Lisbon School of Economics and Management
  17. Raul Gonzalez Molina ORCID Tenure track, Universidad Politécnica de Madrid
  18. Lev Beklemishev ORCID Senior Full Professor, Ghent University
  19. Vladimir D Stepanov ORCID
  20. Talal Alrawajfeh verified email Doctoral researcher at the University of Helsinki
    Comment

    AI can help us explore both informal and formal proof spaces, search for counterexamples, and quickly survey the literature. However, mathematics should remain understandable to humans and be carefully checked by humans. Mathematicians play an essential role not only in developing proofs; they develop collective understanding and intuition, identify meaningful questions, and communicate results effectively.

  21. Bradd Hart verified email McMaster University
  22. Sayan Mukherjee ORCID Project Assistant Professor, The University of Tokyo
  23. Roman Prosanov ORCID Postdoc, Autonomous University of Barcelona
  24. EMRE COSKUN ORCID Department of Mathematics, Middle East Technical University
  25. Samuel Chen ORCID Fuzhou Technology and Business University
  26. Sam Nelson verified email Claremont McKenna College
  27. Christopher Chukwuemeka ORCID Graduate student, University of Houston
  28. Henrik Ueberschär Sorbonne Université
  29. Connor Paddock ORCID Assistant Professor, University of Calgary
  30. Mathias Braun ORCID Bernoulli Instructor, EPFL
  31. Edward McDonald ORCID Humboldt Fellow, Universitat Bonn
  32. 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.

  33. Dr. Wibke Jürgensen University of Bremen, Germany
  34. 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.

  35. Marco Gualtieri verified email University of Toronto
  36. Riccardo M. Monego ORCID Department of Computer Science, University College London
  37. Jeremy Lyle ORCID Associate Professor, Olivet Nazarene University
  38. Aleksander Doan verified email University College London
  39. Stefan Keppeler ORCID University of Tübingen
  40. Nikolaos Tsakanikas ORCID EPFL - École Polytechnique Fédérale de Lausanne
  41. Tanay Kibe ORCID Simons Postdoctoral fellow, Instituto Balseiro
  42. Zubeyr Barre ORCID Mathematics, Imperial College London
  43. Stefan Kunis ORCID Osnabrück University
  44. Changlong Zhong ORCID Associate Professor, State University of New York at Albany
  45. Conor Treacy verified email University of Queensland
  46. Eashan Iyer ORCID Undergraduate, Brown University
  47. Michel X Goemans ORCID Massachusetts Institute of Technology
  48. 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?

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

  88. Marco Artusa ORCID Post-doctoral researcher, Aix-Marseille Université
  89. Jonathan Rohleder ORCID Stockholm University
  90. Pallav Goyal ORCID University of California, Riverside
  91. Pravit Shetty Shetty ORCID Undergraduate student, Ahmedabad University
  92. Daniel Mietchen ORCID Senior researcher, FIZ Karlsruhe - Leibniz Institute for Information Infrastructure
  93. QIUCHENG GONG ORCID
  94. David Zhiyuan Bai ORCID Yale University
  95. Antonio Del Donno verified email Charles University Prague
  96. Tatiana Toro ORCID Professor, University of Washington
  97. Emiliano Lancini ORCID Maître de conférences, Paris Dauphine University
  98. Leonardo Lovera M. Sc. Student, Universidad de Concepción
  99. Pantelimon Stanica ORCID Naval Postgraduate School
  100. Tasmin Chu ORCID California Institute of Technology