Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
3134 Signatories
  1. Francien Dechesne ORCID Associate Professor, Leiden University; Endowed Professor, Tilburg University
  2. Uwe Kaiser ORCID Associate Professor, Boise State University
  3. Jan-Hendrik Evertse Leiden University, Mathematical Institute
  4. Joshua Mundinger ORCID Van Vleck Visiting Assistant Professor, University of Wisconsin–Madison
  5. 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.

  6. Gabriele Cassese ORCID DPhil Student, University of Oxford
  7. Hetansh Shah IISER Pune
  8. Martin Henk verified email Technische Universität Berlin
  9. Nina Otter ORCID Inria and Université Paris-Saclay
  10. 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.

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

  12. Barbara Terhal ORCID DIAM & QuTech, Delft University of Technology
  13. Luke Attrill verified email PhD Student, Monash University
  14. Vincenzo Galgano ORCID Postdoctoral researcher, Max Planck Institute of Molecular Cell Biology and Genetics
  15. Saksham Sharma ORCID University of Cambridge
  16. 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.

  17. Juliette Kennedy ORCID University Lecturer (equivalent in US: Ass. Prof.), University of Helsinki
  18. Elias Judin ORCID University of Cape Town
  19. Qian Tang ORCID Tsinghua University
  20. Ian Agol ORCID Professor, UC Berkeley
  21. 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.

  22. 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).

  23. Victor Pambuccian ORCID Professor, Arizona State University - West Campus
  24. David Richeson ORCID Professor of Mathematics and the John J. & Ann Curley Faculty Chair in the Liberal Arts, Dickinson College
  25. Dow LaFevers verified email William Marsh Rice University
  26. Seewoo Lee ORCID Ph. D., University of California, Berkeley
  27. Christopher Moseley verified email Calvin University
  28. Katrina Barron ORCID University of Notre Dame
  29. Henry Wilton verified email University of Cambridge
  30. 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

  31. Xiangmiao Yin ORCID PhD Student, University of East Anglia
  32. Luca Maio ORCID Ludwig-Maximilians-Universität (LMU) München
  33. Bjarne Schülke ORCID Institute for Basic Science
  34. Orville Hombrebueno ORCID Nueva Vizcaya State University
  35. Kathryn Hess ORCID École Polytechnique Fédérale de Lausanne
  36. Pim Otte ORCID PhD Student, Utrecht University
  37. Gerrit J. Stemerdink retired statistician
  38. David Sher ORCID Professor, DePaul University
  39. 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.

  40. Jeffrey Adler ORCID Professor, American University
  41. Massimo Sorella verified Imperial college London
  42. Guillaume Aubrun ORCID Professor, Université Claude Bernard Lyon 1
  43. Aaron Peterson ORCID Professor of Instruction, Northwestern University
  44. Rishikesh Gajjala ORCID New York University
  45. Mihai Fulger ORCID Associate Professor, University of Connecticut
  46. Haoling Xiang ORCID PhD student, Imperial College London
  47. Ann Dooms ORCID Professor Mathematics & Data Science, Vrije Universiteit Brussel
  48. 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.

  49. Thomas Ward ORCID Visiting Professor, Durham University
  50. 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.

  51. Eileen Pan ORCID Monash University
  52. Ezra J. Teboul ORCID Postdoctoral Fellow (Canadian Museum of Science and Technology), Carleton University
  53. Michael Stoll ORCID Full Professor, Universität Bayreuth
  54. H.Finkelnberg Mathematics teacher
  55. Andrej Bauer ORCID University of Ljubljana and Institute of Mathematics, Physics and Mechanics
  56. Jonas Bayer ORCID PhD Student, University of Cambridge
  57. Sean Prendiville ORCID Lecturer in Mathematics, Lancaster University
  58. Hrvoje Kraljevic
  59. David Fisher ORCID Milton B Porter Professor, William Marsh Rice University
  60. yushu zhu ORCID Ph.D student, University of Liverpool
  61. Martin Bright ORCID Universiteit Leiden
  62. Sanjaye Ramgoolam verified email Queen Mary, University of London
  63. Andreas Thom ORCID Professor für Geometrie, Technische Universität Dresden
  64. Thomas Bloom ORCID University Research Fellow, University of Manchester
  65. Marco Eugenio Cosolo Petrucco
  66. Jan Felipe van Diejen ORCID Professor, Universidad de Talca
  67. zzllrr小乐 math popular science blogger, self-media operator and translator
    Comment

    I'm a math popular science blogger, self-media operator and translator. I fully endorse the values, implementation requirements and normative principles laid out in this Leiden Declaration, and join the community to embrace this golden age of mathematics shaped by AI, brimming with boundless opportunities and challenges. Let us join hands to further explore more application scenarios and possibilities of artificial intelligence in mathematics.

  68. Jos Dingjan ORCID Physicist, amateur mathematician, parent to a future mathematician
  69. Joel Fine verified email Université Libre de Bruxelles
  70. Shelley Dougherty ORCID Assistant Professor, University of Minnesota, Twin Cities
  71. Giacomo Salvati ORCID PhD Student, Université du Luxembourg / INRIA Paris
  72. Gianni Petrella ORCID University of Luxembourg
  73. Jared Wunsch ORCID James E. Johnson Professor of Mathematics, Northwestern University
  74. Ryan O'Donnell ORCID Professor, Carnegie Mellon University
  75. Matthias Aschenbrenner ORCID Professor, University of Vienna
  76. Aaron Greicius ORCID verified Northwestern University
  77. Jon Jacobsen ORCID Professor, Harvey Mudd College
  78. 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.

  79. Rajendra Beekie ORCID Research Associate, Imperial College London
  80. Benjamin Dozier ORCID Cornell University
  81. Gabor Lippner ORCID Professor, Northeastern University
  82. David A. Cox verified email Amherst College
  83. Marika Taylor verified email Professor, University of Birmingham
  84. Tamás Keleti ORCID Institute of Mathematics, Eötvös Loránd Tudományegyetem
  85. Ivan Nourdin ORCID Full professor, University of Luxembourg
  86. Wannes Malfait ORCID Vrije Universiteit Brussel
  87. Laurent Bartholdi ORCID CNRS and University of Geneva
  88. Adrian Miranda ORCID Department of Mathematics, University of Manchester
  89. Joseph O'Rourke ORCID Professor Emeritus, Smith College
  90. Frédéric Dupuis ORCID Associate Professor, Université de Montréal
  91. Sandra Nair ORCID Colorado State University
  92. Brandon Ashley ORCID Associate Professor, Southern Oregon University
  93. Vesselin Dimitrov ORCID California Institute of Technology
  94. Cesare Giulio Ardito verified email University of Manchester
    Comment

    I endorse the principles set out in this declaration and commend the practical, evidence-based work behind it. The result is a highly persuasive document that avoids hype and false narratives to focus on the urgent and existential issues. Mathematics can benefit enormously from AI, but the greater the potential, the greater the need to manage it carefully. We need every mathematician on board!

  95. Gergő Nemes ORCID Professor, Harbin Institute of Technology
  96. Benjamin Elias ORCID Professor, University of Oregon
  97. Ivan Nourdin verified email University of Luxemburg
  98. Julie Desjardins ORCID Assistant professor, University of Toronto
  99. Tarik Aougab verified email Haverford College in Pennsylvania
  100. Jennifer Johnson-Leung ORCID Professor, University of Idaho
    Comment

    This declaration underscores the central importance of community understanding and curiosity-driven research for the human endeavor of mathematics. I am especially appreciative of the guidance around attribution for mathematical ideas learned from interacting with AI tools.