Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
4181 Signatories
  1. Sara Kalisnik Hintz ORCID Associate Professor, Pennsylvania State University
  2. Dimitri Mihaylov verified email University of Arizona
  3. Ruoxi Li ORCID Ph. D, University of Pittsburgh
  4. Sam Hopkins ORCID Associate Professor, Howard University
  5. Vincent Vatter ORCID Professor, University of Florida
  6. Marco Antonio Piedra Venegas verified email Universidad de Costa Rica
  7. Nicholas Beaton ORCID University of Melbourne
  8. Jiwoon Sim ORCID Graduate student, University of Alberta
  9. Blanka Horvath verified email University of Oxford
  10. Mihai Caragiu verified email Ohio Northern University
  11. Louis-Pierre Arguin ORCID City University of New York and University of Oxford
  12. Jyun-Ao Lin ORCID Assistant Professor, National Taipei University of Technology
  13. Changwei Zhou verified email State University of New York at Binghamton
  14. Cathy Li verified email University of Edinburgh
  15. Joey Hutchinson Victorian Public Service Senior Digital Advisor/Undergraduate Astrophysics Student
  16. Jiahe Zhang verified email New York University
  17. Sonja Mapes ORCID Northwestern University
  18. Yash Uday Deshmukh ORCID Member, Institute for Advanced Study
  19. T. Kyle Petersen ORCID Professor, DePaul University
  20. Quanlin Chen verified email Princeton University
  21. Krystal Maughan ORCID PhD student, University of Vermont
    Comment

    I have published in both Mathematics (Number theory, cryptography) and AI (not GenAI as used to "write proofs"; more so what I would call Machine Learning) and have seen "AI" as a useful tool for Mathematicians (e.g. work on Murmurations using LMFDB). However, I do agree that there should be oversight with respect to GenAI, having just attended a workshop at the intersection of AI and Number Theory. I'm writing as someone at the early stages of their career, seeing my peers struggle to find jobs after sending out hundreds of applications, and knowing some of the toxic and extractive parts of the AI world. One comment I heard years ago when Machine Learning first was applied to Mathematics was that "we don't want to feel steamrolled; it should be a collaboration". Becoming a competent mathematician takes time, dogged commitment and investment by others. It requires active work, humility and failing over and over again. I think a lot about what kind of legacy the senior mathematical researchers are leaving behind for us (the junior ones) to navigate, since present negotiations affect future yet-to-become mathematical researchers. I'm happy to see that we are having these discussions and am looking forward to future ones in this direction.

  22. Ricardo Menares ORCID Pontificia Universidad Católica de Chile
  23. Yohsuke Matsuzawa ORCID Associate professor, Osaka Metropolitan University
  24. Akhil Mathew ORCID University of Chicago
  25. Connor Olson verified email University of Washington
  26. Steven J. Hobson, MD FACC Mechanical Engineer, Clinical Cardiologist
  27. Atsushi Yoshikawa verified email Faculty of Mathematics, Kyushu University
  28. Claudio Gonzales ORCID Assistant Professor, Carleton College
  29. Scott Robson ORCID Research Data Analyst, Northwestern Medicine
    Comment

    We stand to lose much if we don’t think deeply about the impact of AI tools in the production of mathematical and scientific research and their intersection. Errors and verification costs are perhaps just the surface problem. Ethical questions are deeper concerns. Deeper still is we risk losing the ability to think intensely, even passionately, while teaching future generations that thinking is something that can be largely or completely outsourced.

  30. Agnishom Chattopadhyay ORCID Research Engineer, Imiron
  31. Peter Hintz ORCID Professor, Pennsylvania State University
  32. Sunay Joshi verified email University of Pennsylvania
  33. Deewang Bhamidipati ORCID Carleton College
  34. Mauricio Ayala-Rincon ORCID Full Professor, Universidade de Brasília
    Comment

    The Leiden Declaration outlines the principles for the fair and rigorous application of computational tools in mathematics, always crediting the work of our peers, providing certified and reproducible formalizations of our proofs, and, most importantly, preserving the culture of mathematical research.

  35. Kostiantyn Drach ORCID Associate professor, Universitat de Barcelona
  36. Joris Roos ORCID University of Massachusetts Lowell
  37. María Isabel Cortez ORCID Associate Professor, Pontificia Universidad Católica de Chile
  38. Leonardo Fernandes Guidi ORCID IME/UFRGS
  39. Kim Morrison ORCID Lean Focused Research Organization
    Comment

    I'm really excited about the future of mathematics, with incredible new capabilities and insights available from AI. The transformation is inevitable: we can do it badly, or we can do it well. Let's try to do it well! The Leiden Declaration provides the ethical and practical framework we need.

  40. Tim Hsu ORCID Professor, San Jose State Univ.
  41. Scott MacLachlan ORCID Professor, Memorial University of Newfoundland
  42. Daniel Quigley ORCID Indiana University Bloomington
  43. Lorenzo Maniscalco verified email University of Turin
  44. Daniel Disegni ORCID Mathematics, Aix-Marseille University
  45. Yu Shen verified email Michigan State University
  46. Sam Farnsworth verified email University of California, Los Angeles
  47. Jackson Walters ORCID Adjunct Faculty, Northern Virginia Community College
  48. Sean Lawton ORCID Professor, George Mason University
  49. Andreas Rasvanis verified email Amherst College
  50. Karun Ram Axiom Math
  51. Emil Geisler ORCID PhD Student, UCLA
  52. Ekkehart Latzko Pensioner
  53. Javier Gomez-Serrano ORCID Brown University
  54. Michael Coons verified email California State University, Chico
  55. Jasper Lee verified email University of Illinois Urbana-Champaign and Axiom Math
  56. Anthony Dooley ORCID University of Technology Sydney
  57. Jonathan Gorard ORCID Princeton University
  58. Nat Sothanaphan ORCID Independent
    Comment

    I support co-existence and co-evolution of AI and humans in all endeavors. As with any fundamental change, participants must take responsibility in preserving their shared values and actively shape the future to enable flourishing. Used wrongly, and AI can itself become unprecedented threat collapsing such hope for progress. Used correctly, AI will transform how humans perform mathematical activities and bring about novel opportunities. Care is paramount in transitioning us from existing practices and to avoid preventable harm. The present Declaration outlines pragmatic considerations regarding how to proceed and aids our collective understanding of the developing situation. I wish that the goal of the Declaration will come about as envisioned.

  59. Matthias Beck ORCID San Francisco State University
  60. Simon Smith ORCID Associate Professor, University of Lincoln
    Comment

    This is a well thought through, moderate, and timely statement that I wholeheartedly endorse.

  61. Alberto Chiarini ORCID Professor (Associate), Università degli Studi di Padova
  62. Andrei Fabian verified email Masters Student, Georg-August Universität Göttingen
  63. Anand Deopurkar ORCID Mathematical Sciences Institute, Australian National University
  64. NICOLA ARCOZZI ORCID University of Bologna
    Comment

    I sign, although I think that one point in the declaration already belongs to to the past: "Mathematical arguments are regarded as transparent and subject to independent verification. They may be extremely long or difficult, but in principle no proprietary knowledge or equipment should be required to understand them." It should be asked that researchers communicating mathematics continue to make the effort of making sense of what they are communicating and doing, as humans in a human community.

  65. Rafaël Houkes Leiden University
  66. Joshua O'Connor verified email University of Oregon
  67. Athelstan Carlton verified email Virginia Commonwealth University
  68. Christopher Henson ORCID Computer Science, Drexel University
  69. Yoh Tanimoto ORCID Università di Roma "Tor Vergata"
  70. Shravan Patankar ORCID KPIT Technologies
  71. Andreas Mountakis ORCID Boas Assistant Professor, Northwestern University
  72. Daniel Glasscock ORCID Assistant professor, University of Massachusetts Lowell
  73. Phuong Khanh Tran Nguyen verified email Graduate Employee, University of Oregon
  74. Eric Dolores Cuenca ORCID Yonsei University
  75. Daniel Reichman ORCID CS Professor at WPI
  76. Çetin Kaya Koç verified email University of California, Santa Barbara
    Comment

    I also sign and agree with Leiden Declaration on AI and Math.

  77. Evan Chen ORCID PhD, Massachusetts Institute of Technology
  78. Michel Alexis ORCID Assistant Professor, Clemson University
  79. Frank Vallentin ORCID University of Cologne
  80. Yves Grandjean ORCID Mentor, CERN Alumni
  81. Rachel Li verified email Axiom Math & Massachusetts Institute of Technology
  82. Stefano Mereta ORCID Assistant professor, Cunef Universidad
  83. Alastair Litterick ORCID Senior Lecturer in Mathematics, University of Essex
  84. Marcello Seri ORCID Associate Professor, University of Groningen
  85. Nicolás Matte Bon ORCID CNRS, Université Claude Bernard Lyon 1
  86. John Baldwin ORCID Professor, Boston College
  87. Catherine Sulem ORCID University of Toronto, Professor
  88. Leonardo Franchi verified email University of Cambridge
  89. Tamio-Vesa Nakajima ORCID Research Fellow, Philipps University of Marburg
  90. Stefan Teufel ORCID Professor, University of Tübingen
  91. Sigurd Angenent ORCID Professor (emeritus since 2023), University of Wisconsin-Madison
  92. Houston Haynes ORCID University of North Carolina at Asheville
  93. Asilata Bapat ORCID Senior Lecturer, Australian National University
  94. Jonas Deré ORCID Professor, KU Leuven
  95. Kent Morrison ORCID Emeritus Professor, California Polytechnic State University
  96. Temur Kutsia verified email RISC, Johannes Kepler Universität Linz
  97. Birgit Richter ORCID Professor of Mathematics, University of Hamburg
  98. Apostolos Beligiannis verified email University of Ioannina
  99. Theodor Nenu verified email Institute for Ethics in AI, University of Oxford
  100. Nima Rasekh ORCID Postdoctoral Resesarcher, Universität Greifswald