Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
1500 Signatories
  1. Reza Gheissari ORCID Northwestern University
  2. Mona Merling ORCID University of Pennsylvania
  3. Perla Sousi verified email University of Cambridge
  4. JAMES BRASSEUR ORCID University of Colorado Boulder
    Comment

    The "Values," "Potential Threats," and four "Recommendations" sections in the Leiden Declaration on Artificial Intelligence and Mathematics are applicable to research that is directed at the advancement of scientific knowledge and understanding in general. The Leiden Declaration should be used as a starting point for a similar declaration directed at basic research in science.

  5. Sean O'Brien verified email University of Glasgow
  6. Riley Shahar verified email University of Pennsylvania
  7. Chris Peters Prof. em., Univ. Grenoble Alpes, guest researcher Math. Inst. Leiden university
  8. Maciej Głuchowski ORCID
  9. Clemens Berger ORCID Professor, Université Côte d'Azur
  10. Guglielmo Nocera ORCID Postdoc researcher, Institut des Hautes Études Scientifiques
  11. Saraí Hernández-Torres ORCID Investigadora Asociada C, Universidad Nacional Autónoma de México Instituto de Matemáticas
  12. James M Turner verified email Calvin University
    Comment

    The core goal to mathematics in teaching, research, and application should be the flourishing of human understanding. The use of AI tools can undermine this is in many different and damaging ways, as the statement of the statement outlines. I highly endorse the Leiden declaration and highly encourage everyone share this with their colleagues.

  13. Francis Su ORCID Benediktsson-Karwa Professor of Mathematics, Harvey Mudd College
  14. Pradip Kumar ORCID Shiv Nadar University Delhi
  15. Cary Malkiewich ORCID Assistant Professor, Binghamton University
  16. Francesco Fournier-Facio ORCID Herchel Smith Fellow, University of Cambridge
  17. Ian Selvaggi ORCID SISSA
  18. Thomas Kahle ORCID Professor, Otto von Guericke Universität Magdeburg
  19. Tomasz Tyranowski ORCID Assistant Professor, University of Twente
  20. 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.

  21. Matthew James Lynn verified email RWTH Aachen University
  22. Leo Herr ORCID Assistant Professor, Virginia Tech
  23. Yijie Diao ORCID
  24. Geoffrey Grimmett verified email University of Cambridge
  25. Jan De Beule ORCID Associate Professor, Vrije Universiteit Brussel
  26. Michael Joswig ORCID TU Berlin
  27. Giandomenico Orlandi ORCID Professor, Università degli Studi di Verona
  28. Jacob Platnick ORCID PhD Student, Georgia Institute of Technology
  29. Anoushka Nerella ORCID Graduate student, University of Colorado Boulder
  30. Ashvin Swaminathan ORCID Harvard University and AxiomMath
  31. Mauro Artigiani ORCID Profesor Asociado, Universidad Nacional de Colombia
  32. Marie Swartz verified email DePaul University
  33. Víctor Navarro-Fernández ORCID Imperial College London
  34. Christophe Smet verified email Delft University of Technology
  35. Johan Commelin verified email Utrecht University + Mathlib Initiative
  36. William Duke ORCID University of California, Los Angeles
  37. Sebastián Barbieri ORCID Universidad de Santiago de Chile
  38. Stefaan Vaes ORCID Professor of Mathematics, KU Leuven
  39. Ingrid Daubechies ORCID
  40. Vanessa Miemietz ORCID Professor in pure mathematics, University of East Anglia
  41. Prem Nigam Kar ORCID Assistant Professor, Instytut Matematyczny Polskiej Akademii Nauk
  42. Jonathan Grube verified email Utrecht University
  43. Bruno Schapira verified email Université Claude Bernard (Lyon I)
  44. Shamit Kachru verified email Stanford University and PDT Partners
  45. Jack McCarthy ORCID Masters Student, Stony Brook University
  46. Fabian Lekic verified email Student, University of Giessen
  47. Sarah Arpin ORCID Assistant Professor, Virginia Polytechnic Institute and State University
  48. Jon Wilkening ORCID Professor, University of California Berkeley
  49. Betsy Sinclair verified email Washington University, Saint Louis
  50. 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.

  51. Christian Stump ORCID Professor, Ruhr-Universität Bochum
  52. Macarena Arenas ORCID University of Cambridge
  53. Sridhar Venkatesh ORCID Math Fellow, UCLA
  54. Matt Broe ORCID PhD student, Boston University
  55. Fabrice Baudoin ORCID Professor, Aarhus University
  56. Dan Freed ORCID Harvard University
  57. Razvan Teodorescu ORCID Professor, University of South Florida
  58. Izaak Fairclough verified email King's College London, University of London
  59. Amir Mohammadi ORCID Professor, University of California, Berkeley
  60. R-Clark Robinson Northwestern University, emeritus professor of Mathematics
  61. John B. Garnett verified email University of California, Los Angeles
  62. David Nadler verified email University of California, Berkeley
  63. Pierre Guillon ORCID Centre National de la Recherche Scientifique
  64. Rida Hamadani ORCID LMAP, UPPA
  65. Henry Segerman ORCID Oklahoma State University
  66. Emiliano Gomez verified email University of California, Berkeley
  67. Francien Dechesne ORCID Associate Professor, Leiden University; Endowed Professor, Tilburg University
  68. Uwe Kaiser ORCID Associate Professor, Boise State University
  69. Jan-Hendrik Evertse Leiden University, Mathematical Institute
  70. Joshua Mundinger ORCID Van Vleck Visiting Assistant Professor, University of Wisconsin–Madison
  71. 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.

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

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

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

  83. Juliette Kennedy ORCID University Lecturer (equivalent in US: Ass. Prof.), University of Helsinki
  84. Elias Judin ORCID University of Cape Town
  85. Qian Tang ORCID Tsinghua University
  86. Ian Agol ORCID Professor, UC Berkeley
  87. 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.

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

  89. Victor Pambuccian ORCID Professor, Arizona State University - West Campus
  90. David Richeson ORCID Professor of Mathematics and the John J. & Ann Curley Faculty Chair in the Liberal Arts, Dickinson College
  91. Dow LaFevers verified email William Marsh Rice University
  92. Seewoo Lee ORCID Ph. D., University of California, Berkeley
  93. Christopher Moseley verified email Calvin University
  94. Katrina Barron ORCID University of Notre Dame
  95. Henry Wilton verified email University of Cambridge
  96. 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

  97. Xiangmiao Yin ORCID PhD Student, University of East Anglia
  98. Luca Maio ORCID Ludwig-Maximilians-Universität (LMU) München
  99. Bjarne Schülke ORCID Institute for Basic Science
  100. Orville Hombrebueno ORCID Nueva Vizcaya State University