Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
2174 Signatories
  1. carlos uzcategui ORCID Profesor titular, Universidad Industrial de Santander
  2. Nina Gierasimczuk ORCID Associate Professor, Technical University of Denmark
  3. Lucie Brolon ORCID Université Paris Cité
  4. Makram Hamouda ORCID
  5. Xiaoyu He ORCID Richard A. Duke Assistant Professor, Georgia Institute of Technology
  6. Carlos Jaime Barrios Hernández ORCID Guest Researcher, CITI Laboratory - Centre Of Innovation In Telecommunications And Integration Of Service
  7. Richard Montgomery ORCID Professor, University of California Santa Cruz
  8. Benoit Dagallier verified email Imperial College London
  9. Andrew C. Alexander ORCID PhD Student (Mathematics), University of British Columbia
  10. Bruce Berndt verified email University of Illinois Urbana-Champaign
  11. Tim Wesley verified email PhD student, University of California, Santa Cruz
  12. Szymon Toruńczyk ORCID Institute of Informatics, University of Warsaw
  13. Marcos Alexandre Gondim Oliveira verified email Universidade Federal do Ceará
  14. Marc Jourdan ORCID École Polytechnique Fédérale de Lausanne (EPFL)
  15. Liliana Ibeth Barbosa-Santillán ORCID
  16. Motlatsi Molati ORCID National University of Lesotho
  17. Pietro Caputo Roma Tre University
  18. Leo Chang ORCID Cornell University
  19. Illya Kierkosz verified email McMaster University
  20. Jacob Armstrong Goodall verified email Shanghai Jiaotong University
  21. Kalila Lehmann verified email Georgia Institute of Technology
  22. Lars Hollander ORCID Mathematics & Computer Science, Eindhoven University of Technology
  23. ZIKUN OUYANG ORCID PhD, Université Paris Dauphine-PSL
  24. Daniel Plaumann ORCID Fakultät für Mathematik, Technische Universität Dortmund
  25. Giorgio Gatti ORCID PhD student, University of Padua
  26. Karin Baur ORCID Reine Mathematik, Ruhr-Universität Bochum
  27. Jesús Fuentes Aguilar verified email University of Luxemburg
  28. Pieter Naaijkens ORCID Lecturer, Cardiff University
  29. Robert James Shank ORCID Emeritus Reader in Mathematics, University of Kent
  30. Christopher Beattie ORCID Professor, Virginia Tech
  31. Tomas Veloz ORCID Vrije Universiteit Brussel
  32. Diégo Antolinos-Basso ORCID Université de Neuchâtel
  33. Zhang Chen verified email Tongji University
  34. Marcin Chałupnik ORCID University of Warsaw
  35. Richard Gratwick ORCID Reader, University of Edinburgh
  36. Przemysław Grabowski ORCID Simons Postdoc, Kyiv School of Economics
  37. Caio Souza verified email Universidade Federal do Rio de Janeiro
  38. Emiel Lorist ORCID Assistant Professor, Technische Universiteit Delft
  39. Chiara P Montagna ORCID Researcher, Istituto Nazionale di Geofisica e Vulcanologia Sezione di Pisa
  40. Jean Avan ORCID CNRS, Laboratoire de Physique Théorique et Modélisation, Cergy
  41. Laura Kanzler verified email CNRS - LJLL, Sorbonne Université
  42. Colin Jakob Rittberg ORCID Postdoctoral Researcher, Vrije Universiteit Brussel
  43. Willi More University of Klagenfurt
  44. Amaury Hayat ORCID Professor, École des Ponts - Institut Polytechnique de Paris
  45. Jose Antonio Ribeiro Neto ORCID
  46. Rajula Srivastava verified email University of Wisconsin - Madison
  47. Robin Bulsink verified email University of Groningen
  48. Maike Meier ORCID Assistant Professor, University of Groningen
  49. James Matthew Jones ORCID Postdoc Research Assistant, Philipps-Universität Marburg
  50. Pascal Romon ORCID Maître de Conférences, Université Gustave Eiffel
  51. Josué Tonelli-Cueto ORCID CUNEF Universidad
  52. Franck Corset ORCID DATA, Laboratoire Jean Kuntzmann
  53. Peter Bank verified email Technische Universität Berlin
  54. Pawel Strzelecki ORCID University of Warsaw
  55. Nathan Clisby ORCID Swinburne University of Technology
  56. Elisabeth Gassiat ORCID Université Paris-Saclay
  57. Giorgio Mangioni ORCID PhD Student, Heriot-Watt University
  58. Mark Kamsma ORCID Marie Skłodowska-Curie Postdoctoral Fellow, Masaryk University
  59. Veronika Kuchta ORCID Assistant Professor, Florida Atlantic University
  60. Georgios Politopoulos Leiden University
  61. Richard Ren ORCID Department of Mathematics, University of Chicago
  62. Paulo Félix Lamas ORCID Universidade de Santiago de Compostela
  63. Flavio Salizzoni ORCID Max Planck Institute for Mathematics in the Sciences
  64. Pip Goodman ORCID Universitat de Barcelona
  65. Rodrigo Thomaz ORCID PhD Candidate, Universidade Federal de São Carlos/Université de Lille
  66. Emmanuel Maitre ORCID Grenoble INP - Ensimag, UGA (Director)
    Comment

    I find this Declaration both timely and sound. As the director of an engineering school in computer science and applied mathematics, I would add that the same stakes apply to how we teach mathematics. Future engineers and mathematicians must still acquire, for themselves, the ability to construct and verify a proof, and the judgment to assess what automated tools could produce. If we let students delegate mathematical reasoning before they have mastered it, we erode the very understanding on which the future of the discipline depends. Teaching in the age of AI means equipping students to use these tools critically, not to depend on them.

  67. Chinmoy Bhattacharjee ORCID Junior Professor, Universität Hamburg
    Comment

    This is a timely and very important declaration. As an early career researcher, I wholeheartedly agree with its statements, especially those regarding fair and ethical use of AI, its disproportional threat to early career researchers, and its potential long-term impact on what we value as mathematicians.

  68. Francesco Sica ORCID Assistant Professor, Florida Atlantic University
  69. Giada Veronelli verified email University of Milan - Bicocca
  70. Sanne ter Horst ORCID North-West University , South Africa
  71. Christopher O'BRIEN ORCID PhD Candidate, The University of Queensland
  72. Ken'ichi Ohshika ORCID Professor, Gakushuin University
  73. Tom C Brown verified email Simon Fraser University
  74. Bruce Rothschild Department of Mathematics, UCLA
  75. Rafael P. Saldaña, PhD Retired Associate Professor, Department of Mathematics, Ateneo de Manila University, Quezon City, Philippines
  76. Christopher Kennedy ORCID Coleman Postdoctoral Fellow, Queen's University
  77. Gergely Zábrádi ORCID Associate professor, Eötvös Loránd University
  78. Junaid Sarfraz ORCID Associate Professor, Govt Postgraduate College No.1 Abbottabad
  79. André van Renssen ORCID Senior Lecturer, University of Sydney
  80. Geordie Williamson ORCID The University of Sydney
    Comment

    This declaration is important and timely. It is critical that our community sees the importance of affirming the importance of human understanding in mathematics (and in science more generally). Several of the other points I support unreservedly. I would like to applaud point 11 for individuals "Evaluate the ethical consequences of your work, and take action accordingly" and point 7 for organizations "Provide frameworks for collaboration". On the other hand, I think that it is already (!) unrealistic to only allow human authorship (individuals, Point 5).

  81. Muhammad Ismail Yunus verified email Khalifa University of Science, Technology and Research
  82. Roberto Rivera ORCID Professor, University of Puerto Rico at Mayagüez
  83. Xin Yang ORCID Ph.D. Candidate, University of Connecticut
  84. Robert M Fossum verified email University of Illinois Urbana-Champaign
  85. DINO FESTI ORCID Università degli Studi di Napoli Federico II
  86. Bach Hoang ORCID Bachelor of Science, University of Illinois Urbana-Champaign
  87. James Newton verified email University of Oxford
  88. Shahn Majid ORCID Queen Mary University of London
  89. Eduardo Silva ORCID Postdoctoral researcher, University of Münster
  90. Constanze Liaw verified email University of Delaware
  91. Diaaeldin Taha ORCID Max Planck Institute for Mathematics in the Sciences
  92. Carlos Daniel Acosta-Medina ORCID Universidad Nacional de Colombia
  93. Jorge Estrada Hernández ORCID Assistant Professor, University of Havana
  94. Daniele Valeri ORCID Università degli Studi di Roma "La Sapienza"
  95. Ian Strachan ORCID Professor of Mathematical Physics, University of Glasgow
  96. Cruz Godar ORCID Lecturer, Yale University
  97. Emil-Alexandru Ciolan ORCID
  98. Jessica Fintzen verified email Professor, University of Bonn
  99. Grant Olney Passmore Imandra Inc and Clare Hall, University of Cambridge
  100. Stefan Weltge ORCID Technical University of Munich