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. Razvan Teodorescu ORCID Professor, University of South Florida
  2. Izaak Fairclough verified email King's College London, University of London
  3. Amir Mohammadi ORCID Professor, University of California, Berkeley
  4. R-Clark Robinson Northwestern University, emeritus professor of Mathematics
  5. John B. Garnett verified email University of California, Los Angeles
  6. David Nadler verified email University of California, Berkeley
  7. Pierre Guillon ORCID Centre National de la Recherche Scientifique
  8. Rida Hamadani ORCID LMAP, UPPA
  9. Henry Segerman ORCID Oklahoma State University
  10. Emiliano Gomez verified email University of California, Berkeley
  11. Francien Dechesne ORCID Associate Professor, Leiden University; Endowed Professor, Tilburg University
  12. Uwe Kaiser ORCID Associate Professor, Boise State University
  13. Jan-Hendrik Evertse Leiden University, Mathematical Institute
  14. Joshua Mundinger ORCID Van Vleck Visiting Assistant Professor, University of Wisconsin–Madison
  15. Sidharth Hariharan ORCID PhD Student, Carnegie Mellon University
    Comment

    AI is becoming an increasingly important part of formal mathematics, and I sincerely believe that when human formalisers and AI companies are able to align their objectives, the outcomes can be immensely productive to the advancement of formal as well as non-formal mathematics. It's particularly surreal to see this Declaration come to fruition after those incredible discussions in Leiden several months ago. The landscape of AI for mathematics (both formal and non-formal) has changed considerably since then, but I have little doubt that this Declaration, reflective of our many learnings from the events that have transpired since its inception, will prove to be of tremendous scientific, historical and philosophical import as this still nascent yet surprisingly impressive field continues to advance.

  16. Gabriele Cassese ORCID DPhil Student, University of Oxford
  17. Hetansh Shah IISER Pune
  18. Martin Henk verified email Technische Universität Berlin
  19. Nina Otter ORCID Inria and Université Paris-Saclay
  20. Maria-Romina Ivan ORCID Research Fellow, Magdalene College, University of Cambridge
    Comment

    Finally some stance is taken to protect curiosity and the best that the human mind has to offer, as opposed to hyped proofs for the sake of proofs.

  21. Zander Hill verified email University of Michigan - Ann Arbor
    Comment

    I believe these guardrails are especially important for young mathematicians -- current hiring practices and funding pressure incentivize those still in education to accelerate their learning and publications as a competitive edge. At the moment, generative AI is one of the leading tools in use for younger mathematicians to get ahead. It is yet unclear what impact this will have on long-term mathematical ability; but, without deep, institutionally-supported conversations about the risks involved and the very real pressures incoming researchers face, I fear that individual incentives to progress via AI will irreparably harm the next generation of mathematicians.

  22. Barbara Terhal ORCID DIAM & QuTech, Delft University of Technology
  23. Luke Attrill verified email PhD Student, Monash University
  24. Vincenzo Galgano ORCID Postdoctoral researcher, Max Planck Institute of Molecular Cell Biology and Genetics
  25. Saksham Sharma ORCID University of Cambridge
  26. Kevin Barreto verified email University of Cambridge
    Comment

    We live in unprecedented times. It is vital to attempt to mitigate the negative consequences of the displacement of working mathematicians where possible. Those that depend on their work for the money they receive, for the food on their tables, for the institutions they have access to, depend on those spearheading this technology to do so as responsibly as possible. This is a good set of guidelines to try to tackle some of these challenges.

  27. Juliette Kennedy ORCID University Lecturer (equivalent in US: Ass. Prof.), University of Helsinki
  28. Elias Judin ORCID University of Cape Town
  29. Qian Tang ORCID Tsinghua University
  30. Ian Agol ORCID Professor, UC Berkeley
  31. yiwei xie "soochow university, graduate student"
    Comment

    I’d like to quote Bill Thurston: In short, mathematics only exists in a living community of mathematicians that spreads understanding and breaths life into ideas both old and new. I believe we must uphold the central role of humanity in mathematics as a human endeavor, recognize that we should work together to preserve our mathematical culture and values, and actively explore the future forms that human mathematics may take.

  32. Ada Stelzer ORCID PhD, University of Illinois Urbana-Champaign
    Comment

    This is a well-thought-out and well-articulated statement on the values of mathematical research. I support taking the suggested actions to preserve these values (although I believe they represent a minimum and would also support taking stronger actions).

  33. Victor Pambuccian ORCID Professor, Arizona State University - West Campus
  34. David Richeson ORCID Professor of Mathematics and the John J. & Ann Curley Faculty Chair in the Liberal Arts, Dickinson College
  35. Dow LaFevers verified email William Marsh Rice University
  36. Seewoo Lee ORCID Ph. D., University of California, Berkeley
  37. Christopher Moseley verified email Calvin University
  38. Katrina Barron ORCID University of Notre Dame
  39. Henry Wilton verified email University of Cambridge
  40. Edward van de Meent verified email Utrecht University
    Comment

    The rise of artificial intelligence raises serious risks for the future of the field of mathematics and profession of mathematician, which must be carefully considered

  41. Xiangmiao Yin ORCID PhD Student, University of East Anglia
  42. Luca Maio ORCID Ludwig-Maximilians-Universität (LMU) München
  43. Bjarne Schülke ORCID Institute for Basic Science
  44. Orville Hombrebueno ORCID Nueva Vizcaya State University
  45. Kathryn Hess ORCID École Polytechnique Fédérale de Lausanne
  46. Pim Otte ORCID PhD Student, Utrecht University
  47. Gerrit J. Stemerdink retired statistician
  48. David Sher ORCID Professor, DePaul University
  49. Robert Ramsdell ORCID BA, University of California, Berkeley
    Comment

    While I am not a practicing mathematician, I fully endorse this declaration, as I am starting to see AI in my field, dredging production engineering.

  50. Jeffrey Adler ORCID Professor, American University
  51. Massimo Sorella verified Imperial college London
  52. Guillaume Aubrun ORCID Professor, Université Claude Bernard Lyon 1
  53. Aaron Peterson ORCID Professor of Instruction, Northwestern University
  54. Rishikesh Gajjala ORCID New York University
  55. Mihai Fulger ORCID Associate Professor, University of Connecticut
  56. Haoling Xiang ORCID PhD student, Imperial College London
  57. Ann Dooms ORCID Professor Mathematics & Data Science, Vrije Universiteit Brussel
  58. Matthew Kousoulas ORCID Masters of Applied Mathematics, UMBC
    Comment

    As others have said, mathematics is a human activity centered on human understanding and communication of that understanding. Generative AI and LLMs must not be allowed to supplant that basic foundation. They should enter the field primarily as objects of study and only secondarily as tools, given sufficient understanding coming from the former.

  59. Thomas Ward ORCID Visiting Professor, Durham University
  60. Baris Coskunuzer ORCID Professor, UT Dallas
    Comment

    I’m signing this important decleration because I think AI is already starting to affect how we do mathematics, and we should be part of shaping that conversation. We need clear community norms that keep rigor, transparency, and proper credit at the center. Many thanks to the creators of this declaration for taking the initiative.

  61. Eileen Pan ORCID Monash University
  62. Ezra J. Teboul ORCID Postdoctoral Fellow (Canadian Museum of Science and Technology), Carleton University
  63. Michael Stoll ORCID Full Professor, Universität Bayreuth
  64. H.Finkelnberg Mathematics teacher
  65. Andrej Bauer ORCID University of Ljubljana and Institute of Mathematics, Physics and Mechanics
  66. Jonas Bayer ORCID PhD Student, University of Cambridge
  67. Sean Prendiville ORCID Lecturer in Mathematics, Lancaster University
  68. Hrvoje Kraljevic
  69. David Fisher ORCID Milton B Porter Professor, William Marsh Rice University
  70. yushu zhu ORCID Ph.D student, University of Liverpool
  71. Martin Bright ORCID Universiteit Leiden
  72. Sanjaye Ramgoolam verified email Queen Mary, University of London
  73. Andreas Thom ORCID Professor für Geometrie, Technische Universität Dresden
  74. Thomas Bloom ORCID University Research Fellow, University of Manchester
  75. Marco Eugenio Cosolo Petrucco
  76. Jan Felipe van Diejen ORCID Professor, Universidad de Talca
  77. Joel Fine verified email Université Libre de Bruxelles
  78. Shelley Dougherty ORCID Assistant Professor, University of Minnesota, Twin Cities
  79. Giacomo Salvati ORCID PhD Student, Université du Luxembourg / INRIA Paris
  80. Gianni Petrella ORCID University of Luxembourg
  81. Andrew D. Hwang Independent Mathematician
  82. Jared Wunsch ORCID James E. Johnson Professor of Mathematics, Northwestern University
  83. Ryan O'Donnell ORCID Professor, Carnegie Mellon University
  84. Matthias Aschenbrenner ORCID Professor, University of Vienna
  85. Aaron Greicius ORCID verified Northwestern University
  86. Jon Jacobsen ORCID Professor, Harvey Mudd College
  87. Terence Tao ORCID Professor, University of California, Los Angeles
    Comment

    This has been the result of months of community input about the fundamental values and goals of the mathematical community. In retrospect, these were questions we should have been systematically discussing years ago, but in any event the exercise was extremely valuable, and the end result is excellent. I wholeheartedly endorse the statements and recommendations in this declaration.

  88. Rajendra Beekie ORCID Research Associate, Imperial College London
  89. Benjamin Dozier ORCID Cornell University
  90. Gabor Lippner ORCID Professor, Northeastern University
  91. David A. Cox verified email Amherst College
  92. Marika Taylor verified email Professor, University of Birmingham
  93. Tamás Keleti ORCID Institute of Mathematics, Eötvös Loránd Tudományegyetem
  94. Ivan Nourdin ORCID Full professor, University of Luxembourg
  95. Wannes Malfait ORCID Vrije Universiteit Brussel
  96. Laurent Bartholdi ORCID CNRS and University of Geneva
  97. Adrian Miranda ORCID Department of Mathematics, University of Manchester
  98. Joseph O'Rourke ORCID Professor Emeritus, Smith College
  99. Frédéric Dupuis ORCID Associate Professor, Université de Montréal
  100. Sandra Nair ORCID Colorado State University