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. Ulrich Tamm HSBI Bielefeld
  2. Christopher Lutsko ORCID Assistant Professor, University of Houston
  3. J. Marshall Unger ORCID The Ohio State University (Em. Prof.)
  4. Álvaro Bustos-Gajardo ORCID Assistant Professor, Universidad de Chile
  5. Willie Rush Lim ORCID Tamarkin Assistant Professor, Brown University
  6. Sohaib Khalid ORCID Postdoctoral researcher, Umeå Universitet
  7. Patrick Fitzpatrick verified email University College Cork
  8. Alessandro Giacchetto ORCID Postdoctoral Fellow, ETH Zurich
  9. Cornelis Oosterlee ORCID Professor Financial Mathematics, Mathematical Institute, Utrecht University, the Netherlands
  10. Diego Alberto Barceló Nieves verified email University of Verona
  11. Kresimir Josic ORCID Professor, University of Houston
  12. Artie Prendergast-Smith verified email Loughborough University
  13. Martin Klemsa Researcher in local search algorithms for NP-complete optimisation problems
  14. Laura Byrne ORCID Assistant Professor/Lecturer, University College Cork
  15. Rainer Sinn ORCID Professor, Georg-August-Universität Göttingen
  16. Michał Zwierzyński ORCID Warsaw University of Technology
  17. Günther Of ORCID Associate Professor, Technische Universität Graz
  18. Francesco Coghi ORCID Leverhulme Early Career Resarch Fellow, University of Nottingham
  19. Augusto Del Zotto ORCID Postdoc, University of Zurich
  20. Pablo Angulo Ardoy ORCID Universidad Politécnica de Madrid
  21. Volodymyr Kovtunets ORCID Head, Institute of Higher Education of National Academy of Education Science of Ukraine
  22. Sönke Rollenske ORCID Philipps University Marburg
  23. Ethan Hamilton Founder and CEO, Fermat Hamilton Labs LLC, Silicon Valley, CA
    Comment

    Fundamental research in mathematics that abides by the standards of rigor and openness that have characterized the discipline for millennia is more needed than ever in the era of AI. As a computer software discipline, modern AI is at its core a form of applied mathematics. AI is a tool with great potential. However, AI will never be able to replace the highly human and creative work carried out by human research mathematicians. I whole heartedly agree with with the declaration and I offer my full endorsement to it.

  24. Vedat Kamer ORCID Assistant Professor, Istanbul University
  25. Rick Zhang ORCID University of Electronic Science and Technology of China
  26. Jinhe Ye ORCID Nanjing University
  27. Teresa Pollard verified email Carnegie Mellon University
  28. Sarah Reznikoff ORCID Professor, Virginia Tech
  29. Jérôme Buzzi ORCID CNRS / Université Paris-Saclay
  30. Łukasz Błaszczyk ORCID Assistant Professor, Warsaw University of Technology
  31. Andreas Winter ORCID Humboldt Professor, University of Cologne
  32. Alain Pinel Mathematics Teacher, Cégep de Baie-Comeau
    Comment

    It is very important to preserve human intellect in mathematical research in order to avoid biases that may arise from an artificial intelligence interface. One issue that must be avoided is the blind trust placed in AI-generated results and their use in strategic and sensitive fields, since these results may be incorrect if they are not formally validated by human experts.

  33. Thomas Kelly ORCID Assistant Professor, Georgia Institute of Technology
  34. Gretchen Mondragón Pasti KU Leuven: Linguistics and Literature
  35. Theodore W. Stephens verified email Amherst College
    Comment

    The use of Artificial Intelligence should be highly scrutinized for its use in mathematics. Use of Artificial Intelligence should be as transparent as proofs to ensure mathematical rigor.

  36. Jacob Stiegler ORCID
  37. Vincent Macri ORCID PhD student, University of Calgary
  38. Filip Banek verified email University of Warsaw
  39. James Coe verified email University of Edinburgh
  40. Bruno Staffa ORCID Lovett instructor, William Marsh Rice University
  41. Aleksandr Okhrimenko PhD, Independent researcher
    Comment

    AI developers and companies that provide AI services to various user groups should be held personally accountable for the outcomes of their products.

  42. Dániel Varga Alfréd Rényi Institute of Mathematics
  43. Aurelien Pardo ORCID Graduate Assistant, University of Fribourg
  44. Serge Ivashkovych Professor of the Department of Mathematics of the University of Lille
  45. Stephan Ehlen ORCID University of Cologne
  46. Maria Teresa Arias Noguerales ORCID FPI-MICINN, Universidad Autónoma de Madrid
  47. Jennifer Vaccaro verified email University of Illinois Chicago
    Comment

    I believe in the creative power of the human mind and the transformative power of communicating in writing, in mathematics and beyond. Thank you for writing this declaration!

  48. Wilhelm Schlag ORCID Yale University, professor of mathematics
  49. Lipkan Volodymyr ORCID Professor, Academy of Labour Social Relations and Tourism
  50. Jimbo Henri Claver ORCID Dean of School, Samarkand International University of Technology (SIUT)
  51. Max Moldovan ORCID Senior Data Scientist, Biometry Hub, Adelaide University
    Comment

    It is critically important to establish an AI-assisted R&D -> validation -> translation -> implementation streamline, in a responsible and non-dogmatic way.

  52. Tommaso Faustini ORCID University of Warwick
  53. Isabel Dahlgren ORCID ETH Zurich
  54. Timothée Bénard ORCID
  55. Zeke ORCID University of Chicago (BS Student)
  56. Ferdinand Thein ORCID Johannes Gutenberg University Mainz
  57. Anatoliy Malyarenko ORCID Professor Emeritus, Mälardalens universitet
  58. Gene S. Kopp ORCID Assistant Professor, LSU College of Science
  59. João Ribeiro ORCID University of Lisbon
  60. Dr.Mariano Ortega de Mues Indra Sistemas de Indormacion SLU, Head of Edge Computing and AI
  61. Juan Gil Pastor verified email Universidad de Granada
  62. Jeffrey Bergfalk ORCID Ramón y Cajal Fellow, Universitat de Barcelona
  63. Christof Gattringer ORCID President, Austrian Science Fund FWF; Professor of Theoretical Physics, University of Graz;
  64. Udechukwu Peter Egbuhuzor ORCID Associate Professor, Federal University Otuoke
  65. Naoki Saito ORCID Distinguished Professor, University of California, Davis
  66. Safdar Quddus ORCID SWAL-Chennai
  67. HELDER GOMES COSTA verified email Universidade Federal Fluminense
  68. Jonas Stelzig verified email Ludwig-Maximilians-Universität München
  69. Alejandro Robador ORCID Instituto Geológico y Minero de España
  70. Alicia Dickenstein ORCID Professor Emerita, University of Buenos Aires
  71. Vladimiro Benedetti Université Côte d'Azur
  72. Mykola Khrypchenko ORCID Professor Adjunto, Universidade Federal de Santa Catarina
  73. Terry Daniel Easlick ORCID Postdoc, Université de Montréal
  74. Rajarshi Mukherjee ORCID Harvard University
  75. Isabel Silva Magalhães verified email Universidade do Porto
  76. Yajnaseni Dutta ORCID Assistant Professor, Leiden University
  77. David Benson ORCID Emeritus Professor, University of Aberdeen
  78. Nabh Singh IIT Goa, University of Tokyo
  79. Aritrabha Majumdar ORCID Indian Statistical Institute
  80. Pedro Morin ORCID Investigador Principal, Consejo Nacional de Investigaciones Científicas y Técnicas
  81. Georges Nguefack-Tsague ORCID Associate Professor of Statistics, University of Yaounde I
  82. Michaela Polley ORCID Graduate Student, Dartmouth College
  83. Jane Knöchel ORCID Assistant Professor, University of Copenhagen
  84. Antonello D'Oronzo PhD student, Institute of Mathematics of CAS Prague
  85. Kaja Tur ORCID PhD student, University of Łódź
  86. Szymon Tur ORCID Faculty of Mathematics and Information Technology, Warsaw University of Technology
  87. László Pyber Rényi Institute of Mathematics, Budapest
  88. Nicolas Balacheff ORCID Directeur de recherche CNRS émérite, Laboratoire LIG - CNRS, UGA, INRIA - Grenoble, France
    Comment

    AI and LLMs directly challenge the teaching of proof in mathematics, its nature, and the need to continue teaching and learning it. The LEADEN initiative is both timely and essential in raising awareness of these challenges and in helping us understand the limits of the new AI technologies.

  89. Adam Chojecki ORCID PhD student, Warsaw University of Technology
  90. Margarida Vaz Pato ORCID ISEG, Universidade de Lisboa
  91. Milica Cudina ORCID UT Austin
  92. Mainak Ghosh verified email Indian Institute of Science
    Comment

    While I don't agree with every detail of this declaration, the overall spirit is well-received and important for us to establish as a community.

  93. Abdulhafeez Ayinde Abdulsalam ORCID Independent researcher, Lagos, Nigeria
    Comment

    I believe AI can be a valuable tool in mathematics, but it should not replace independent thinking, creativity, and rigorous reasoning. Mathematics thrives on understanding, not merely on obtaining correct answers. We must ensure these core values remain central as AI tools become more widespread.

  94. Ekaterina Gromova ORCID Professor, DSc, PhD in applied math
  95. Riwal Plougonven ORCID Professeur, Ecole Polytechnique
  96. R Ramanujam Azim Premji University, Bengaluru, India
  97. Ander Ugarte Maths teacher in High School
  98. Shichang Song ORCID School of Mathematics and Statistics, Beijing Jiaotong University
  99. Jiaxuan Chen ORCID Stanford Online High School, Stanford University
  100. Wojciech Domitrz ORCID Associate Professor, Warsaw University of Technology