Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
3122 Signatories
  1. Luca Motto Ros ORCID University of Turin
  2. Christopher Housholder Missouri State University
  3. Joan Domingo-Pasarin ORCID PhD student, Universitat de Barcelona
  4. Carlos Bosch verified email Instituto Tecnológico Autonómo de México
    Comment

    Excellent initiative

  5. Shashikant Mulay
  6. Cristina Januário ORCID Professor Adjunto, Instituto Politécnico de Lisboa Instituto Superior de Engenharia de Lisboa
  7. Wojciech Politarczyk ORCID Assistant Professor, University of Warsaw
  8. Artur Zagitov ORCID Student, Innopolis University
  9. Waqquas Bukhsh ORCID University Of Strathclyde
  10. Scott Heiner ORCID The University of Queensland
  11. Javier Enrique Aguilar ORCID Statistics, TU Dortmund
  12. Nikolaos Tzirakis ORCID Professor of Mathematics, UIUC
  13. Elchanan Mossel ORCID Professor of Mathematics, MIT
  14. Debora Weber-Wulff ORCID Retired professor, adjunct, HTW Berlin - University of Applied Sciences
  15. Sergey Norin verified email McGill University
  16. Neeladri Maitra verified email University of Illinois Urbana-Champaign
  17. Alexandre Borovik ORCID Professor Emeritus, The University of Manchester
    Comment

    An important first step in raising awareness of serious problems generated by growth of AI. But the situation is much worse than described in the Declaration.

  18. Nieves Angulo verified email CUNY Hostos Community College
  19. Kseniia Karpeeva ORCID Head of Student Scientific Laboratory, Innopolis University
  20. Ana Helena Tavares ORCID Adjunct Professor, University of Aveiro
  21. John Tyler Maar ORCID Grad Student, Technische Universität Berlin
  22. Alexandra Graß ORCID Ludwig-Maximilians-Universität (LMU) München, Technische Universität München (TUM)
  23. Chris Lambie-Hanson ORCID Researcher, Institute of Mathematics
  24. Lawrence C Paulson ORCID Professor (Emeritus), University of Cambridge
  25. Rebecca Waldecker ORCID Mathematics, Martin Luther University Halle-Wittenberg
  26. Francesco Galuppi ORCID Assistant professor, University of Warsaw
  27. Pedro Antonio Cano Chica ORCID Profesor sustituto, Universidad de Jaén
  28. Delfim F. M. Torres ORCID R&D Unit CIDMA, Department of Mathematics, University of Aveiro
  29. Beatrice Pelloni ORCID Heriot-Watt University
  30. Alima Chekueva ORCID research intern at Skoltech AI, student at Higher School of Economics
  31. Yaroslav Kholodov ORCID Full professor, Innopolis University
  32. Hermenegildo Borges de Oliveira ORCID Professor Associado, Universidade do Algarve Faculdade de Ciências e Tecnologia
    Comment

    While AI can be helpful in routine mathematical tasks, including the preparation of introductory notes, the verification of lengthy calculations, the analysis of large datasets, the summarisation of newly published research within a given field of expertise, and support for writing, wether with the language semantics or the LaTeX code, it remains essential for authors to verify the reliability of any mathematical calculations generated with AI assistance, as well as the semantic accuracy of the language in which the text is written.

  33. Iago Giné-Vázquez ORCID Instituto de Investigación Sanitaria de Santiago
  34. Carlota Maria Cuesta ORCID Associate Research Professor, University of the Basque Country
  35. Bruno Gaujal ORCID Institut national de recherche en sciences et technologies du numérique
  36. Dr Ilknur Tulunay ORCID Casual Academic, UNSW Sydney
  37. Valentijn Karemaker ORCID University of Amsterdam
  38. Nickolas Forsch ORCID Senior Research Engineer, Simula Research Laboratory
  39. Julia Sauter verified email Universität Bielefeld
  40. Christian Miebach verified email Université du Littoral Cote d'Opale
  41. Jörg Schäfer ORCID Professor, Frankfurt University of Applied Sciences
    Comment

    As a trained mathematician who now works in the field of applied computer science, where I apply mathematical concepts and ideas in a variety of ways, I wholeheartedly endorse this statement—it comes at just the right time.

  42. Bert Zwart ORCID CWI
  43. Martin Peev ORCID Postdoctoral Research Assistant, University of Oxford
  44. Kellen Xu ORCID Pharmacology, Rutgers Biomedical and Health Sciences
  45. Guido Governatori ORCID Professor ICT, CQUniversity
  46. Jack Haight verified email University of Tennessee, Knoxville
  47. Emmanuel Anaya Gonzalez ORCID University of California San Diego
  48. Matthew Dyer ORCID University of Notre Dame
  49. Julio Guerrero ORCID Professor, University of Jaén
  50. Louis Wehenkel ORCID Professor, University of Liège
    Comment

    I very strongly want to support this initiative.

  51. Gigliola Staffilani ORCID Abby Rockefeller Mauze Professor, Massachusetts Institute of Technology
  52. ALESSIO PORRETTA ORCID Full Professor, Department of Mathematics, University of Rome Tor Vergata
  53. Davide Gori ORCID University of Duisburg-Essen
  54. Juan José Gómez Vázquez verified email Universidad de Guadalajara
    Comment

    En solidaridad y concordancia con otras iniciativas de investigación y profesiones debemos tener en cuenta que las matemáticas no solo generan un conjunto de resultados, sino también comprensión, claridad y criterio entre las ciencias, lo que los han moldeado y permitido explicar una diversidad de fenómenos. En calidad de académico, considero que la Declaración de Leiden debe asumirse como un marco ético y estratégico para orientar la relación entre matemáticas e inteligencia artificial. Declaro lo siguiente: 1. Defensa de la integridad matemática: La demostración y la verificación independiente deben seguir siendo el núcleo de la práctica matemática, incluso cuando se empleen herramientas automatizadas. 2. Transparencia y responsabilidad: Todo uso de inteligencia artificial en investigación matemática debe ser divulgado explícitamente, con atribución clara a las fuentes humanas que lo hicieron posible. 3. Autonomía académica: La dirección de la investigación matemática no debe estar dictada por intereses corporativos ni por la facilidad de automatización, sino por el juicio experto de la comunidad científica. 4. Compromiso ético: Los matemáticos deben evaluar las consecuencias sociales y políticas de sus colaboraciones con la industria tecnológica, evitando contribuir a aplicaciones que fomenten la guerra, la opresión o la vigilancia masiva. 5. Colaboración inclusiva: La convergencia entre matemáticas e inteligencia artificial debe abrir espacios de cooperación interdisciplinaria, siempre bajo el respeto a los valores de rigor, transparencia y humanidad en la autoría.

  55. Istvan Kolossvary ORCID Principal Scientist, Flagship Pioneering (United States)
  56. Ingeborg Goddijn verified email Delft University of Technology
  57. Sam Cochran ORCID University of Michigan
  58. Judith Ludwig ORCID Heidelberg University
  59. Levi Isaac Pesin ORCID PhD Student, Flinders University
  60. Galen Dorpalen-Barry ORCID Texas A&M University
  61. Danilo Santos Silva verified email Universidade Federal da Bahia
    Comment

    This is a very relevant declaration that demonstrates how important it is to limit AI as a tool and not as the primary means of knowledge production, regardless of the field. With its rampant advancement, human life will lose its vibrancy and motivation to solve problems created by big tech companies that only aim for greater efficiency in order to generate exorbitant profits.

  62. David Ross ORCID Professor, University of Hawaii at Manoa
  63. Paul Coutant--Denord "Student at ENS PSL, France"
    Comment

    I am a mathematics student at the École normale supérieure in Paris. As a young explorer in the world of mathematics, I am concerned about its future. I believe it is important for the mathematics community to address the issue of AI, find a way to resolve it, and save our discipline. I fully endorse this statement.

  64. Rubén A. Martínez-Avendaño ORCID Instituto Tecnológico Autónomo de México
    Comment

    It is vital that we, as mathematicians, maintain the highest ethical standards with regards to the use of AI in our work (and in everyday life). We must strive to understand the technology and use it in a way that advances our understanding of mathematics, and not use AI to just publish results that nobody understands. This document is a good start towards achieving this goal.

  65. Bertram, Wolfgang verified email Université de Lorraine
  66. Partha Sarathi Dey verified email University of Illinois Urbana-Champaign
  67. Lorenzo Foscolo verified email Sapienza Università di Roma
  68. Arthur Bartels verified email Universität Münster
  69. Barbara Lawrence ORCID
  70. Peter Burgisser ORCID Technische Universität Berlin
  71. Ludwig Griebl verified email Fachhochschule Landshut, Hochschule für Wirtschaft - Sozialwesen - Technik
  72. Daniël van Gent ORCID Postdoc Algebra & Number Theory, Universiteit Leiden
  73. Mathilde Gerbelli-Gauthier ORCID University of Toronto
  74. Robert Śmiech ORCID Postdoctoral Research Associate, University of Edinburgh
  75. Emanuele Ballarin ORCID PostDoc, Istituto Italiano di Tecnologia
  76. Roberto Svaldi ORCID Associate Professor, Università degli Studi di Milano
  77. Virgile Constantin verified email EPFL - EPF Lausanne
  78. Jean-Marie Laborde, Directeur de Recherche h. CNRS Univ. Grenoble Alpes - CNRS
    Comment

    Math and Computer Sciences

  79. Valerie Berthe ORCID IRIF, CNRS
  80. Mihai-Cosmin Pavel ORCID Researcher, IMAR Bucharest
  81. Alexander Paul Brodbelt López verified email Rheinische Friedrich-Wilhelms Universität Bonn
  82. Giuseppe Arnone ORCID University of Naples "Federico II"
  83. Oli Jones ORCID Technische Universität Berlin
  84. Philippe Tranchida ORCID ULB, researcher
  85. Kedar Mhaswade ORCID Computer Program, Independent Researcher
    Comment

    We, as our forefathers have done, live in an unprecedented time. Benjamin Franklin once said, "Man is a tool-using animal." We have exploited that maxim to achieve great results for humanity. However, when tools become so powerful that they rival human agency, a balanced declaration such as this becomes necessary. A Nobel Prize in Physics has already been awarded to a non-professional physicist (however great and respected in his field); can you imagine a Fields medal being awarded to a non-professional mathematician or an ACM Turing Award being conferred upon a non-professional computer scientist, also because they were pioneers in the development of A.I. tools that revolutionized mathematics or computer science research (or so familiar with the 'toolchain' as to having an unfair advantage?) Using powerful A.I. tools in your research is fair, I understand. However, without wholeheartedly supporting a fair declaration such as this one, our research (not in mathematics alone) would be like the Tour de France without any restrictions on the use of performance-enhancing drugs; cyclists with access to the best drugs win. I accept that the analogy is not perfect, but it's close. In general, strong cooperation between academia and industry (even when they serve society differently, often in a contradictory manner) is what we should strive for. Both unfairly regulated and unfairly unregulated industries create a tricky situation for this cooperation to thrive. I hope industries themselves and governments take this declaration seriously.

  86. Mélanie Bertelson verified email Université libre de Bruxelles
  87. Tobias Kuen ORCID Fraunhofer Institute for Integrated Circuits
  88. Pierre Arnoux ORCID Professeur, Université d'Aix-Marseille
  89. Thomas Neukirch ORCID Professor of Applied Mathematics, University of St Andrews
  90. Alessandro Zaccagnini ORCID Associate professor, University of Parma
  91. F. Thomas BRUSS verified email Université Libre de Bruxelles
  92. Valentina Cueva López verified email Universidad de Jaén
  93. Rahim Moosa ORCID University of Waterloo
  94. Raquel Caballero-Aguila ORCID Professor (Catedrático de Universidad), Universidad de Jaén
  95. Christoph Hertrich ORCID Professor for Applied Discrete Mathematics, University of Technology Nuremberg
  96. Aidarkhan Kaltayev ORCID Head, Satbayev University
  97. Ruixiang Zhang ORCID Associate Professor, University of California, Berkeley
  98. Marc Hallin ORCID Université libre de Bruxelles
  99. Can Baskent ORCID Senior Lecturer, Middlesex University
  100. Denis Bonheure ORCID Mathématiques, Université Libre de Bruxelles
    Comment

    I strongly support this declaration. In addition, I would be happy to see also declarations on ethical issues concerning prizes or financial supports to the scientific community from GAFAM, IA companies of course and other private companies whose intentions to support Mathematics should be discussed before it is too late...