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. Sean Lawton ORCID Professor, George Mason University
  2. Andreas Rasvanis verified email Amherst College
  3. Karun Ram Axiom Math
  4. Emil Geisler ORCID PhD Student, UCLA
  5. Ekkehart Latzko Pensioner
  6. Javier Gomez-Serrano ORCID Brown University
  7. Michael Coons verified email California State University, Chico
  8. Jasper Lee verified email University of Illinois Urbana-Champaign and Axiom Math
  9. Anthony Dooley ORCID University of Technology Sydney
  10. Jonathan Gorard ORCID Princeton University
  11. Nat Sothanaphan ORCID Independent
    Comment

    I support co-existence and co-evolution of AI and humans in all endeavors. As with any fundamental change, participants must take responsibility in preserving their shared values and actively shape the future to enable flourishing. Used wrongly, and AI can itself become unprecedented threat collapsing such hope for progress. Used correctly, AI will transform how humans perform mathematical activities and bring about novel opportunities. Care is paramount in transitioning us from existing practices and to avoid preventable harm. The present Declaration outlines pragmatic considerations regarding how to proceed and aids our collective understanding of the developing situation. I wish that the goal of the Declaration will come about as envisioned.

  12. Matthias Beck ORCID San Francisco State University
  13. Simon Smith ORCID Associate Professor, University of Lincoln
    Comment

    This is a well thought through, moderate, and timely statement that I wholeheartedly endorse.

  14. Alberto Chiarini ORCID Professor (Associate), Università degli Studi di Padova
  15. Andrei Fabian verified email Masters Student, Georg-August Universität Göttingen
  16. Anand Deopurkar ORCID Mathematical Sciences Institute, Australian National University
  17. NICOLA ARCOZZI ORCID University of Bologna
    Comment

    I sign, although I think that one point in the declaration already belongs to to the past: "Mathematical arguments are regarded as transparent and subject to independent verification. They may be extremely long or difficult, but in principle no proprietary knowledge or equipment should be required to understand them." It should be asked that researchers communicating mathematics continue to make the effort of making sense of what they are communicating and doing, as humans in a human community.

  18. Rafaël Houkes Leiden University
  19. Joshua O'Connor verified email University of Oregon
  20. Athelstan Carlton verified email Virginia Commonwealth University
  21. Christopher Henson ORCID Computer Science, Drexel University
  22. Yoh Tanimoto ORCID Università di Roma "Tor Vergata"
  23. Shravan Patankar ORCID KPIT Technologies
  24. Andreas Mountakis ORCID Boas Assistant Professor, Northwestern University
  25. Daniel Glasscock ORCID Assistant professor, University of Massachusetts Lowell
  26. Phuong Khanh Tran Nguyen verified email Graduate Employee, University of Oregon
  27. Eric Dolores Cuenca ORCID Yonsei University
  28. Daniel Reichman ORCID CS Professor at WPI
  29. Çetin Kaya Koç verified email University of California, Santa Barbara
    Comment

    I also sign and agree with Leiden Declaration on AI and Math.

  30. Evan Chen ORCID PhD, Massachusetts Institute of Technology
  31. Michel Alexis ORCID Assistant Professor, Clemson University
  32. Frank Vallentin ORCID University of Cologne
  33. Yves Grandjean ORCID Mentor, CERN Alumni
  34. Rachel Li verified email Axiom Math & Massachusetts Institute of Technology
  35. Stefano Mereta ORCID Assistant professor, Cunef Universidad
  36. Alastair Litterick ORCID Senior Lecturer in Mathematics, University of Essex
  37. Marcello Seri ORCID Associate Professor, University of Groningen
  38. Nicolás Matte Bon ORCID CNRS, Université Claude Bernard Lyon 1
  39. John Baldwin ORCID Professor, Boston College
  40. Catherine Sulem ORCID University of Toronto, Professor
  41. Leonardo Franchi verified email University of Cambridge
  42. Tamio-Vesa Nakajima ORCID Research Fellow, Philipps University of Marburg
  43. Stefan Teufel ORCID Professor, University of Tübingen
  44. Sigurd Angenent ORCID Professor (emeritus since 2023), University of Wisconsin-Madison
  45. Houston Haynes ORCID University of North Carolina at Asheville
  46. Asilata Bapat ORCID Senior Lecturer, Australian National University
  47. Jonas Deré ORCID Professor, KU Leuven
  48. Kent Morrison ORCID Emeritus Professor, California Polytechnic State University
  49. Temur Kutsia verified email RISC, Johannes Kepler Universität Linz
  50. Birgit Richter ORCID Professor of Mathematics, University of Hamburg
  51. Apostolos Beligiannis verified email University of Ioannina
  52. Theodor Nenu verified email Institute for Ethics in AI, University of Oxford
  53. Nima Rasekh ORCID Postdoctoral Resesarcher, Universität Greifswald
  54. Dejan Govc ORCID University of Ljubljana
  55. Vjekoslav Kovač ORCID Full Professor, University of Zagreb Faculty of Science
    Comment

    Recommendations from this declaration are certainly welcome and reasonable. Journals, societies, and agencies should go a bit further and incorporate these recommendations into their policies. Furthermore, since both exciting and challenging times are ahead, the mathematical community will have to continuously reassess those challenges and issue new recommendations and policies.

  56. Sasa Radomirovic ORCID Professor, Heriot-Watt University
  57. Nikola Simidjievski ORCID Associate Professor, Télécom Paris, Institut Polytechnique de Paris
  58. Rajat Hazra Leiden University
  59. Ronald van Luijk ORCID Leiden University
  60. Kutand Alkım Bayer İzmir Institute of Technology
  61. Moaaz Alqady ORCID University of Oregon
  62. Diogo Oliveira e Silva ORCID Professor, Instituto Superior Técnico
  63. Sota Asai ORCID The University of Tokyo
  64. Andrew Huchala ORCID Graduate Teaching Fellow, University of Oregon
  65. Nicholas J. Kuhn ORCID Professor emeritus, University of Virginia
  66. Juan Manuel Vanegas ORCID Associate Professor, Oregon State University
  67. Richard M. Low ORCID Lecturer, San Jose State University
  68. Nilima Nigam verified email Simon Fraser University
  69. Paul Schwahn ORCID Postdoctoral researcher, Universidade Estadual de Campinas (UNICAMP)
    Comment

    The values and recommendations outlined in this declaration should be common sense in the maths and maths-adjacent community. It is alarming that this is perhaps not the case.

  70. Alexander Stottmeister ORCID Group Leader, Quantum Information Theory, Leibniz University Hannover
  71. Henry King ORCID Emeritus Professor, University of Maryland
  72. Yaping Yang ORCID School of Mathematics and Statistics, University of Melbourne
  73. Sam Kamperis ORCID Senior Lecturer in Computing, Oxford Brookes University
  74. Gabor Wiese ORCID Professor, University of Luxembourg
  75. Dominik Hangleiter ORCID ETH Zuerich
  76. Heidi Goodson ORCID Mathematics, Brooklyn College (City University of New York)
  77. Archibald Joseph Browne verified email Imperial College London
  78. Špela Špenko verified email Université Libre de Bruxelles
  79. Chenjiayue Qi IHES
  80. Niklas Halonen verified email Aalto University
  81. Bastiaan Cnossen ORCID University of Regensburg
  82. Timo Weidl verified email Universität Stuttgart
  83. Monika Naskręcka ORCID assistant professor, Poznań University of Economics and Business
  84. Philippe Pasquier ORCID Full Professor, Simon Fraser University
    Comment

    As a mathematician by training (logician), I am drawn by this international effort. Upon reading the declaration, it is clear that most of its content is not specific to Mathematics and Academic Research. At a time when every institution, public and private alike, are struggling to put together clear value-driven policies that help with the positive adoption of AI technology, I strongly recommend reading the declaration. Eventually, it boils down to a set of concrete and actionable recommendations for individuals, non-profit organisations, governments and policy makers, and finally, private corporations.

  85. João P. Nunes IST, U. Lisbon
  86. Shao Yuan Lin ORCID MMath student, University of Waterloo
    Comment

    A much-needed declaration that lays out the essence of why mathematical research was great, and how it could continue to be great in the artificial intelligence era through the continued assertion of our key values. My only suggestion is to include in the list of recommendations a separate section for reviewers. The most striking change AI would bring to the mathematical ecosystem is the asymmetry in the supply and demand of peer review as a result of the mass proliferation of LLM-generated mathematics. The system is already under severe strain long before LLMs existed, with journal response times often measured in years despite many of the reviewers being unpaid volunteers working overtime. As such, a major change in the role of reviewers, their priorities, and the underlying logistics is imperative, lest the prospect of worthy articles being indefinitely on hold being the norm. Such a change must also be well thought-out, for we cannot afford to sacrifice the already limited time we have to produce mathematics just to spend it entirely on refereeing what would often be low-quality AI slop - that would completely defeat the point of mathematics. Unfortunately, I do not have a satisfactory solution in mind, and in all likelihood, nobody does as of now, which is why serious conversations about this need to be held, so that the elephant in the room is timely addressed. I look forward to seeing a future update of this declaration that includes the fruits of these discussions in the recommendations.

  87. Sergio Holguin ORCID Secihti-UNAM
  88. Michael N. Montoro verified email Purdue University
    Comment

    While a powerful tool, automated generative and computational software must be handled carefully. It is our responsibility to uphold the critical human element in mathematics as a collective and continue to nurture future and current mathematical research as much as possible.

  89. Tim Santens ORCID Herschel-Smith Fellow, University of Cambridge
  90. Philippe Jacquod ORCID Professor, University of Geneva and HES-SO
    Comment

    I fully support and adhere to this wonderful declaration. AI has become an important tool in mathematical research, having reportedly generated impressive results and proofs. It is important to keep in mind the pillars on which mathematical research is based, and with which AI should imperatively comply.

  91. Yorick Fuhrmann ORCID University of Warwick
  92. Dev Sinha ORCID University of Oregon
    Comment

    Mathematics is a human practice. AI can aid in that, but only with the guidance of practitioners.

  93. Frank Loose, Prof. Dr. verified email Eberhard-Karls-Universität Tübingen
  94. Ronald de Haan ORCID Universiteit van Amsterdam
  95. Ebru Bekyel verified email University of Washington
  96. Marcos Mercandeli Rodrigues ORCID PhD Candidate in Mathematics, University of Brasília
    Comment

    In the words of Leo XIV: "(...) technology is never neutral, because it takes on the characteristics of those who devise, finance, regulate and use it".

  97. Marc-Hubert Nicole verified email Université de Caen
  98. James Beyer ORCID Postdoctoral Researcher, Universidad Nacional Autónoma de México Instituto de Matemáticas
  99. Asbjørn Christian Nordentoft ORCID Tenure-track assistant professor, University of Copenhagen
  100. Gadadhar Misra ORCID PhD, Stony Brook University