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. Gert de Cooman ORCID Senior Full Professor in Uncertainty Modeling and Systems Science, Ghent University
  2. Roozbeh Hazrat ORCID Professor, Western Sydney University
  3. Fu-Gang Yin ORCID School of Mathematics and Statistics, Beijing Jiaotong University
  4. Rineke Verbrugge ORCID Rijksuniversiteit Groningen
  5. Angela A. Albanese Università del Salento
  6. Rithwik M R Harish-Chandra Research Institute
  7. Eleonore Faber ORCID Professor, Universität Graz and University of Leeds
  8. Prakash Panangaden verified email McGill University
  9. Maja Volkov ORCID Professor, University of Mons
  10. Guangxi Yan verified email Student, Massachusetts Institute of Technology
  11. Longyun Ding ORCID Nankai University
  12. Carlos Rodriguez Max Planck Institute for Mathematics in the Sciences
    Comment

    I agree with the Leiden declaration broadly. Mathematical ideals and theorems in math papers all carry a history behind them, and it's beneficial to the reader when people acknowledge conversations or ideas (e.g. acknowledging a colleague for mentioning a work or a book that turned out to be very fruitful). Disclosing the use of LLMs, I think, is similar in spirit to this. Of course, every theorem in a math paper that you author should be read and trusted by the authors!

  13. Xiaofa Chen ORCID School of Mathematical Sciences, University of Science and Technology of China
  14. Stephen Huggett ORCID
  15. Emily Norton ORCID University of Kent
  16. Xiaojin Lin ORCID Postdoc, Tsinghua University
    Comment

    Agree with the Declaration.

  17. Noam Zeilberger ORCID Assistant professor, Institut Polytechnique de Paris
  18. Anja Meyer verified email University of Manchester
  19. Dennis Nieman ORCID Postdoctoral researcher
  20. Linxuan Li ORCID PhD, Queen Mary University of London
  21. Bao Tang ORCID University of Graz, Austria
  22. Pedro R. López-Gómez ORCID Assistant Professor, CUNEF Universidad
  23. Dario Mazzoleni verified email University of Pavia
  24. Steffen Müller verified email University of Groningen
  25. Charles Garnet Cox ORCID Academic, Senior Lecturer, University of Bristol
  26. Simon Dieck ORCID PhD Candidate, TU Delft
  27. Sanbiao Dong ORCID Student, Southwest Jiaotong University
  28. Gionni Marchetti ORCID CEO, Postillón XAI
  29. Hao Chen ORCID Assistant Professor, ShanghaiTech University
  30. Leyi Jiang ORCID Max Planck Institute of Molecular Cell Biology and Genetics
  31. Philip Simon Schlösser ORCID PhD Candidate, Radboud University Nijmegen
  32. Sanming Zhou ORCID Professor, The University of Melbourne, Australia
  33. Wadim Zudilin ORCID Professor, Radboud Universiteit Nijmegen
  34. Devarshi Mukherjee verified email University of Oxford
  35. Lahcen Maniar Cadi Ayyad University MarrakechMorocco
  36. María José Pereira-Sáez ORCID Dpt. of Economics, Universidade da Coruña
  37. Qian Chen ORCID Xi'an Jiaotong University
  38. Luca Descheemaeker ORCID Vrije Universiteit Brussel
  39. K Sreeram Menon Student, IISER Bhopal
  40. Alexander Schmeding ORCID Associate professor (førsteamanuensis), Norwegian University of Science and Technology
  41. Michael Rothgang ORCID Postdoctoral researcher, University of Bonn
  42. Tim Oosterwijk ORCID Assistant professor, Vrije Universiteit Amsterdam
  43. Sachin Chauhan ORCID Postdoctoral Researcher, Uppsala University
  44. Etienne Boursier ORCID Inria, Université Paris-Saclay
  45. Holger Reich verified email Freie Universität Berlin
  46. Matthias Walter ORCID Assistant Professor, University of Twente
  47. María Ángeles Gil ORCID UNiversidad de Oviedo, Spain
  48. Raffaele Vitolo ORCID professor, Università del Salento
  49. Thomas Blom Postdoctoral fellow, Max Planck Institute for Mathematics
  50. Gaspard Jankowiak ORCID Senior scientist, University of Graz
  51. Boris Doubrov ORCID Belarusian State University
  52. Zheng WANG ORCID Doctorant, Laboratoire Analyse, Géométrie et Applications
  53. Krzysztof Oleszkiewicz ORCID University of Warsaw
  54. Fernando Pestana da Costa ORCID Professor, Universidade Aberta
  55. Jakob Führer ORCID Institute for Algebra, Johannes Kepler University of Linz
  56. Todor Antić ORCID PhD student, Charles University
  57. Jashandeep Thind verified email Indian Institute of Science
    Comment

    Amongst the many ethical concerns that come from the corporations that have created these tools, the ethics of where these data centres are put, how much resources they steal from the local population should be of great concern. So must the light be on what goes into training these models. The hours and hours of manual labour put in by marginalised community workers in procuring data for these models. This mass exploitation of natural and human resources must be kept in mind whenever one is using these LLMs or other generative AI.

  58. Ana Martinez-Pastor ORCID Full professor, Universitat Politècnica de València
  59. Davide Barbieri ORCID Universidad Autonoma de Madrid Departamento de Matematicas
    Comment

    I think we mathematicians should also try to discuss in public about 2 other aspects of AI proficiency in mathematics. First is the reason why we have this: the main motivation for the industry was the control of hallucinations, which are the main technical drawback of LLM preventing them to be used in full automation in sectors such as healthcare, but also finance and the military. This is a path that, if it works, will produce more illness diagnoses entirely made by machines, more activities in the financial markets entirely made by machines, more war actions entirely made by machines. I am happy as a mathematician to see that this strategy is not working (for the moment), but I would add this to the ethical aspects of our giving contributions and feedbacks to this whole process. Second is the issue with young minds. Mathematics is also struggle, failure and stepping out of comfort zones. As such, it is a practice of humbleness, of consideration of implications of our statements (and actions), and ultimately of development of a critical mind. If we remove the struggle and the failure during the learning, because we provide continuous machine support to each young mind who first encounters mathematical problems: will it change something? Should we mathematicians, who have had a traditional education, occupy part of our time in thinking how to allow the people who are currently in ages 6-23 to have access to the broader formative aspects of mathematics, that may be greatly reduced by an "intuitive" use of AI? Young students asking an LLM how to solve a mathematical problem without doing the effort, may well learn how to solve that mathematical problem, but the overfitting with this procedure is extremely higher, and the struggle gets close to zero. Isn't this a societal long term risk too?

  60. Devi Prasad verified email Indian Institute of Science
  61. Marta Sanz-Solé ORCID Professor emeritus , University of Barcelona
  62. Emanuele Prati verified email University of Padua
  63. Adrian Detavernier ORCID Faculteit Ingenieurswetenschappen en Architectuur, Universiteit Gent
  64. Chen Qian verified email Xi'an Jiaotong University
  65. Raphael Appenzeller ORCID Heidelberg University
  66. Alessandro Della Corte ORCID Professor (Associate) of Mathematical Physics, Università degli Studi di Camerino
  67. Nikolaos Panagiotopoulos ORCID On Board Computers and Data Handling Engineer, European Space Research and Technology Centre
    Comment

    My affiliation does not reflect the ESA's viewpoint on AI. Furthermore, I would like to add that the current technology which has been baptised as "AI" is simple a group of algorithms (very good ones though) and are able to automate tedious mental work with high risks and error margins. It requires diligent investigation and background work (here is where the human intelligence is required most) before it is implemented on real world applications, in order to bring the desired benefits, always in the frame of logic and ethics.

  68. David Evans Prifysgol Caerdydd - Cardiff University
  69. Elima Shehu ORCID MathCoRe Postdoc, Otto-von-Guericke University Magdeburg
  70. Annegret Burtscher ORCID Associate Professor, Radboud University Nijmegen
  71. Alessandra Cattafi verified email University of Pisa
  72. Jiangyu Su verified email Fudan University
  73. Julien BREMONT ORCID Collège de France
  74. Hyeonwoo Kim verified email Pohang University of Science and Technology
  75. Leon Kester Transdisciplinary Scientist, TNO
    Comment

    Thank you so much for this initiative. I fully support the declaration and recommendations. I hope this and other initiatives evolve towards a transdisciplinary declaration on science and philosophy.

  76. André Schlichting ORCID Full Professor, Universität Ulm
  77. Johannes Lederer ORCID Chair of Data-Driven Mathematics at the University of Hamburg
    Comment

    No one knows what AI will bring tomorrow. But as mathematics community, we can—and should—take part in shaping that future.

  78. Alberto Gervani verified email Scuola Normale Superiore di Pisa
  79. Ahmed Ratnani ORCID Director of The UM6P Vanguard Center, Université Mohammed VI Polytechnique
  80. Ingemar Kaj ORCID Uppsala University
  81. Jireh Loreaux ORCID Associate Professor, Southern Illinois University Edwardsville
    Comment

    While there any many further steps to be taken, the Leiden declaration is a good starting point.

  82. Rémy Degenne ORCID Researcher, Inria Centre at the University of Lille
  83. Giuseppe Alessio D'Inverno ORCID Postdoctoral Researcher, Laboratoire de Mathématiques d'Orsay, Université Paris-Saclay
  84. GIUSEPPE MOLTENI ORCID associate professor, University of Milan
  85. Mingcheng Wu ORCID Master Student, Shandong University
    Comment

    I strongly support the Leiden Declaration on AI and Mathematics. Preserving human authorship, transparency, and deep understanding in mathematics is crucial.

  86. Stephan Wagner ORCID TU Graz and Uppsala University
  87. Axel Flinth verified email Umeå University
  88. Yuriy Drozd ORCID Institute of Mathematics National Academy of Sciences of Ukraine
  89. Olivier Hénard ORCID Assistant Professor (MCF), Université Paris Saclay
  90. Hendrik De Bie ORCID full professor, Ghent University
  91. Georgios Skantzaris verified email Eindhoven University of Technology
  92. Jess Stubbs ORCID Data Engineer (Student)
    Comment

    What I appreciate about this declaration is that it's not a tantrum. It's not "AI bad, stop everything." It's a precise community with a precise relationship to truth, asking a precise question: what happens to knowledge when the infrastructure of verification gets undermined faster than anyone can adapt? I just hope we're not too late...

  93. Matthew Bisatt verified email Adam Mickiewicz University of Poznan
  94. Perdita Stevens ORCID University of Edinburgh, Prof. Em. Mathematics of Software Engineering
  95. Evgeny Khukhro ORCID Emeritus Professor of Pure Mathematics, University of Lincoln, UK
  96. Bart de Keijzer ORCID Department of Informatics, King's College London
  97. Shouxi Wang verified email University of Warwick
  98. Carlo Mantegazza ORCID Math. Department, University of Naples Federico II
  99. Balasubramanian Sury ORCID
  100. Anton Fehnker ORCID PhD Student, University of Copenhagen