Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
4176 Signatories
  1. Giordano Colò ORCID Director of AI Research, Live Tech
  2. Davide Macera verified email Rheinische Friedrich-Wilhelms Universität Bonn
  3. Harlan Connor ORCID
  4. Maarten Derickx ORCID University of Zagreb
  5. Emil Wiedemann verified email Friedrich-Alexander Universität Erlangen-Nürnberg
  6. Tim Boykett ORCID Algebra, Johannes Kepler University // Industrial Design 2, Universität für angewandte Kunst
  7. Kristian Uldall Kristiansen ORCID Associate Professor, Technical University of Denmark
  8. Finn Rijk verified email University of Amsterdam
  9. Dominic P Clemence ORCID Professor, North Carolina Agricultural and Technical State University
  10. Corentin Lambert verified email Ecole Normale Supérieure de Lyon
  11. Michal Doucha ORCID Institute of Mathematics, Czech Academy of Sciences
  12. Michel VAQUIE ORCID Institut de Mathématiques de Toulouse
  13. Tomas Reunbrouck verified email Universität Bielefeld
  14. Michael Rudolph verified email Université de Tours, CNRS
  15. Vijay Subramanian ORCID College of Engineering, University of Michigan
  16. Michael Jablonski ORCID University of Oklahoma
  17. Ngoc-Sang Pham ORCID Professor, University of Lorraine
  18. Pradyun Gaddam ORCID Purdue University, West Lafayette
  19. J.D.M. Rademacher ORCID Universität Hamburg
  20. Nikolai Prochorov ORCID University of Manchester
  21. Mathilde Maréchal ORCID PhD, Le Mans Université, France
  22. Kentarô Yamamoto ORCID University of Aizu
  23. Mohsan Ali ORCID King Edward Medical University
  24. Matthew Bertucci ORCID Visiting Assistant Professor, Willamette University
  25. Ilya Galushkin verified email University of Pennsylvania
  26. Ivan Moyano ORCID Université Côte d'Azur
  27. Emily Quiroga-Gomez ORCID University of Hamburg
  28. Eric Ahlqvist ORCID Stockholm University
  29. Nestor Parolya ORCID Associate professor, Delft University of Technology
  30. Puguh Wahyu Prasetyo ORCID Mathematics Education Department, Universitas Ahmad Dahlan
    Comment

    I support the Leiden Declaration on Artificial Intelligence and Mathematics. AI has great potential to assist mathematical research, education, and discovery, but mathematical understanding, rigorous proof, proper attribution, and responsibility must remain fundamentally human. I hope this Declaration will help our community embrace new technologies while preserving the integrity and human character of mathematics.

  31. Mateusz Stroiński ORCID University of Hamburg
  32. Katie Osborn Florida State University
  33. Baran Bayraktaroglu ORCID University of Helsinki
  34. Tommaso de Fernex ORCID University of Utah
  35. Oissin O'Donnell ORCID PhD Student, University of Cambridge
  36. Luca Bonaventura ORCID Associate Professor, Politecnico di Milano
  37. Ibai Aedo verified email Public University of Navarre
  38. William Michael Farmer ORCID Professor, McMaster University
  39. Filippo Mayer verified email University of Roma "La Sapienza"
  40. Helena Martín-Cruz ORCID Universidad de Jaén
  41. Tristan Pang ORCID University of Oxford
  42. John Christopher Meyer ORCID Associate Professor, University of Birmingham
  43. Judith B. Rommel ORCID Baden-Wuerttemberg Cooperative State University
  44. Gabriel Szabo verified email Charles University Prague
  45. Ivo Dell'Ambrogio ORCID Université d'Artois
  46. Daigo Ito ORCID Columbia University
  47. Fabien Hoareau Université Paris Cité
  48. Kenneth Nordström verified email University of Helsinki
  49. Thijs de Kok ORCID PhD student, Radboud University Nijmegen
  50. Madeleine Udell ORCID Assistant Professor, Stanford University
  51. Maria Stella Adamo ORCID Kyoto University
  52. Alexander Duncan ORCID Associate Professor, University of South Carolina
  53. Yan Blyth ORCID PhD Student at IMPA
  54. Maxime Weytens verified email Université Libre de Bruxelles
  55. William Wylie ORCID Syracuse University
  56. Felix Lucka ORCID Centrum Wiskunde & Informatica
  57. Antonina P. Khramova ORCID Eindhoven University of Technology
  58. Anna Dall'Acqua ORCID Ulm University
  59. mariemi alonso ORCID Profesor Titular de Universidad, Universidad Complutense de Madrid
  60. Stefan Schreieder ORCID Leibniz University Hannover
  61. Nick Vannieuwenhoven ORCID Assistant Professor, KU Leuven
  62. Stefanie Sonner verified email Radboud University
  63. S Ramprasath verified email Indian Institute of Technology, Madras
  64. Sunitha Vadivel Murugan ORCID Professor, DAU (Formerly known as DA-IICT)
  65. Sean P. McGowan ORCID Adelaide University
  66. Valeriu Ungureanu ORCID Associate Professor, Moldova State University
  67. August Hedgcock verified email University of Glasgow
    Comment

    Deep problems in mathematics should not be a testing ground for the ability of powerful AI models to come up with a solution. Mathematics is slow precisely because you must look deeply at a problem to determine non-intuitive links to other problems, which advances the interconnectedness and vastness of mathematics, and this will not be taken from us.

  68. Michael Alexander verified email McGill University
  69. Vasile Brinzanescu ORCID research professor (CS I), Institutul de Matematica Simion Stoilow
  70. Tri Do verified email University of North Texas
  71. Jan Giesselmann verified email Technische Universität Darmstadt
  72. Alex Thorne verified email University of Edinburgh
  73. Adrian Sescu ORCID Professor, Mississippi State University
  74. Jean Fasel ORCID Professor, Institut Fourier
  75. Davide Emilio Quadrellaro ORCID Technische Universität Wien
  76. Selçuk Topal ORCID Prof. Dr., İzmir Demokrasi Üniversitesi
  77. Anna Rodriguez Rasmussen ORCID Universität zu Köln
  78. Jens Vygen verified email University of Bonn
  79. Kuldeep Saha ORCID Assistant Professor, TCG CREST
  80. Arpan Dutta ORCID Assistant Professor, Indian Institute of Technology Bhubaneswar
  81. James Li ORCID Academic Tutor, The University of Sydney
  82. Thomas Renard Research Intern, Fakultät für Mathematik, Universität Bielefeld
  83. Antonio Marquina ORCID Applied Math Professor, University of Valencia
  84. Thomas Quella ORCID Senior Lecturer, University of Melbourne
  85. Paulo J. Azevedo ORCID PhD, Imperial College London
  86. Francisco Daniel Díaz González verified email University College London, University of London
    Comment

    The feature of creating a direct implementation in code of a mathematical text should be included in my opinion under the current declaration. Thus, a proposed formally stated algorithm or any Lean, Rocq or any other synthetic language translation of a mathematical text, including any computer programming language direct implementation, should be openly disclosed.

  87. Johannes Korbmacher ORCID Department of Philosophy and Religious Studies, Universiteit Utrecht
  88. Nero Budur ORCID
  89. Branko Juran verified email Rheinische Friedrich-Wilhelms Universität Bonn
  90. Michael Müger ORCID Radboud University, Nijmegen, The Netherlands
  91. Daniel Fadel ORCID Professor (Assistant), University of Sao Paulo
  92. Yaogan MENSAH ORCID Professor (Full), Université de Lomé
    Comment

    I love math because it is driven by deep human curiosity and the joy of truly understanding a problem. As AI enters our field, I want to make sure it remains a helpful partner that respects the hard work of real human thinkers. That is why I promise to always double-check computer answers and give credit where it belongs. By signing this, I am committing to keeping math honest, open to everyone, and beautifully human.

  93. Miles Simon ORCID Otto von Guericke University Magdeburg
    Comment

    In the last few months, AI capabilities in solving mathematical problems has greatly accelerated, causing me and other colleagues to reevaluate the dangers/benefits/etc. of AI. Others, like those involved in writing this declaration, foresaw quite some time ago the power of AI to drastically change our lives. The declaration addresses many of the dangers, benefits, etc. and presents good guidelines for dealing with AI. I consider it important (still!) to train graduates, undergraduates in mathematical thinking and problem solving without the use of AI, and will continue to do so. Despite this, I understand that AI will also play a large role in mathematical education, and young people will use it as a learning tool. At this stage, I conduct my research basically using old school methods: Pencil and paper, reading papers of others, thinking while walking around my room, the campus or in the park, ..., reading papers of others. However, I appreciate that AI can simplify many laborious tasks, for example checking if a supposed complicated algebraic inequality is correct, and AI will continue to be useful in this way. The ability for people to comprehend mathematics, clearly explain it, communicate it, ask the right questions, and solve mathematical problems is important, as is the ability to think things through without using AI at every step of the way.

  94. Max Peter Helmer ORCID Technische Universität Darmstadt
  95. Alisha Saenger ORCID Technische Universität Darmstadt
  96. Henk Don ORCID Radboud University Nijmegen
  97. Özge Sahin ORCID Delft University of Technology
  98. Joaquin Sanchez Garcia University of Toronto
  99. Arnold Reusken ORCID RWTH Aachen University
  100. Paul B. Larson ORCID Professor, Miami University