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. Francesco Sica ORCID Assistant Professor, Florida Atlantic University
  2. Giada Veronelli verified email University of Milan - Bicocca
  3. Sanne ter Horst ORCID North-West University , South Africa
  4. Himanshu Sukhpal ORCID
    Comment

    We need safeguards

  5. Christopher O'BRIEN ORCID PhD Candidate, The University of Queensland
  6. Ken'ichi Ohshika ORCID Professor, Gakushuin University
  7. Tom C Brown verified email Simon Fraser University
    Comment

    Strip mining for coal (among other activities) has led us to global warming.  Peter Renz has said that "AI LLMs are intellectual strip mine operations."   (A few years ago I asked ChatGPT to "Tell me about the career of Professor X, who taught for many years at Y"    What ChatGPT told me was about 40% true and 60% nonsense.)  The recent disproof "by AI" of a long-standing conjecture of Paul Erdős is interesting - however, it took endless hours of work by human mathematicians to verify this.  Major investments in AI by governments will surely be aimed at surveillance and warfare.

  8. Bruce Rothschild Department of Mathematics, UCLA
  9. Rafael P. Saldaña, PhD Retired Associate Professor, Department of Mathematics, Ateneo de Manila University, Quezon City, Philippines
    Comment

    I stand with fellow mathematicians and scientists around the world in search for mathematical truths and ethical use of AI. Artificial intelligence should be a tool to be used to benefit humanity, not to destroy it. Integrity and excellence should not be compromised using AI.

  10. Christopher Kennedy ORCID Coleman Postdoctoral Fellow, Queen's University
  11. Gergely Zábrádi ORCID Associate professor, Eötvös Loránd University
  12. Junaid Sarfraz ORCID Associate Professor, Govt Postgraduate College No.1 Abbottabad
  13. André van Renssen ORCID Senior Lecturer, University of Sydney
  14. Geordie Williamson ORCID The University of Sydney
    Comment

    This declaration is important and timely. It is critical that our community sees the importance of affirming the importance of human understanding in mathematics (and in science more generally). Several of the other points I support unreservedly. I would like to applaud point 11 for individuals "Evaluate the ethical consequences of your work, and take action accordingly" and point 7 for organizations "Provide frameworks for collaboration". On the other hand, I think that it is already (!) unrealistic to only allow human authorship (individuals, Point 5).

  15. Muhammad Ismail Yunus verified email Khalifa University of Science, Technology and Research
  16. Roberto Rivera ORCID Professor, University of Puerto Rico at Mayagüez
  17. Xin Yang ORCID Ph.D. Candidate, University of Connecticut
  18. Robert M Fossum verified email University of Illinois Urbana-Champaign
  19. DINO FESTI ORCID Università degli Studi di Napoli Federico II
  20. Bach Hoang ORCID Bachelor of Science, University of Illinois Urbana-Champaign
    Comment

    Very agree with this declaration.

  21. James Newton verified email University of Oxford
  22. Shahn Majid ORCID Queen Mary University of London
  23. Eduardo Silva ORCID Postdoctoral researcher, University of Münster
  24. Constanze Liaw verified email University of Delaware
  25. Diaaeldin Taha ORCID Max Planck Institute for Mathematics in the Sciences
  26. Wolfgang Adam Heepe University of São Paulo - Business Administration; Virtual University of the State of São Paulo - Mathematics
    Comment

    Relevant debate, shall be widespread to the public. Moreover, shall stumulate further reasoning on the subject.

  27. Carlos Daniel Acosta-Medina ORCID Universidad Nacional de Colombia
  28. Jorge Estrada Hernández ORCID Assistant Professor, University of Havana
  29. Daniele Valeri ORCID Università degli Studi di Roma "La Sapienza"
  30. Ian Strachan ORCID Professor of Mathematical Physics, University of Glasgow
  31. Cruz Godar ORCID Lecturer, Yale University
  32. Emil-Alexandru Ciolan ORCID
  33. Jessica Fintzen verified email Professor, University of Bonn
  34. Grant Olney Passmore Imandra Inc and Clare Hall, University of Cambridge
  35. Stefan Weltge ORCID Technical University of Munich
  36. Martin Fränzle ORCID Professor at Carl von Ossietzky Universität Oldenburg, Germany
  37. Miltiadis Karamanlis ORCID
  38. Nicholas Rank verified email Johns Hopkins University
  39. Likun Xie ORCID Max Planck Institute for Mathematics
    Comment

    I strongly support research responsibility and transparency. Authors remain responsible for checking and standing behind their work, and AI should be regarded as a tool whose value depends on the judgment and quality of the mathematician using it. I hope this declaration can raise awareness of these issues and encourage further study and policy-making around them. AI can genuinely help mathematicians, just as other technologies have advanced science, but it may also amplify existing problems such as flawed or irresponsible papers. Another important concern is attribution. If substantial AI assistance is not disclosed, it can obscure how much intellectual or technical labor was carried out by the author and how much was aided by the tool. Mathematicians already often disclose computational assistance in checking examples, verifying cases, or supporting proofs. Similarly, AI tools should be properly described when they contribute substantively. This is especially important because AI can now assist with more than routine computation or programming: it may help identify connections between different papers, suggest proof strategies, or propose parts of an argument. These are tasks that would require technical and intellectual effort if done without AI. Therefore, when AI provides substantial assistance of this kind, such as suggesting a proof idea or pointing out a meaningful connection between different ideas, that assistance should be disclosed.

  40. Talia Shlomovich ORCID PhD in Algebra, Geometry and Mathematical Physics, Heriot-Watt University
  41. Arne Mertens ORCID postdoctoral researcher, University of Antwerp
  42. Elia Immanuel Auer verified email Freie Universität Berlin
  43. Ahmad Abdi ORCID Mathematics, London School of Economics Department of Economics
  44. Richard Lang ORCID Researcher, Polytechnic University of Catalonia
  45. Joel Lewis ORCID Associate Professor of Mathematics, The George Washington University
  46. Marcin Magdziarz ORCID professor, Wroclaw University of Science and Technology
  47. Heikichi Hayashi verified email Adrasteia Labs
  48. Margaret Bayer ORCID Professor Emerita, University of Kansas
  49. Christopher Adam Hass ORCID Postdoctoral Associate, Rutgers University
  50. Amadeus Maldonado ORCID Northwestern University
  51. Alex Blumenthal ORCID Associate Professor, Georgia Institute of Technology
  52. Willoughby Seago University of Glasgow
  53. Florian Pfender ORCID Professor, University of Colorado Denver
  54. Abdel-Hameed Nawar ORCID Cairo University
    Comment

    I endorse the Leiden Declaration on Artificial Intelligence and Mathematics. The principles of human ownership of results, responsibility for correctness, and transparent disclosure of tool use as articulated here are not unique to mathematics. They are foundational to all empirical and theoretical inquiry. As an economics and Political Science scholar , I see the same risks in our disciplines. Automated tools can generate regressions, models, and text that appear authoritative while misattributing sources, misinterpreting effect sizes, or substituting statistical significance for substantive significance. The Leiden Declaration’s insistence that “credit and responsibility continue to belong to humans” and that authors “retain the responsibility for correctness” should apply equally to causal claims, data analysis, and policy recommendations in the social sciences. The distinction between banning AI and assigning liability is critical. The “should we allow it” debate is indeed useless. AI will continue to be used. The question is whether we preserve standards of verification, attribution, and human judgment. Leiden Declaration answers that question loud and clear. I urge the American Economic Association (AEA), the American Political Science Association (APSA), and related bodies to adopt parallel standards. Our fields face the same pressures of fast publication cycles, proprietary models trained on our literature, and the temptation to outsource verification. The Leiden model promoting "use AI, but own the output" protects the integrity of research without stifling innovation.

  55. Kevin Kühn ORCID TU Berlin
  56. Jonathan Kirby ORCID University of East Anglia
  57. James Taylor ORCID Postdoc, University of Padua
  58. Theresa Ortscheidt verified email University of Glasgow
  59. Kasturi Barkataki ORCID Postdoctoral Research Associate, University of Edinburgh
  60. Daniele Bartolucci University of Rome "Tor Vergata"
  61. Matías Pavez-Signé verified email Universidad de Chile
  62. Rebekka Strathausen verified email Technische Universität Darmstadt
  63. Timothy De Deyn ORCID postdoctoral fellow, Max Planck Institute for Mathematics
  64. Ildefonso Castro ORCID Catedrático de Universidad / Professor, Universidad de Jaén
  65. Thomas S. Wilkinson ORCID Postgraduate Research Student, University of Exeter
  66. Ivan Hasenohr ORCID Post-doctoral fellow, Alpen-Adria-Universität Klagenfurt
  67. Troy Kaighin Astarte ORCID Senior Lecturer, Swansea University
    Comment

    As the author of a University union branch motion on Resisting Al, I believe it is of crucial importance to take this vey seriously.

  68. Ruizhe Shen verified email Peking University
    Comment

    The strike of AI Singularity on human depends on human itself.

  69. Laurence Petrus Wijaya ORCID PhD Student, Kentucky, USA
  70. John Dualé verified email Heriot-Watt University
  71. Silvia Butti ORCID Lecturer, King's College London
  72. Lisa Lenstra ORCID PhD student at QuSoft/UvA
  73. Giulio Codogni ORCID Università degli Studi di Roma Tor Vergata
  74. Nathan Pflueger ORCID Amherst College
  75. Jiaheng Wang ORCID Postdoctoral fellow, University of Helsinki
  76. Hayato Saigo ORCID ZEN University
  77. Guihui Zou ORCID Guangzhou University
    Comment

    The impact of artificial intelligence on mathematical research has already become a reality. The future collaboration between AI and mathematical researchers is an inevitable direction of development. In my view, mathematics is a symbolic language we use to describe the physical world. The defining characteristics of this language are its clarity of expression and the verifiability of its internal logic. Therefore, the primary significance of mathematics for us humans lies in our ability to understand this language and use it to describe the physical world. I sign this manifesto because I believe that, both now and in the future, even if AI can enhance our efficiency in understanding and proving mathematics, humans should still remain the primary subjects of mathematical understanding, and humans should bear the primary responsibility for any papers that use AI-assisted proofs. This position will remain valid until a theory emerges that can rigorously prove, from a mathematical standpoint, that future novel intelligent agents are strictly equivalent to us at some level.

  78. Clément Canonne ORCID Senior Lecturer, University of Sydney
  79. David E. Rowe verified email Johannes-Gutenberg Universität Mainz
  80. James Foadi ORCID Department of Mathematica Sciences, University of Bath, Lecturer
    Comment

    The Leiden Declaration is a well-written document that potentially helps to frame institutional and departmental frameworks and approaches to the use of AI in education and research.

  81. Alexander Ritz ORCID Research Fellow, Clausthal University of Technology
  82. Sloan Evans Despeaux ORCID Professor of Mathematics, Western Carolina University
  83. Antoine Pinardin ORCID University of Basel
  84. Vladislav Taranchuk verified email Universiteit Gent
  85. Alexander Kasprzyk ORCID University of Warwick
  86. Nicolas Faroß ORCID Postdoc, Chalmers University of Technology
  87. Matthew Jenssen ORCID Reader in Probability, King's College London
  88. Ronen Brilleslijper ORCID PhD/Junior lecturer, Vrije Universiteit Amsterdam
  89. Idriss Mazari-Fouquer ORCID Assistant Professor, Université Paris Dauphine
  90. WenXiang Wei ORCID
  91. Pengcheng Zhang verified email Bergische Universität Wuppertal
  92. Thierry de la Rue ORCID researcher, CNRS, Rouen, France
  93. Jop Briët ORCID CWI
  94. Sinuhé Perea-Puente ORCID Assistant Professor, Mathematics and Computation (University of Burgos)
  95. Boualem Djehiche ORCID PhD, Professor, KTH Royal Institute ot Technology
  96. Martí Prats ORCID Professor agregat, Universitat Autònoma de Barcelona
  97. Marcelo Bertalmío ORCID Spanish National Research Council (CSIC)
  98. Sun Woo Park ORCID Postdoctoral Researcher, Max Planck Institute for Mathematics
  99. Volker Michel ORCID full professor, Universität Siegen, Department Mathematik
  100. Mark Muldoon ORCID Reader in Applied Mathematics, University of Manchester