Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
1493 Signatories
  1. Leonardo Franchi verified email University of Cambridge
  2. Tamio-Vesa Nakajima ORCID Research Fellow, Philipps University of Marburg
  3. Stefan Teufel ORCID Professor, University of Tübingen
  4. Sigurd Angenent ORCID Professor (emeritus since 2023), University of Wisconsin-Madison
  5. Houston Haynes ORCID University of North Carolina at Asheville
  6. Asilata Bapat ORCID Senior Lecturer, Australian National University
  7. Jonas Deré ORCID Professor, KU Leuven
  8. Kent Morrison ORCID Emeritus Professor, California Polytechnic State University
  9. Temur Kutsia verified email RISC, Johannes Kepler Universität Linz
  10. Birgit Richter ORCID Professor of Mathematics, University of Hamburg
  11. Apostolos Beligiannis verified email University of Ioannina
  12. Theodor Nenu verified email Institute for Ethics in AI, University of Oxford
  13. Nima Rasekh ORCID Postdoctoral Resesarcher, Universität Greifswald
  14. Dejan Govc ORCID University of Ljubljana
  15. 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.

  16. Sasa Radomirovic ORCID Professor, Heriot-Watt University
  17. Nikola Simidjievski ORCID Associate Professor, Télécom Paris, Institut Polytechnique de Paris
  18. Rajat Hazra Leiden University
  19. Ronald van Luijk ORCID Leiden University
  20. Kutand Alkım Bayer İzmir Institute of Technology
  21. Moaaz Alqady ORCID University of Oregon
  22. Diogo Oliveira e Silva ORCID Professor, Instituto Superior Técnico
  23. Sota Asai ORCID The University of Tokyo
  24. Andrew Huchala ORCID Graduate Teaching Fellow, University of Oregon
  25. Nicholas J. Kuhn ORCID Professor emeritus, University of Virginia
  26. Juan Manuel Vanegas ORCID Associate Professor, Oregon State University
  27. Richard M. Low ORCID Lecturer, San Jose State University
  28. Nilima Nigam verified email Simon Fraser University
  29. 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.

  30. Alexander Stottmeister ORCID Group Leader, Quantum Information Theory, Leibniz University Hannover
  31. Henry King ORCID Emeritus Professor, University of Maryland
  32. Yaping Yang ORCID School of Mathematics and Statistics, University of Melbourne
  33. Sam Kamperis ORCID Senior Lecturer in Computing, Oxford Brookes University
  34. Gabor Wiese ORCID Professor, University of Luxembourg
  35. Dominik Hangleiter ORCID ETH Zuerich
  36. Heidi Goodson ORCID Mathematics, Brooklyn College (City University of New York)
  37. Archibald Joseph Browne verified email Imperial College London
  38. Špela Špenko verified email Université Libre de Bruxelles
  39. Chenjiayue Qi IHES
  40. Niklas Halonen verified email Aalto University
  41. Bastiaan Cnossen ORCID University of Regensburg
  42. Timo Weidl verified email Universität Stuttgart
  43. Monika Naskręcka ORCID assistant professor, Poznań University of Economics and Business
  44. 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.

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

  47. Sergio Holguin ORCID Secihti-UNAM
  48. 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.

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

  51. Yorick Fuhrmann ORCID University of Warwick
  52. Dev Sinha ORCID University of Oregon
    Comment

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

  53. Frank Loose, Prof. Dr. verified email Eberhard-Karls-Universität Tübingen
  54. Ronald de Haan ORCID Universiteit van Amsterdam
  55. Ebru Bekyel verified email University of Washington
  56. 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".

  57. Marc-Hubert Nicole verified email Université de Caen
  58. James Beyer ORCID Postdoctoral Researcher, Universidad Nacional Autónoma de México Instituto de Matemáticas
  59. Asbjørn Christian Nordentoft ORCID Tenure-track assistant professor, University of Copenhagen
  60. Gadadhar Misra ORCID PhD, Stony Brook University
  61. Markus Bachmayr ORCID RWTH Aachen
  62. James Maynard ORCID University of Oxford
  63. Sam Ricardo Noordam verified email Delft University of Technology
  64. Edward Bierstone ORCID Professor, University of Toronto
  65. Jonathan Beardsley ORCID Assistant Professor, University of Nevada Reno
  66. Maris Ozols ORCID Academic, Associate Professor, Universiteit van Amsterdam
  67. Dheeran Wiggins verified email Student, University of Illinois
  68. Alexander Razborov ORCID University of Chicago and Steklov Mathematical Institute
  69. Patrick Allen ORCID McGill University
  70. France Gheeraert ORCID Maîtresse de conférence, Université de Picardie Jules Verne
  71. Laurent Donzé ORCID Prof. Dr, University of Fribourg
  72. Partha Mitra ORCID Professor, Cold Spring Harbor Laboratory
  73. Marcos A Capistran ORCID Professor, CIMAT
  74. Juan Andrés López Piña/Andrés Piña ORCID Member of the Faculty Counsil of Philosophy in LaSalle (México)
    Comment

    I support this decleration, because of my work in Philosophy.

  75. Thomas Garrison verified email University of Florida
  76. Eric Lipsutz verified email University of Chicago
  77. Hugo Duminil-Copin verified email Université de Genève and IHES
  78. Brian Luczak verified email Teaching Assitant Professor, DePaul University
  79. Christian Blohmann ORCID Max-Planck-Institut für Mathematik
  80. Bala Krishnamoorthy ORCID Washington State University - Vancouver
  81. Simon Pohmann ORCID PhD Student in Cryptography, Royal Holloway University of London
  82. Damir Dzhafarov ORCID Professor, University of Connecticut
  83. Mathias Stout ORCID Postdoctoral Fellow, McMaster University
  84. Doron Puder ORCID Professor, Tel Aviv University
  85. Ekansh Jauhari verified email University of Florida
  86. Kevin O'Bryant ORCID Professor, College of Staten Island
  87. Todd Oliynyk ORCID Monash University
  88. Andrew Stacey ORCID Head of Mathematics, Oxford High School
  89. Remy Dubertrand ORCID School of Engineering, Physics and Mathematics, Northumbria University
  90. Sho Tanimoto ORCID Professor, Nagoya University
  91. Julian Külshammer ORCID Uppsala University
  92. Teresa Krick ORCID Universidad de Buenos Aires & CONICET
  93. Leonie Schönettin AAU Klagenfurt, Student for Mathematics for Secondary School
  94. Hipolito Treffinger ORCID Profesor Adjunto, Universidad de Buenos Aires
  95. Leandro Vendramin ORCID Vrije Universiteit Brussel
  96. Elisabetta Mangino ORCID Professor of Mathematical Analysis, Università del Salento (italy)
  97. Geoffrey Janssens ORCID Chargé de Recherche, Fonds De La Recherche Scientifique - FNRS
  98. Raffaella Mulas ORCID Vrije Universiteit Amsterdam
  99. Alexander Van Werde ORCID Postdoctoral researcher, University of Münster
  100. 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.