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. Mahesh Krishna K Chanakya University
  2. François Greer ORCID Assistant Professor, Michigan State University
  3. Noah D. Ortiz ORCID PhD Student, Carnegie Mellon University
  4. Xingzhe Li ORCID
  5. Patrick Daigle ORCID Master's Student, University of Tennessee, Knoxville
  6. Ari Davidovsky verified email University of Wisconsin - Madison
  7. Sebastien Gouezel ORCID IRMAR
  8. Antoine Song ORCID Caltech
  9. Piotr Kucharski ORCID University of Warsaw
    Comment

    I hope that this declaration will be a part of a bigger movement towards regulating, learning, and shaping development of AI for the benefit of humanity

  10. Martin Zika ORCID Research Associate, University of York
  11. Bradley Burdick ORCID Lecturer, University of Kentucky
  12. Calina Ciuhu ORCID Assistant Professor, Eindhoven University of Technology
  13. GIANMARIO TESSITORE ORCID Matematica e Applicazioni, Università degli Studi di Milano-Bicocca
  14. Mei Han verified email Technische Universität Berlin
  15. Shen-Fu Tsai ORCID Department of Mathematics, National Central University, Taiwan
  16. Yaël Dillies ORCID Stockholm University
    Comment

    As an early-career researcher at the intersection of mathematics and formal methods, I strongly feel the mentioned imbalance between AI companies and Lean experts. I wish for my collaborations with industry to be based on fair and equal terms.

  17. Aleksandr S. Filipchenko ORCID Senior mathematician, Russian Railways
  18. Ivaylo Stoyanov ORCID Prof. PhD, Angel Kanchev University of Ruse
  19. Fabio Tanania verified email University of Milan - Bicocca
  20. Silvia Sabatini verified email Universität Köln
  21. Prashant Nalini Vasudevan ORCID National University of Singapore
  22. Gregory Sankaran ORCID University of Bath
  23. Victoria Gould verified email University of York
  24. Cy Maor ORCID Hebrew University
  25. Carmen Barrio Marañón verified email Universidad de Cantabria
  26. Antoine Gloria ORCID Professor, Sorbonne University
  27. Caglar Uyanik ORCID University of Wisconsin-Madison
  28. KOTARO SHOJI ORCID Ph.D student, Osaka Metropolitan University
  29. Lynn Heller ORCID Professor, Beijing Institute of Mathematical Sciences and Applications
  30. QI XING ZHOU Lecturer, Minnan University of Science and Technology
    Comment

    Every researcher, regardless of the type of artificial intelligence they utilize, shall be accountable for all generated results. Meanwhile, humanity’s pursuit of mathematical aesthetics can never be supplanted by AI.

  31. Adrián Zenteno ORCID Profesor, Universidad Autónoma Metropolitana
  32. Agustín Tomas Besteiro ORCID Researcher, ITECA-UNSAM
  33. Diego Garlaschelli ORCID Full Professor in Theoretical Physics, Director of Research Unit at the IMT School for Advanced Studies Lucca (Italy) and Leiden University (The Netherlands)
  34. José Luis Narbona Valiente ORCID University of Cambridge
  35. Paweł Gora ORCID Fundacja Quantum AI / Jagiellonian University (post-doc)
  36. Josephine Yu ORCID Professor, Georgia Institute of Technology
  37. Anindya Biswas ORCID Postdoctoral researcher, Masaryk University
  38. Yury Neretin University of Graz, Department of Mathematics and Scientific Computing
  39. Paul Esteban Bravo-López ORCID Universidad del Azuay (EC) - Universidad de Jaén (ES)
  40. Silviana Amethyst ORCID Max Planck Institute of Molecular Cell Biology and Genetics
  41. Peter Ralph ORCID Professor, University of Oregon
  42. Alin Marin Elena ORCID computational scientist, STFC Daresbury Laboratory
  43. Bolin Han ORCID Associated Lecturer, University of Adelaide
  44. James Van Yperen ORCID Assistant Professor in Mathematics, University of Sussex
  45. Aurélien Velleret ORCID LaMME, Université Evry Val d'Essonne
  46. Sophia Missoury ORCID
  47. MALIGE Franck, Jean-Louis, Georges ORCID LIS laboratory, Toulon, France
  48. Sylvie Benzoni-Gavage ORCID Université Lyon 1
  49. Dirk Schlimm ORCID Associate Professor, McGill University
  50. Kartik Anand Technische Universität Hamburg
  51. M. C. AUSIN ORCID Universidad Carlos III de Madrid
  52. Daniela Bertacchi ORCID Associate Professor, University of Milano-Bicocca
  53. David Hewett ORCID Professor of Mathematics, University College London
  54. Petra Schwer ORCID Professor, Heidelberg University
  55. Tomoo Matsumura ORCID Associate Professor of Mathematics, International Christian University
  56. Vinicius de Oliveira Rodrigues ORCID Professor, Universidade de São Paulo
  57. Francisco Miraglia Neto ORCID Professor Titular, Universidade de São Paulo
  58. Claudio Gorodski verified email Universidade de São Paulo
  59. Sergey Lysenko ORCID Professor, Université de Lorraine
  60. Mariano Vázquez Espí ORCID Retirated, Associated Professor. ETS de Arquitectura - Universidad Politécnica de Madrid
  61. Gráinne Beltramo-Dolan verified email Mount Holyoke College
  62. Pedro Sánchez Terraf ORCID Professor, Universidad Nacional de Córdoba
  63. Etienne Toussaint IMFD
  64. Martin Thomas Horsch ORCID Associate Professor in Data Science, Norwegian University of Life Sciences
  65. Christian Mercat ORCID Université Claude Bernard Lyon 1
  66. Richard Hain ORCID Professor Emeritus, Duke University
  67. Alvaro Lozano-Robledo ORCID Professor, University of Connecticut
    Comment

    Thank you for the time and effort and thoughtfulness put into this document. I endorse it wholeheartedly.

  68. Thomas Haettel ORCID Université de Montpellier
  69. Jakub Šístek ORCID Researcher, Institute of Mathematics of the Czech Academy of Sciences
  70. Ivo DE PAUW ORCID Lecturer Applied Maths & Physics, Howest University of Applied Sciences and Arts
    Comment

    Lecturer Applied Maths & Physics, Howest University of Applied Sciences and Arts. Quoting Roger Penrose "Artificial Cleverness" would be a better-fit name than "Intelligence" which implies a consciousness. Presumably way too late, still a symbolic suggestion in favour of "AC".

  71. Salvatore VICIDOMINI ORCID Teacher in Geometry, Mathematics, Science at MII Italy.
  72. Maxime Fairon ORCID Institut de Mathématiques de Bourgogne, Université Bourgogne Europe
  73. Francisco Crespo ORCID Associate Professor, Embry–Riddle Aeronautical University
  74. Allan E. Jones ORCID Assistant Research Scientist, Hydrogeology, University of Illinois Urbana-Champaign
  75. David Nkansah ORCID Norwegian University of Science and Technology (NTNU)
  76. Gwénaël Massuyeau verified email Université Bourgogne Europe
  77. Lukas Kretschmann ORCID Research Asistant, Bergische Universität Wuppertal
  78. Cyril Simon Wedlund ORCID Researcher, University of Graz
  79. Ian Stark ORCID University of Edinburgh
  80. Sumith Reddy Anugu ORCID Post-doctoral fellow, Technische Universität Ilmenau
  81. Pim Spelier ORCID Postdoc, Utrecht University
  82. Gottfried Hastermann ORCID postdoctoral researcher, Technische Universität Ilmenau
  83. Rachel Newton ORCID King's College London
  84. Denis Serre verified email Ecole Normale Supérieure de Lyon
  85. Fanny Augeri ORCID Université Paris Cité
  86. Gabriel Pallier ORCID Maitre de conférence, University of Lille
    Comment

    I share the concerns expressed in this declaration and estimate that the potential threats are now reaching a higher degree.

  87. David Klompenhouwer ORCID University of Padova
  88. Clemens Grabmayer ORCID Temporary Assistent Professor, Gran Sasso Science Institute, L'Aquila, Italy, working in process theory, rewriting, proof theory, and coalgebra
  89. Gaëtan Chenevier ORCID Directeur de recherches, Centre National de la Recherche Scientifique
  90. Louis Gautier verified email Institut National des Sciences Appliquées de Lyon
    Comment

    Necessary statement, which I think lays down in clear words vague concerns we’ve all been feeling. The guidelines are quite general, and the work needs to be pursued at an individual level to make them ours, bend our decisions and spread the word. Thank you for your work.

  91. Anna M. Viergever ORCID Postdoc, Leibniz University Hannover
  92. Denis BERNARD ORCID Directeur de recherche, CNRS & LPENS
  93. Pengrui Zhao Northeastern University
  94. Guillaume Ballif ORCID Post doctoral position, Inria Paris
  95. Clemens Bombach ORCID Postdoc, TU Chemnitz
  96. Дмитрий Горбунов ORCID
  97. Tankere Fresson Marie Mathematics teacher, high school, Amberieu en BUGEY Lyceede la Plaine de l’Ain France
  98. Manfred Hauswirth ORCID TU Berlin / Fraunhofer FOKUS
    Comment

    Although not being a mathematician myself, but a computer scientist, I use and depend on a lot of mathematical tools. I support this declaration because it argues for the essential necessities in science which are good research quality and reproducibility. Something any discipline has to uphold to the highest standards.

  99. Michal Pesta ORCID Associate Professor, Charles University
  100. Michel mollard ORCID Institut fourier CNRS