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. Markus Bachmayr ORCID RWTH Aachen
  2. James Maynard ORCID University of Oxford
  3. Sam Ricardo Noordam verified email Delft University of Technology
  4. Edward Bierstone ORCID Professor, University of Toronto
  5. Jonathan Beardsley ORCID Assistant Professor, University of Nevada Reno
  6. Maris Ozols ORCID Academic, Associate Professor, Universiteit van Amsterdam
  7. Dheeran Wiggins verified email Student, University of Illinois
  8. Alexander Razborov ORCID University of Chicago and Steklov Mathematical Institute
  9. Patrick Allen ORCID McGill University
  10. France Gheeraert ORCID Maîtresse de conférence, Université de Picardie Jules Verne
  11. Laurent Donzé ORCID Prof. Dr, University of Fribourg
  12. Partha Mitra ORCID Professor, Cold Spring Harbor Laboratory
  13. Marcos A Capistran ORCID Professor, CIMAT
  14. 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.

  15. Thomas Garrison verified email University of Florida
  16. Eric Lipsutz verified email University of Chicago
  17. Hugo Duminil-Copin verified email Université de Genève and IHES
  18. Brian Luczak verified email Teaching Assitant Professor, DePaul University
  19. Christian Blohmann ORCID Max-Planck-Institut für Mathematik
  20. Bala Krishnamoorthy ORCID Washington State University - Vancouver
  21. Simon Pohmann ORCID PhD Student in Cryptography, Royal Holloway University of London
  22. Damir Dzhafarov ORCID Professor, University of Connecticut
  23. Mathias Stout ORCID Postdoctoral Fellow, McMaster University
  24. Doron Puder ORCID Professor, Tel Aviv University
  25. Ekansh Jauhari verified email University of Florida
  26. Kevin O'Bryant ORCID Professor, College of Staten Island
  27. Todd Oliynyk ORCID Monash University
  28. Andrew Stacey ORCID Head of Mathematics, Oxford High School
  29. Remy Dubertrand ORCID School of Engineering, Physics and Mathematics, Northumbria University
  30. Mathieu Anel Université Côte d'Azur
  31. Sho Tanimoto ORCID Professor, Nagoya University
  32. Julian Külshammer ORCID Uppsala University
  33. Teresa Krick ORCID Universidad de Buenos Aires & CONICET
  34. Leonie Schönettin AAU Klagenfurt, Student for Mathematics for Secondary School
  35. Hipolito Treffinger ORCID Profesor Adjunto, Universidad de Buenos Aires
  36. Leandro Vendramin ORCID Vrije Universiteit Brussel
  37. Elisabetta Mangino ORCID Professor of Mathematical Analysis, Università del Salento (italy)
  38. Geoffrey Janssens ORCID Chargé de Recherche, Fonds De La Recherche Scientifique - FNRS
  39. Raffaella Mulas ORCID Vrije Universiteit Amsterdam
  40. Alexander Van Werde ORCID Postdoctoral researcher, University of Münster
  41. 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.

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

    I strongly support this Declaration.

  43. Olga Kosheleva verified email University of Texas at El Paso
  44. Cécile Ané ORCID Professor, University of Wisconsin - Madison
  45. Joost Vercruysse ORCID Université libre de Bruxelles (ULB)
  46. JONATHAN WISE ORCID University of Colorado Boulder
  47. Paolo Cermelli ORCID Ph.D., Università di Torino
  48. Arend Mellendijk ORCID PhD Student, University of Bonn
  49. 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.

  50. Aryan Dalal verified email University of California, Los Angeles
  51. Thomas Carlson ORCID PhD Candidate, Montana State University
  52. David Savitt ORCID Professor, Johns Hopkins University
  53. Jonas Haferkamp Ruhr-University Bochum, Chair of Quantum Computing
  54. Charalampos Lemonidis ORCID Professor, University of Western Macedonia
  55. Max Figura ORCID Graduate Student, Purdue University
  56. Jorge Duarte ORCID Coordinator Professor with the Habilitation Title, Instituto Politécnico de Lisboa
  57. Livio Liechti ORCID University of Fribourg
  58. Vladik Kreinovich verified email University of Texas at El Paso
  59. Ramin Takloo-Bighash verified email Professor, University of Illinois Chicago
  60. Jaroslaw A. Wisniewski ORCID Professor, University of Warsaw
  61. Todd Kapitula verified email Calvin University
  62. Luc Mekouar verified email Student, University of Warwick
  63. Marco Varisco ORCID University at Albany, State University of New York
  64. Akın Ünal ORCID PostDoc, Institute of Science and Technology Austria
  65. Dion Gijswijt ORCID full professor, Technische Universiteit Delft
  66. Andrei Fabian Masters Student - Georg August University of Göttingen
  67. Ian Mann verified email Princeton University
  68. Peter Woit ORCID Columbia University
  69. Peter Schneider verified email Senior Professor, Universität Münster
  70. Daniel Monroe ORCID Axiom Math
  71. Henning Krause ORCID Professor, Bielefeld University
  72. Cristina Ballantine ORCID Professor, College of the Holy Cross
  73. Jānis Lazovskis ORCID University of Latvia
  74. Todd Davies ORCID Associate Director and Lecturer, Stanford University
  75. Alonso Castillo-Ramirez ORCID Profesor Titular A, Universidad de Guadalajara
  76. Bas Lemmens ORCID University of Kent
  77. Tomas Ortega ORCID Research Software Engineer, Princeton University
  78. Jim Fowler ORCID Associate Professor, The Ohio State University
  79. 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.

  80. Anthony Várilly-Alvarado ORCID Professor, Rice University
  81. Xiaomeng Xu ORCID University of Southampton
  82. Miguel Martin ORCID Professor, Universidad de Granada, Spain
  83. Christopher Herald ORCID Professor, University of Nevada, Reno
  84. Michael Hartz ORCID Professor, Saarland University
  85. Charles Rezk ORCID Professor, University of Illinois
  86. Milos Vandelanoitte verified email Mathematics student at Vrije Universiteit Brussel
  87. Ulrich Pennig ORCID Senior Lecturer, Cardiff University
  88. Nabil Kazi-Tani verified email Université de Lorraine
  89. Stefan Jackowski ORCID Professor, University of Warsaw
  90. Jochen Wengenroth ORCID Trier University
  91. Lorenzo Riva verified email Harvard University CMSA
  92. Talia Ringer ORCID University of Illinois Urbana-Champaign
  93. William Keith ORCID Associate Professor, Michigan Technological University
  94. 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.

  95. Ritoban Roy-Chowdhury ORCID CS and Mathematics at UC San Diego, EECS PhD student at MIT
  96. Andrei Pavelescu ORCID University of South Alabama, Professor
  97. Michael R. Zeng ORCID PhD Student, University of Washington
  98. Matthew Zaremsky ORCID U Albany (SUNY)
  99. Ashton Keith verified email Purdue University
  100. 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."