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

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

  29. Iago Giné-Vázquez ORCID Instituto de Investigación Sanitaria de Santiago
  30. Carlota Maria Cuesta ORCID Associate Research Professor, University of the Basque Country
  31. Bruno Gaujal ORCID Institut national de recherche en sciences et technologies du numérique
  32. Dr Ilknur Tulunay ORCID Casual Academic, UNSW Sydney
  33. Valentijn Karemaker ORCID University of Amsterdam
  34. Nickolas Forsch ORCID Senior Research Engineer, Simula Research Laboratory
  35. Julia Sauter verified email Universität Bielefeld
  36. Christian Miebach verified email Université du Littoral Cote d'Opale
  37. 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.

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

    I very strongly want to support this initiative.

  47. Gigliola Staffilani ORCID Abby Rockefeller Mauze Professor, Massachusetts Institute of Technology
  48. ALESSIO PORRETTA ORCID Full Professor, Department of Mathematics, University of Rome Tor Vergata
  49. Davide Gori ORCID University of Duisburg-Essen
  50. 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.

  51. Enrico Bertani High School Computer Science Teacher
  52. Istvan Kolossvary ORCID Principal Scientist, Flagship Pioneering (United States)
  53. Ingeborg Goddijn verified email Delft University of Technology
  54. Sam Cochran ORCID University of Michigan
  55. Judith Ludwig ORCID Heidelberg University
  56. Levi Isaac Pesin ORCID PhD Student, Flinders University
  57. Galen Dorpalen-Barry ORCID Texas A&M University
  58. 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.

  59. David Ross ORCID Professor, University of Hawaii at Manoa
  60. 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.

  61. 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.

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

    Math and Computer Sciences

  76. Valerie Berthe ORCID IRIF, CNRS
  77. Mihai-Cosmin Pavel ORCID Researcher, IMAR Bucharest
  78. Alexander Paul Brodbelt López verified email Rheinische Friedrich-Wilhelms Universität Bonn
  79. Giuseppe Arnone ORCID University of Naples "Federico II"
  80. Oli Jones ORCID Technische Universität Berlin
  81. Philippe Tranchida ORCID ULB, researcher
  82. 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.

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

  98. Simone Gutt ORCID Professeur émérite, Université Libre de Bruxelles
  99. Tobias Ried ORCID Assistant Professor, Georgia Institute of Technology
  100. Farid Hazratian ORCID School of Mathematics, Computer Science and Statistics, University of Tehran
    Comment

    An author writes a paper using AI, a reviewer evaluates it using AI, and after publication, readers rely on AI-generated summaries instead of reading the paper themselves. In the end, the entire process occurs with minimal human intellectual engagement.