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. Philipp Birken ORCID Centre for the Mathematical Sciences, Lund University
  2. James Trauer ORCID
  3. Jairo Roldan-Charria Profesor Titular Jubilado Departamento de Física Universidad del Valle, Cali, Colombia
  4. Konstantinos Tsinas ORCID Postdoctoral researcher, École Polytechnique Fédérale de Lausanne
  5. Lực Ta ORCID University of Pittsburgh
  6. Stefan Kaspar ORCID
  7. Evaristo Nogales Sancho verified email University College London, University of London
  8. James Sheldon ORCID National Coalition of Independent Scholars
  9. Zhiyuan Yang ORCID Graduate Student, Texas A&M University
  10. Holger Waalkens ORCID Associate Professor, Rijksuniversiteit Groningen
  11. Senthil Rajasekaran ORCID Postdoc, Université Libre de Bruxelles
  12. Sudip Sinha ORCID Doctor of Philosophy, Louisiana State University
  13. Horacio Moreno Montanes ORCID Graduate student, University of Michigan
  14. Maria Michalska ORCID ICMC-USP
  15. Breschine Cummins ORCID Assistant Professor, Montana State University
  16. Gonzalo Génova ORCID Universidad Carlos III de Madrid, España
  17. BOFFI, Giandomenico University Professor of Algebra (retired)
  18. Alain Valette ORCID Prof. Em., Université de Neuchâtel
  19. Adam Skalski Institute of Mathematics, Polish Academy of Sciences
  20. Roman O. Popovych ORCID Professor, Silesian University in Opava
  21. Konstanze Rietsch ORCID King's College London
  22. Burt Totaro ORCID Mathematics professor, UCLA
  23. Filip Pietrzak MPIM/Uni Bonn
  24. Veronika Körber ORCID University of Tübingen
  25. Katrin Leschke ORCID Reader/Associate Professor, University of Leicester
  26. Dashiell Elliott ORCID Worcester Polytechnic Institute
  27. Lee Junha verified email Yonsei University
    Comment

    인간이 주도하는 AI발전

  28. Rodolfo de Araújo Bezerra ORCID
  29. Amy-Rose Westcott ORCID PhD, The University of Adelaide
  30. Vincent Caudrelier ORCID School of Mathematics, University of Leeds
  31. Sam ten Broek verified email University of Amsterdam
  32. Andreas Øian verified email University of Bergen
  33. Jack C verified email Worcester Polytechnic Institute
  34. Marco Marletta ORCID Professor, Cardiff University
  35. Rémi Coulon ORCID Directeur de recherche, CNRS - Université Bourgogne Europe
  36. Daniel Pellicer ORCID Universidad Nacional Autónoma de México
    Comment

    I am convinced that many of our everyday duties as mathematicians (and in general as academics) are not done with full understanding of what we are doing, what we are supposed to do, and why. This includes (but not limits to) teaching, mentoring students, publishing, organizing academic events and participating in committees. By having conversations with peers we can see how different our common practices in these activities are. I have seen several efforts towards improving some practices that are considered defective (I have paid special attention to texts looking to improve our practices when giving mathematical talks). In my view, these efforts have been largely ignored and our practices tend to keep their course, even when there is much evidence of their negative impact on our community. To me, this declaration is one of the efforts to have good practices (to say it in mild terms) with respect to some specific aspects of our everyday work that are gaining interaction with AI. This time it seems like ignoring this and other efforts may have drastic consequences in the short future for our community. I hope that many mathematicians around the glove will join these cooperative efforts to change the path on which we walk right now into a brighter one for the decades to come. The likely risk of doing nothing is that the current path takes us to a dead end in some decades, or even in just a few years. I warmly thank all the people that made this declaration possible.

  37. Pablo Ivan Zamora Mercado ORCID Doctoral Researcher, Universidad de Buenos Aires
  38. Hanli Xu verified email Nanjing University
    Comment

    I sign this declaration in my personal capacity. As a researcher working at the intersection of mathematics, statistics, and machine learning, I believe that AI can be valuable for mathematical research only if its use is accompanied by transparency, attribution, reproducibility, and clear human responsibility. The mathematical community should actively shape these norms rather than leave them to commercial platforms alone.

  39. Mats Vermeeren ORCID Loughborough University
  40. Johannes Ueberberg MathGarden (German Company)
    Comment

    This is an excellent initiative that thoughtfully addresses both the opportunities and the risks of using AI in mathematics.

  41. Josep Diaz ORCID Catedratico, Universitat Politècnica de Catalunya
  42. Anna Mazzucato ORCID Professor, Pennsylvania State University
  43. Stan Zachary ORCID Heriot-Watt University
  44. Koen Hoeberechts ORCID PhD student (Discrete Math and Quantum Information), University of Amsterdam
  45. Francisco Martínez Pería ORCID Investigador Independiente, Consejo Nacional de Investigaciones Científicas y Técnicas
  46. Cristian Andres Cruz Torres ORCID Professor, Universidad Nacional Autonoma de Honduras
  47. Alejandra Maestripieri ORCID Researcher at the Instituto Argentino de Matemática, CONICET, Argentina
  48. J.P.E. Hodgson verified email Saint Joseph's University
    Comment

    An excellent document

  49. Paul Hendriks Physicist, Independant Cybersecurity Advisor
  50. Francis Bach Inria Paris, Ecole Normale Supérieure
  51. Marcello Carioni ORCID University of Twente
  52. Christian Fernando Calderón González verified email Escuela Superior Politécnica del Litoral
  53. Albert Stark verified email University of Sydney Undergraduate Student
  54. Michael A. Dritschel ORCID Newcastle University
  55. Gabriel STOLTZ ORCID CERMICS, École nationale des ponts et chaussées & CNRS
  56. Ralph A Tebbutt, BEng, FIMA Studied Mining Engineering at Sheffield University , was a Directed Practical Trainee with NCB for two years then became a teacher of Mathematics (also Physics, General science) retiring as Head of Faculty at a Comprehensive School. I am a Fellow of the Institute of Mathematics.and Its Applications
    Comment

    As Mathematicians, as well as ordinary citizens, we have a responsibility to ensure that what ever is done, professionally or otherwise, is done in order to advance the well being of the communities of people wherever they may live

  57. Martin Benning ORCID University College London
  58. Zsolt Vizi ORCID assistant professor, University of Szeged
  59. Marianna Cerasuolo ORCID Reader in Numerical Analysis and Scientific Computation, University of Sussex
  60. Alexandre POPIER ORCID Le Mans Université
  61. Shubhrajit Bhattacharya verified email University of Chicago
  62. Min-Gyo Jeong ORCID Postdoctorial Researcher, Sungkyunkwan University
  63. Federica Pasquotto ORCID Leiden University
  64. Jean Pierre Vera Morocho ORCID FCNM, Escuela Superior Politecnica del Litoral
  65. Erik Schultes ORCID partners in FAIR, Leiden University
  66. Souradeep Majumder ORCID Assistant Professor, IISER Tirupati
  67. Sergei Gordin ORCID Kuzbass State Technical University
  68. Logan Kennedy ORCID Mathematics Ph.D. student, Brigham Young University
  69. Abhik Pal ORCID University of California San Diego
  70. Rafe Mazzeo ORCID Professor, Stanford University
  71. Lisa Julieta Cardona Cano ORCID Undergraduate Student, Universidad Nacional de Colombia
  72. Kenny Gill ORCID Assistant Professor, La Salle University
  73. Gustav Kjærbye Bagger ORCID PhD candidate, UNSW Canberra
  74. Christopher Ezernack verified email University of Texas at Dallas
    Comment

    I support the Leiden Declaration because AI should extend human reasoning without replacing responsibility, expertise, verification, or authorship. My work crosses cognitive science, physics, mathematics, consciousness research, AI governance, and the development of recursive AI systems for health, trauma, identity, and institutional accountability. I treat consciousness as an interface problem, which means I have to be precise about what space I am working in, what assumptions define the system, and what can actually be claimed locally rather than globally. AI can help develop ideas, test structures, organize research, and make difficult work more accessible, but the person using it still has to understand the subject, check the output, cite sources, disclose its role, and take responsibility for the final result. Formal verification tools such as Lean can help with mathematical validity, but they do not replace conceptual judgment or independent review. Small errors can happen in both human and AI work, but fabricated results, false citations, unsupported claims, and internally consistent systems built on incorrect premises are a serious problem. My own AI governance work emphasizes transparency, privacy, accessibility, human oversight, protection of vulnerable users, and clear accountability for decisions made with AI. I believe these standards should apply across mathematics, science, medicine, technology, and every field using AI.

  75. R de J. Portillo-Velez ORCID Professor, Universidad Veracruzana
  76. Wolfgang Bock ORCID Senior Lecturer, Linnaeus University
  77. Fermin Acosta ORCID Profesor, Instituto Politécnico Nacional UPIITA
  78. Anirban Guha ORCID Academic, Senior Lecturer (Teaching and Research), University of Dundee
  79. Rodrigo Zepeda-Tello ORCID Climate School. Columbia University
  80. Jay Cummings verified email California State University, Sacramento
  81. Daniel Irving Bernstein ORCID Assistant Professor, Tulane University
  82. Grigorios Pavliotis ORCID Professor of Mathematics, Imperial College London
  83. Laurent Waxweiler Mathematician outside academia; PhD in Mathematics from the University of Liège; former IMO bronze medalist.
    Comment

    The Leiden Declaration is contingent in its technical diagnoses, but durable in its political and epistemological principle: mathematics must not become a production of true statements governed by opaque machines and private interests; it must remain a practice of verifiable, transmissible, and collectively responsible understanding.

  84. Walter Huober M.Sc. Mathematics University of Stuttgart
  85. Jean-Jil Duchamps ORCID Université Marie et Louis Pasteur
  86. Logan Greenland verified email Graduate Student, Texas State University
    Comment

    As a pure mathematician, I see mathematics as an art form, and thus I believe AI's use in mathematics should be similar to what many believe should be AI's place in the arts, nonexistent. We as mathematicians should be at the helm of deciding what to research and how to go about that process, rather than relying on tech companies and their models to do that for us. In addition, keeping track of a record of citations is not only crucial for the verification of correctness, but also for uplifting our fellow mathematicians who have and will continue to do great, human-driven work.

  87. Django Peeters verified email Universiteit Gent
  88. Olasupo Oyebola ORCID University of Ibadan
    Comment

    This a necessity at this point in time.

  89. FABIO SOMENZI ORCID University of Colorado Boulder
  90. Flavio Riche ORCID Diplomat., Governo Federal do Brasil Ministério das Relações Exteriores
  91. Branko Meeus ORCID Phd researcher, Hasselt University
  92. Fabio Bonsignore Studente (Università degli studi Milano-Bicocca)
  93. Naman Taggar ORCID University of Delhi
  94. Jose Marie Antonio Miñoza ORCID Center for AI Research PH
  95. Gabriel Peyré ORCID Senior Researcher, CNRS
  96. Samuel Tapie ORCID Faculty member / Enseignant-chercheur / Enseignante-chercheuse, Université de Lorraine
  97. Amna Mohsin verified email University of Khartoum
  98. Peter Haïssinsky verified email Université d'Aix-Marseille
  99. Arturo Ramírez-Ordorica ORCID Postdoctoral researcher, Universidad Michoacana de San Nicolás de Hidalgo
  100. Matthew Colbrook verified email University of Cambridge