Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
1495 Signatories
  1. Alexander Van Werde ORCID Postdoctoral researcher, University of Münster
  2. Rajarshi Maiti Co-Founder of ProofTree and Graduate Math student at Universität Bonn
    Comment

    The line I most want to defend is the one about 'understanding, clarity, and judgment.' As Prof Tao said, we will soon be in the proof surplus era, where a correct looking (possibly also kernel verified) proof won't be of much worth. This makes the case for building new infrastructures for mathematical research that will preserve what it means to 'do' mathematics, and enable AI-assistance in mathematics, not AI-only mathematics.

  3. Mason A. Porter ORCID Department of Mathematics, UCLA
    Comment

    I strongly support this Declaration.

  4. Olga Kosheleva verified email University of Texas at El Paso
  5. Cécile Ané ORCID Professor, University of Wisconsin - Madison
  6. Joost Vercruysse ORCID Université libre de Bruxelles (ULB)
  7. JONATHAN WISE ORCID University of Colorado Boulder
  8. Paolo Cermelli ORCID Ph.D., Università di Torino
  9. Arend Mellendijk ORCID PhD Student, University of Bonn
  10. Saikat Maity Ahmedabad University, Junior Research Fellow (JRF)
    Comment

    I am happy to support this Declaration. AI is already influencing the way mathematics is studied, taught, and researched. The opportunities are significant, but so is the need for careful thought about transparency, responsibility, and scientific standards. I appreciate the balanced approach taken here. Rather than resisting technological change, the Declaration encourages the mathematical community to engage with it thoughtfully while preserving the values that make mathematics reliable and trustworthy. As AI tools become more capable, how should journals, universities, and researchers handle AI-assisted proofs, computations, and writing? Developing clear community standards seems increasingly important. Thank you for starting this important conversation.

  11. Aryan Dalal verified email University of California, Los Angeles
  12. Thomas Carlson ORCID PhD Candidate, Montana State University
  13. David Savitt ORCID Professor, Johns Hopkins University
  14. Jonas Haferkamp Ruhr-University Bochum, Chair of Quantum Computing
  15. Charalampos Lemonidis ORCID Professor, University of Western Macedonia
  16. Max Figura ORCID Graduate Student, Purdue University
  17. Jorge Duarte ORCID Coordinator Professor with the Habilitation Title, Instituto Politécnico de Lisboa
  18. Livio Liechti ORCID University of Fribourg
  19. Vladik Kreinovich verified email University of Texas at El Paso
  20. Ramin Takloo-Bighash verified email Professor, University of Illinois Chicago
  21. Jaroslaw A. Wisniewski ORCID Professor, University of Warsaw
  22. Todd Kapitula verified email Calvin University
  23. Luc Mekouar verified email Student, University of Warwick
  24. Marco Varisco ORCID University at Albany, State University of New York
  25. Akın Ünal ORCID PostDoc, Institute of Science and Technology Austria
  26. Dion Gijswijt ORCID full professor, Technische Universiteit Delft
  27. Andrei Fabian Masters Student - Georg August University of Göttingen
  28. Ian Mann verified email Princeton University
  29. Peter Woit ORCID Columbia University
  30. Peter Schneider verified email Senior Professor, Universität Münster
  31. Daniel Monroe ORCID Axiom Math
  32. Henning Krause ORCID Professor, Bielefeld University
  33. Cristina Ballantine ORCID Professor, College of the Holy Cross
  34. Jānis Lazovskis ORCID University of Latvia
  35. Todd Davies ORCID Associate Director and Lecturer, Stanford University
  36. Alonso Castillo-Ramirez ORCID Profesor Titular A, Universidad de Guadalajara
  37. Bas Lemmens ORCID University of Kent
  38. Tomas Ortega ORCID Research Software Engineer, Princeton University
  39. Jim Fowler ORCID Associate Professor, The Ohio State University
  40. Pablo Groisman ORCID Professor, University of Buenos Aires
    Comment

    The development of these new technologies presents a significant challenge for our community. Reviewing our values and principles and discussing how we will address the changes they bring is essential. This declaration is an excellent first step in that direction.

  41. Anthony Várilly-Alvarado ORCID Professor, Rice University
  42. Xiaomeng Xu ORCID University of Southampton
  43. Miguel Martin ORCID Professor, Universidad de Granada, Spain
  44. Christopher Herald ORCID Professor, University of Nevada, Reno
  45. Michael Hartz ORCID Professor, Saarland University
  46. Charles Rezk ORCID Professor, University of Illinois
  47. Milos Vandelanoitte verified email Mathematics student at Vrije Universiteit Brussel
  48. Ulrich Pennig ORCID Senior Lecturer, Cardiff University
  49. Nabil Kazi-Tani verified email Université de Lorraine
  50. Stefan Jackowski ORCID Professor, University of Warsaw
  51. Jochen Wengenroth ORCID Trier University
  52. Lorenzo Riva verified email Harvard University CMSA
  53. Talia Ringer ORCID University of Illinois Urbana-Champaign
  54. William Keith ORCID Associate Professor, Michigan Technological University
  55. Emily Riehl ORCID Kelly Miller Professor, Johns Hopkins University
    Comment

    In Bill Thurston's timeless and timely essay "On proof and progress in mathematics" he writes: "...it is common for people first starting to grapple with computers to make large-scale computations of things they might have done on a smaller scale by hand. They might print out a table of the first 10,000 primes, only to find that their printout isn't something they really wanted after all. The discover by this kind of experience that what they really want is usually not some collection of "answers"---what they want is understanding." As mathematical proofs can be understood as a computation, or more precisely a construction, of sorts, Thurston's observation applies equally to the experience of many mathematicians with generative AI. I am glad to see the mathematical community come together to articulate our values, to support not just progress in mathematics but the vibrant community of human mathematicians that engage with it and for whom we are inspired to do the work of discovery, distillation, and distribution of mathematical insights.

  56. Ritoban Roy-Chowdhury ORCID CS and Mathematics at UC San Diego, EECS PhD student at MIT
  57. Andrei Pavelescu ORCID University of South Alabama, Professor
  58. Michael R. Zeng ORCID PhD Student, University of Washington
  59. Matthew Zaremsky ORCID U Albany (SUNY)
  60. Ashton Keith verified email Purdue University
  61. Tomasz Mrówka ORCID Professor of Mathematics at MIT
    Comment

    This is a thoughtful and timely declaration. The rise of the use of AI in mathematics brings to mind the opening of A Tale of Two Cities by Charles Dickens. "It was the best of times, it was the worst of times, it was the age of wisdom, it was the age of foolishness, it was the epoch of belief, it was the epoch of incredulity, it was the season of light, it was the season of darkness, it was the spring of hope, it was the winter of despair."

  62. Marco Guerra ORCID Senior Postdoc, IMATI
  63. Sasha Zotine ORCID Postdoc, Universität des Saarlandes
  64. Christian Lubich ORCID Professor, University of Tübingen
  65. Renaud Lambiotte ORCID Professor, University of Oxford
  66. Chris Rogers verified email University of Nevada, Reno
  67. Jan Vonk ORCID Professor, Leiden University
  68. Dan Isaksen ORCID Professor, Department of Mathematics, Wayne State University
  69. Antoine Jacquier ORCID Department of Mathematics, Imperial College London
  70. Benjamin Jones verified email Arizona State University
  71. Manogya Singh Suryansh verified email IIT Delhi
  72. Jose Bonet ORCID Director, Universitat Politècnica de València
    Comment

    This is an important, very necessary declaration.

  73. Laura Ciobanu ORCID Professor, TU Berlin & Heriot-Watt University
  74. David Kinderlehrer ORCID Carnegie Mellon University
  75. Miguel Abreu ORCID University of Lisbon
  76. Dan Cross Engineer
  77. Jack Heaney verified email University of Edinburgh
  78. Cathal Seoighe ORCID School of Mathematical and Statistical Sciences, University of Galway
  79. Rahul Sarkar ORCID Postdoctoral Scholar, University of California, Berkeley
  80. Jeremy Avigad ORCID Professor, Carnegie Mellon University
  81. Kada Kalman ORCID University of Cambridge
  82. Timothy Porter ORCID Professor Emeritus, University of Bangor (retired)
  83. Tony Feng ORCID
  84. Maciej Dołęga ORCID Associate Professor, Institute of Mathematics of the Polish Academy of Sciences
  85. Max Weinreich ORCID Harvard University
  86. Mark Peletier ORCID Professor and group leader, Technische Universiteit Eindhoven
  87. Nakib Haider Protik verified email Humboldt-Universität zu Berlin
  88. Gareth Wilkes ORCID Associate Professor, University of Cambridge
  89. Guillermo Cortiñas ORCID IMaS-DM, FCEyN, Universidad de Buenos Aires and CONICET
  90. Alex Junior Gomez Saltachin verified email PUC-Rio
  91. Callum Bates ORCID Mathematics tutor
    Comment

    The current use of artificial intelligence in mathematics greatly threatens core tenets of the field. We must be vigilant of private equity intruding into our field with overblown claims and profit-driven incentives. Any mathematician not in support of this declaration does not care about the field.

  92. Avery Carr ORCID Independent Researcher
  93. Ingo Althöfer verified email Friedrich-Schiller Universität Jena, Retired
  94. Apabrito Bhattacharyya verified email Graduate Student, Michigan State University
  95. Cheni Yuki Yang verified email Ruprecht-Karls-Universität Heidelberg
  96. Reza Gheissari ORCID Northwestern University
  97. Mona Merling ORCID University of Pennsylvania
  98. Perla Sousi verified email University of Cambridge
  99. 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.

  100. Sean O'Brien verified email University of Glasgow