Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
4162 Signatories
  1. Zhichao Zheng ORCID Associate Professor of Operations Management, Singapore Management University
  2. Vivek Akella ORCID The Ohio State University
  3. Xiangying Chen Postdoc, Ruhr-Universität Bochum
  4. Marco Manetti ORCID Università degli Studi di Roma La Sapienza
  5. Panayotis Mertikopoulos ORCID Research Director, Centre National de la Recherche Scientifique
  6. Syed Mujtaba Hassan ORCID Research Assistant, Habib University
    Comment

    Another big issue that we haven’t addressed is how these AI models and AI generated proofs are killing the spirit and beauty of mathematics. We don’t just want the proofs and solutions to these big standing problems what attracts is towards mathematics is the beauty of those proofs the journey each individual proof takes. These models are robbing us from that beauty and that journey. Mathematics inherently is a creative field and through this we are loosing that creativity. This all along side all the ethical and environmental issues these models bring. These models will not give us another Art Gallery problem, cause a machine that does not understand beauty cannot generate it.

  7. Bela Bollobas FRS verified email University of Cambridge
  8. Lukas Retschmeier ORCID Københavns Universitet
  9. William Da Silva ORCID University of Vienna
  10. Kuppusamy Ravindran ORCID Doctor of Philosophy, Kansas State University
    Comment

    I sign as someone who uses these systems in my own work, and because of that rather than in spite of it. I have watched a machine argument check out line by line and still fail to be the theorem its author meant: a proof can be verified while its statement is the wrong statement, and no certificate closes that gap for you. I do not read this Declaration as a wall against machines. I read it as the ordinary discipline of the subject, stated in good time. The goal of mathematics is human understanding, grounded in work that can be independently checked. Disclosure, real review of AI-assisted work, and credit to the human work on which a model builds are the terms on which that understanding survives contact with automation. I would add only what my own work keeps teaching me: checking must extend to the question no certificate can settle for its author, namely whether the formal claim means what the author says it means. Let the systems help. I use them, and I mean to go on using them. Keep the review, keep the attribution, and keep human understanding as the thing we are actually for. A convenient proof is worth little if no one is left who can say why it is true.

  11. Sundaram Thangavelu ORCID Indian Institute of Science
  12. Martin Ulirsch ORCID Paderborn University
  13. Aritra Sarkar ORCID Senior Researcher, Fujitsu Research India Private Limited
  14. Felipe Flores ORCID University of Virginia
  15. Jack kayser verified email Ohio State University - Columbus
    Comment

    I believe mathematics is one of humanity’s greatest shared achievements, and AI represents an opportunity to expand it rather than replace it. Open research, transparent methods, and reproducible results will be essential to ensuring that AI-driven discoveries strengthen trust in mathematics and remain accessible to future generation

  16. Michael Doerr CSULB
  17. David Cimasoni ORCID Senior Lecturer, University of Geneva
  18. Simon O'Connor ORCID Georgia Institute of Technology
    Comment

    We have an obligation to respond to this technology and its implications for our field and others, not with fear but with reason and genuine curiosity. We should always be concerned with what we might be losing or negatively impacting in exchange for technological progress and automation. Encouraging open discussion and genuine engagement with the development of AI will be necessary for the sake of mathematics and beyond

  19. Andreas Johannes Klein ORCID visitor, IHÉS
    Comment

    I think it is a pivotal moment for mankind to keep control over 'the ghosts that we once called'.

  20. Nestor Guillen ORCID Courant Institute of Mathematical Sciences
  21. Angelo Arvind Rajendram verified email University of Waterloo
  22. Nicolas Charon ORCID Associate Professor, University of Houston
  23. Enrica Floris Université de Toulouse
  24. XINYI YUAN ORCID professor, Peking University
    Comment

    We are able to carry out research mathematics and get valuable feedback because mathematics is a community. We should think about how to protect this community.

  25. Francesco Navarra ORCID Post-doc, Sabancı Üniversitesi
  26. Alexis Langlois-Rémillard ORCID Hausdorff Postdoc, Hausdorff Center for Mathematics
  27. Suhas B Mahesh Shiv Nadar University
  28. David Malone Maynooth University
  29. Katharina Hübner ORCID Professor, Goethe University Frankfurt
  30. Hoang Huy Do ORCID
  31. LIMA, Juliana Soares ORCID Librarian, Universidade Federal do Ceará
  32. Prajwal D. Udanshive ORCID Graduate Teaching Assistant, Western University
  33. Naufil Sakran ORCID Tulane University
  34. Sokratis Zikas ORCID Postdoctoral Researcher, Instituto Nacional de Matemática Pura e Aplicada
  35. Daksh Dheer M.S. (Research) student, IISER Thiruvananthapuram
  36. Dori Bejleri ORCID Assistant Professor, University of Maryland, College Park
  37. Paola Comparin ORCID Departamento de Matemática y Estadística, Universidad de La Frontera
  38. Giacomo Peretti ORCID Student, Politecnico di Torino
  39. Vignesh Jagathese ORCID University of Illinois Chicago
  40. Leonardo López Monroy ORCID Universidad Nacional Autónoma de México
  41. Giorgio Navone ORCID University College London
  42. Artyom Lisitsyn ORCID Graduate Student, University of California, Davis
  43. Ugo Bruzzo ORCID Universidade Federal de Minas Gerais, Belo Horizonte, Brazil
  44. Pietro De Poi ORCID Professore associato, Università degli Studi di Udine
  45. Sara Mehidi verified email Utrecht University (postdoctoral researcher)
  46. Sam Frengley ORCID INRIA
  47. Elvis Martis ORCID Principal K. M. Kundnani College of Pharmacy
  48. Luis Núñez-Betancourt ORCID Professor, Centro de Investigacion en Matemáticas
  49. Frank W. Holliday ORCID Retired Principal Consultant, Holliday Consulting (Germany)
  50. Josephine Kagunda verified email University of Nairobi
  51. Mark Bridger verified email Northeastern University
  52. Adam Robertson ORCID PhD Student, Utah State University
  53. Mateo Díaz verified email University of Chicago
  54. Naman Kumar ORCID PhD Student, IRIF
  55. Mohamed Elsheikh verified email Technische Universität Dresden
  56. Eve Boulter Dolder UEA graduate, IMA
  57. Jitao David Zhang ORCID Privatdozent, University of Basel
  58. Christos Georgiou ORCID Institut de Física d'Altes Energies
  59. Sean Laverty ORCID Professor, University of Central Oklahoma
  60. Jonathan Peck ORCID Post-doctoral assistant, Ghent University
  61. Eranda Cela ORCID Graz University of Technology (90000)
  62. Miroslava Cuperlovic-Culf ORCID Adjunct Professor, University of Ottawa
  63. Fred Irvin Diamond ORCID King's College London
  64. Gerard Marcel Tannerie Watts ORCID King's College London
  65. Luca Galimberti ORCID King's College London
  66. Fareeha Sami Khan ORCID Assistant Professor, Federal Urdu University
    Comment

    I fully support this declaration and share the concerns it raises. I believe these principles are important for the future of mathematics, and I am pleased to add my name in support.

  67. Allan Paul Gomez Ehmig verified email Universidad San Francisco de Quito
  68. Nicholas Bader verified email Temple University
  69. Sofía Celi ORCID Cryptography Research, Brave and University of Bristol
  70. Van Bang Le ORCID Institut für Informatik, Universität Rostock
  71. Jonas Wahl verified email University of Bergen
  72. Martin Schirneck ORCID Karlsruhe Institute of Technology
  73. Ludovic Galindo ORCID ENS Lyon
  74. Dominik Schrimpel verified email Université Paris Nord (Paris XIII)
  75. Gabriel Barruci da Silva ORCID "State University of Rio de Janeiro"
  76. Bruce W. Weide Professor Emeritus, Computer Science and Engineering, The Ohio State University
  77. Mehran Mazandarani ORCID Information Science and Technology, Tsinghua University Graduate School at Shengzhen
  78. Francisco José Leite de Almeida ORCID Data Science, Agência Nacional de Telecomunicações
  79. Dominique Bornhöft Universität Bonn
  80. Monika Kudlinska ORCID University of Cambridge
  81. Ludo Fraser-Taliente ORCID Postdoctoral Fellow, Carnegie Mellon University
  82. Werner Brannath ORCID Institutsleiter, Universität Bremen
  83. Benjamin A. Robinson ORCID Postdoc Assistant, University of Klagenfurt
  84. Noah Osterholz ORCID Student, University of Freiburg
  85. Ruben Ruiz-Torrubiano ORCID Professor, IMC University of Applied Sciences Krems
  86. Khaldoun Al-Yasiri ORCID Regular Faculty at College of Science, University of Basrah
    Comment

    We hope to preserve the very essence of mathematics—a discipline that demands deep thinking, continuous research, and the resilience to learn from failure. The widespread adoption of artificial intelligence tools threatens to undermine the foundational values upon which this science was built. As Paul Halmos wrote in his book I Want to Be a Mathematician: "Ask your own questions, look for your own examples, discover your own proofs." His advice centers heavily on the word "own"—a process of personal discovery that cannot simply be outsourced to AI. To be a great researcher, one must cultivate the ability to visualize, hypothesize, and patiently learn from mistakes. An overreliance on AI tools directly diminishes these essential human qualities. If this trajectory continues, we simply will not be able to cultivate the next generation of true mathematicians.

  87. Alireza Shavali ORCID Post doctoral researcher, Heidelberg University
  88. Martin Köhler ORCID Deutsches Elektronen-Synchrotron DESY
  89. Stephan Rosebrock ORCID Akademischer Oberrat Professor, Pädagogische Hochschule Karlsruhe
  90. Maik Boltes ORCID Forschungszentrum Jülich
  91. Felix Lange ORCID University of Greifswald
    Comment

    The possible negative effects of AI on mathematics are not inevitable, but rather guided by our choices.

  92. Norman Swazo ORCID Professor of Philosophy, North South University
    Comment

    I concur with the basic principles and guidance provided in the Leiden Declaration and recommend voluntary compliance accordingly by individuals, institutions, and organizations.

  93. Andreas Borgschulte ORCID Materials Scientist, Swiss Federal Laboratories for Materials Science and Technology
  94. Slobodan Kašterović "FTN NoviSad"
    Comment

    I support Leiden Declaration on Artificial Intelligence and Mathematics (2 June 2026)

  95. Jimuel Jr Celeste ORCID Department of Biological Sciences, University of Alberta
  96. Ghislain Fourier ORCID RWTH Aachen University
  97. Daniel Schmidt ORCID Medical Physics Expert, University Hospital Regensburg
  98. Ralf Pradella Mathematician, self-employed, Germany
  99. Dr. Cora Burger Diploma in Mathematics from University of Stuttgart, former assistant at Karlsruher Institut für Technologie and University of Stuttgart
  100. Alexandre Meneceur ORCID PhD student, Télécom Paris