Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
4181 Signatories
  1. Tomasz Tyranowski ORCID Assistant Professor, University of Twente
  2. Sagar Kumar Maity ORCID PhD student, S.N. Bose National Centre for Basic Sciences
    Comment

    A timely and important initiative. AI can expand mathematical exploration, but transparency, attribution, and human responsibility must remain central to the practice of mathematics.

  3. Matthew James Lynn verified email RWTH Aachen University
  4. Leo Herr ORCID Assistant Professor, Virginia Tech
  5. Yijie Diao ORCID
  6. Geoffrey Grimmett verified email University of Cambridge
  7. Jan De Beule ORCID Associate Professor, Vrije Universiteit Brussel
  8. Michael Joswig ORCID TU Berlin
  9. Giandomenico Orlandi ORCID Professor, Università degli Studi di Verona
  10. Jacob Platnick ORCID PhD Student, Georgia Institute of Technology
  11. Anoushka Nerella ORCID Graduate student, University of Colorado Boulder
  12. Ashvin Swaminathan ORCID Harvard University and AxiomMath
  13. Mauro Artigiani ORCID Profesor Asociado, Universidad Nacional de Colombia
  14. Marie Swartz verified email DePaul University
  15. Víctor Navarro-Fernández ORCID Imperial College London
  16. Christophe Smet verified email Delft University of Technology
  17. Johan Commelin verified email Utrecht University + Mathlib Initiative
  18. William Duke ORCID University of California, Los Angeles
  19. Sebastián Barbieri ORCID Universidad de Santiago de Chile
  20. Stefaan Vaes ORCID Professor of Mathematics, KU Leuven
  21. Ingrid Daubechies ORCID
  22. Vanessa Miemietz ORCID Professor in pure mathematics, University of East Anglia
  23. Prem Nigam Kar ORCID Assistant Professor, Instytut Matematyczny Polskiej Akademii Nauk
  24. Jonathan Grube verified email Utrecht University
  25. Bruno Schapira verified email Université Claude Bernard (Lyon I)
  26. Shamit Kachru verified email Stanford University and PDT Partners
  27. Jack McCarthy ORCID Masters Student, Stony Brook University
  28. Fabian Lekic verified email Student, University of Giessen
  29. Sarah Arpin ORCID Assistant Professor, Virginia Polytechnic Institute and State University
  30. Jon Wilkening ORCID Professor, University of California Berkeley
  31. Betsy Sinclair verified email Washington University, Saint Louis
  32. Adrian Muntean ORCID Professor, Karlstads Universitet
    Comment

    The mathematical community must increase its awareness of what currently happens around us and react appropriately, valuing high scientific standards.

  33. Christian Stump ORCID Professor, Ruhr-Universität Bochum
  34. Macarena Arenas ORCID University of Cambridge
  35. Sridhar Venkatesh ORCID Math Fellow, UCLA
  36. Matt Broe ORCID PhD student, Boston University
  37. Fabrice Baudoin ORCID Professor, Aarhus University
  38. Dan Freed ORCID Harvard University
  39. Razvan Teodorescu ORCID Professor, University of South Florida
  40. Izaak Fairclough verified email King's College London, University of London
  41. Amir Mohammadi ORCID Professor, University of California, Berkeley
  42. R-Clark Robinson Northwestern University, emeritus professor of Mathematics
  43. John B. Garnett verified email University of California, Los Angeles
  44. David Nadler verified email University of California, Berkeley
  45. Pierre Guillon ORCID Centre National de la Recherche Scientifique
  46. Rida Hamadani ORCID LMAP, UPPA
  47. Henry Segerman ORCID Oklahoma State University
  48. Emiliano Gomez verified email University of California, Berkeley
  49. Francien Dechesne ORCID Associate Professor, Leiden University; Endowed Professor, Tilburg University
  50. Uwe Kaiser ORCID Associate Professor, Boise State University
  51. Jan-Hendrik Evertse Leiden University, Mathematical Institute
  52. Joshua Mundinger ORCID Van Vleck Visiting Assistant Professor, University of Wisconsin–Madison
  53. 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.

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

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

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

  65. Juliette Kennedy ORCID University Lecturer (equivalent in US: Ass. Prof.), University of Helsinki
  66. Elias Judin ORCID University of Cape Town
  67. Qian Tang ORCID Tsinghua University
  68. Ian Agol ORCID Professor, UC Berkeley
  69. 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.

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

  71. Victor Pambuccian ORCID Professor, Arizona State University - West Campus
  72. David Richeson ORCID Professor of Mathematics and the John J. & Ann Curley Faculty Chair in the Liberal Arts, Dickinson College
  73. Dow LaFevers verified email William Marsh Rice University
  74. Seewoo Lee ORCID Ph. D., University of California, Berkeley
  75. Christopher Moseley verified email Calvin University
  76. Katrina Barron ORCID University of Notre Dame
  77. Henry Wilton verified email University of Cambridge
  78. 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

  79. Xiangmiao Yin ORCID PhD Student, University of East Anglia
  80. Luca Maio ORCID Ludwig-Maximilians-Universität (LMU) München
  81. Bjarne Schülke ORCID Institute for Basic Science
  82. Orville Hombrebueno ORCID Nueva Vizcaya State University
  83. Kathryn Hess ORCID École Polytechnique Fédérale de Lausanne
  84. Pim Otte ORCID PhD Student, Utrecht University
  85. Gerrit J. Stemerdink retired statistician
  86. David Sher ORCID Professor, DePaul University
  87. 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.

  88. Jeffrey Adler ORCID Professor, American University
  89. Massimo Sorella verified Imperial college London
  90. Guillaume Aubrun ORCID Professor, Université Claude Bernard Lyon 1
  91. Aaron Peterson ORCID Professor of Instruction, Northwestern University
  92. Rishikesh Gajjala ORCID New York University
  93. Mihai Fulger ORCID Associate Professor, University of Connecticut
  94. Haoling Xiang ORCID PhD student, Imperial College London
  95. Ann Dooms ORCID Professor Mathematics & Data Science, Vrije Universiteit Brussel
  96. 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.

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

  99. Eileen Pan ORCID Monash University
  100. Ezra J. Teboul ORCID Postdoctoral Fellow (Canadian Museum of Science and Technology), Carleton University