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. Cornelis Vuik ORCID Professor of Numerical Analysis, Delft University of Technology
  2. Stefano Vecchiet MIGe Administration Operator, University of Trieste (Italy)
  3. A. Gowrisankar ORCID Faculty, Vellore Institute of Technology University
  4. Stefan Witzel ORCID Professor, Justus Liebig Universitat Giessen
  5. Ángel González-Prieto ORCID Associate Professor, Universidad Complutense de Madrid
  6. Aidar Dulliev ORCID docent, Kazan National Research Technical University named after A. N. Tupolev - KAI
  7. Danny Calegari ORCID Professor, University of Chicago
  8. Scott Warrander ORCID PhD Student, University of Glasgow
  9. Ulrich Tamm HSBI Bielefeld
  10. Christopher Lutsko ORCID Assistant Professor, University of Houston
  11. J. Marshall Unger ORCID The Ohio State University (Em. Prof.)
  12. Álvaro Bustos-Gajardo ORCID Assistant Professor, Universidad de Chile
  13. Willie Rush Lim ORCID Tamarkin Assistant Professor, Brown University
  14. Sohaib Khalid ORCID Postdoctoral researcher, Umeå Universitet
  15. Patrick Fitzpatrick verified email University College Cork
  16. Alessandro Giacchetto ORCID Postdoctoral Fellow, ETH Zurich
  17. Cornelis Oosterlee ORCID Professor Financial Mathematics, Mathematical Institute, Utrecht University, the Netherlands
  18. Diego Alberto Barceló Nieves verified email University of Verona
  19. Kresimir Josic ORCID Professor, University of Houston
  20. Artie Prendergast-Smith verified email Loughborough University
  21. Laura Byrne ORCID Assistant Professor/Lecturer, University College Cork
  22. Rainer Sinn ORCID Professor, Georg-August-Universität Göttingen
  23. Michał Zwierzyński ORCID Warsaw University of Technology
  24. Günther Of ORCID Associate Professor, Technische Universität Graz
  25. Francesco Coghi ORCID Leverhulme Early Career Resarch Fellow, University of Nottingham
  26. Augusto Del Zotto ORCID Postdoc, University of Zurich
  27. Pablo Angulo Ardoy ORCID Universidad Politécnica de Madrid
  28. Volodymyr Kovtunets ORCID Head, Institute of Higher Education of National Academy of Education Science of Ukraine
  29. Sönke Rollenske ORCID Philipps University Marburg
  30. 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.

  31. Vedat Kamer ORCID Assistant Professor, Istanbul University
  32. Rick Zhang ORCID University of Electronic Science and Technology of China
  33. Jinhe Ye ORCID Nanjing University
  34. Teresa Pollard verified email Carnegie Mellon University
  35. Sarah Reznikoff ORCID Professor, Virginia Tech
  36. Jérôme Buzzi ORCID CNRS / Université Paris-Saclay
  37. Łukasz Błaszczyk ORCID Assistant Professor, Warsaw University of Technology
  38. Andreas Winter ORCID Humboldt Professor, University of Cologne
  39. 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.

  40. Thomas Kelly ORCID Assistant Professor, Georgia Institute of Technology
  41. Gretchen Mondragón Pasti KU Leuven: Linguistics and Literature
  42. 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.

  43. Jacob Stiegler ORCID
  44. Vincent Macri ORCID PhD student, University of Calgary
  45. Filip Banek verified email University of Warsaw
  46. James Coe verified email University of Edinburgh
  47. Bruno Staffa ORCID Lovett instructor, William Marsh Rice University
  48. 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.

  49. Dániel Varga Alfréd Rényi Institute of Mathematics
  50. Aurelien Pardo ORCID Graduate Assistant, University of Fribourg
  51. Serge Ivashkovych Professor of the Department of Mathematics of the University of Lille
  52. Stephan Ehlen ORCID University of Cologne
  53. Maria Teresa Arias Noguerales ORCID FPI-MICINN, Universidad Autónoma de Madrid
  54. 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!

  55. Wilhelm Schlag ORCID Yale University, professor of mathematics
  56. Lipkan Volodymyr ORCID Professor, Academy of Labour Social Relations and Tourism
  57. Jimbo Henri Claver ORCID Dean of School, Samarkand International University of Technology (SIUT)
  58. 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.

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

  95. Adam Chojecki ORCID PhD student, Warsaw University of Technology
  96. Margarida Vaz Pato ORCID ISEG, Universidade de Lisboa
  97. Milica Cudina ORCID UT Austin
  98. 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.

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

  100. Ekaterina Gromova ORCID Professor, DSc, PhD in applied math