Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
4443 Signatories
  1. Kim Morrison ORCID Lean Focused Research Organization
    Comment

    I'm really excited about the future of mathematics, with incredible new capabilities and insights available from AI. The transformation is inevitable: we can do it badly, or we can do it well. Let's try to do it well! The Leiden Declaration provides the ethical and practical framework we need.

  2. Tim Hsu ORCID Professor, San Jose State Univ.
  3. Scott MacLachlan ORCID Professor, Memorial University of Newfoundland
  4. Daniel Quigley ORCID Indiana University Bloomington
  5. Lorenzo Maniscalco verified email University of Turin
  6. Daniel Disegni ORCID Mathematics, Aix-Marseille University
  7. Yu Shen verified email Michigan State University
  8. Sam Farnsworth verified email University of California, Los Angeles
  9. Jackson Walters ORCID Adjunct Faculty, Northern Virginia Community College
  10. Sean Lawton ORCID Professor, George Mason University
  11. Andreas Rasvanis verified email Amherst College
  12. Karun Ram Axiom Math
  13. Emil Geisler ORCID PhD Student, UCLA
  14. Ekkehart Latzko Pensioner
  15. Javier Gomez-Serrano ORCID Brown University
  16. Michael Coons verified email California State University, Chico
  17. Jasper Lee verified email University of Illinois Urbana-Champaign and Axiom Math
  18. Anthony Dooley ORCID University of Technology Sydney
  19. Jonathan Gorard ORCID Princeton University
  20. 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.

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

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

  23. Alberto Chiarini ORCID Professor (Associate), Università degli Studi di Padova
  24. Andrei Fabian verified email Masters Student, Georg-August Universität Göttingen
  25. Anand Deopurkar ORCID Mathematical Sciences Institute, Australian National University
  26. 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.

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

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

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

  65. Sasa Radomirovic ORCID Professor, Heriot-Watt University
  66. Nikola Simidjievski ORCID Associate Professor, Télécom Paris, Institut Polytechnique de Paris
  67. Rajat Hazra Leiden University
  68. Ronald van Luijk ORCID Leiden University
  69. Kutand Alkım Bayer İzmir Institute of Technology
  70. Moaaz Alqady ORCID University of Oregon
  71. Diogo Oliveira e Silva ORCID Professor, Instituto Superior Técnico
  72. Sota Asai ORCID The University of Tokyo
  73. Andrew Huchala ORCID Graduate Teaching Fellow, University of Oregon
  74. Nicholas J. Kuhn ORCID Professor emeritus, University of Virginia
  75. Juan Manuel Vanegas ORCID Associate Professor, Oregon State University
  76. Lawrence Rich Consultant and Adjunct Professor of Mathematics and Computer Science
  77. Richard M. Low ORCID Lecturer, San Jose State University
  78. Nilima Nigam verified email Simon Fraser University
  79. 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.

  80. Alexander Stottmeister ORCID Group Leader, Quantum Information Theory, Leibniz University Hannover
  81. Henry King ORCID Emeritus Professor, University of Maryland
  82. Yaping Yang ORCID School of Mathematics and Statistics, University of Melbourne
  83. Sam Kamperis ORCID Senior Lecturer in Computing, Oxford Brookes University
  84. Gabor Wiese ORCID Professor, University of Luxembourg
  85. Dominik Hangleiter ORCID ETH Zuerich
  86. Heidi Goodson ORCID Mathematics, Brooklyn College (City University of New York)
  87. Archibald Joseph Browne verified email Imperial College London
  88. Špela Špenko verified email Université Libre de Bruxelles
  89. Chenjiayue Qi IHES
  90. Niklas Halonen verified email Aalto University
  91. Bastiaan Cnossen ORCID University of Regensburg
  92. Timo Weidl verified email Universität Stuttgart
  93. Monika Naskręcka ORCID assistant professor, Poznań University of Economics and Business
  94. 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.

  95. João P. Nunes IST, U. Lisbon
  96. 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.

  97. Sergio Holguin ORCID Secihti-UNAM
  98. 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.

  99. Tim Santens ORCID Herschel-Smith Fellow, University of Cambridge
  100. 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.