Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
4181 Signatories
  1. Dejan Govc ORCID University of Ljubljana
  2. 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.

  3. Sasa Radomirovic ORCID Professor, Heriot-Watt University
  4. Nikola Simidjievski ORCID Associate Professor, Télécom Paris, Institut Polytechnique de Paris
  5. Rajat Hazra Leiden University
  6. Ronald van Luijk ORCID Leiden University
  7. Kutand Alkım Bayer İzmir Institute of Technology
  8. Moaaz Alqady ORCID University of Oregon
  9. Diogo Oliveira e Silva ORCID Professor, Instituto Superior Técnico
  10. Sota Asai ORCID The University of Tokyo
  11. Andrew Huchala ORCID Graduate Teaching Fellow, University of Oregon
  12. Nicholas J. Kuhn ORCID Professor emeritus, University of Virginia
  13. Juan Manuel Vanegas ORCID Associate Professor, Oregon State University
  14. Lawrence Rich Consultant and Adjunct Professor of Mathematics and Computer Science
  15. Richard M. Low ORCID Lecturer, San Jose State University
  16. Nilima Nigam verified email Simon Fraser University
  17. 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.

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

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

  35. Sergio Holguin ORCID Secihti-UNAM
  36. 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.

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

  39. Yorick Fuhrmann ORCID University of Warwick
  40. Dev Sinha ORCID University of Oregon
    Comment

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

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

  45. Marc-Hubert Nicole verified email Université de Caen
  46. James Beyer ORCID Postdoctoral Researcher, Universidad Nacional Autónoma de México Instituto de Matemáticas
  47. Asbjørn Christian Nordentoft ORCID Tenure-track assistant professor, University of Copenhagen
  48. Gadadhar Misra ORCID PhD, Stony Brook University
  49. Markus Bachmayr ORCID RWTH Aachen
  50. James Maynard ORCID University of Oxford
  51. Sam Ricardo Noordam verified email Delft University of Technology
  52. Edward Bierstone ORCID Professor, University of Toronto
  53. Jonathan Beardsley ORCID Assistant Professor, University of Nevada Reno
  54. Maris Ozols ORCID Academic, Associate Professor, Universiteit van Amsterdam
  55. Dheeran Wiggins verified email Student, University of Illinois
  56. Alexander Razborov ORCID University of Chicago and Steklov Mathematical Institute
  57. Patrick Allen ORCID McGill University
  58. France Gheeraert ORCID Maîtresse de conférence, Université de Picardie Jules Verne
  59. Laurent Donzé ORCID Prof. Dr, University of Fribourg
  60. Partha Mitra ORCID Professor, Cold Spring Harbor Laboratory
  61. Marcos A Capistran ORCID Professor, CIMAT
  62. Rutger Wessels Eindhoven University of Technology
  63. 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.

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

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

    I strongly support this Declaration.

  92. Olga Kosheleva verified email University of Texas at El Paso
  93. Cécile Ané ORCID Professor, University of Wisconsin - Madison
  94. Joost Vercruysse ORCID Université libre de Bruxelles (ULB)
  95. JONATHAN WISE ORCID University of Colorado Boulder
  96. Paolo Cermelli ORCID Ph.D., Università di Torino
  97. Arend Mellendijk ORCID PhD Student, University of Bonn
  98. 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.

  99. Aryan Dalal verified email University of California, Los Angeles
  100. Thomas Carlson ORCID PhD Candidate, Montana State University