Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
1488 Signatories
  1. Shaoyun Bai ORCID Assistant Professor, Massachusetts Institute of Technology
  2. Ada Chan ORCID York University
  3. Rommel Real ORCID Assistant Professor, University of the Philippines Mindanao
  4. Fidel Nemenzo University of the Philippines
  5. Jerry Gong verified email Johns Hopkins University
  6. Sheldon Axler ORCID Professor Emeritus, San Francisco State University
  7. Yu Wang ORCID Assistant Professor, Southwest Jiaotong University
  8. Kshitij Anand Patil verified email Simon Fraser University
  9. Elena Pavelescu ORCID Associate Professor, University of South Alabama
  10. Yukun Cai verified email Pennsylvania State University
  11. Sara Kalisnik Hintz ORCID Associate Professor, Pennsylvania State University
  12. Dimitri Mihaylov verified email University of Arizona
  13. Ruoxi Li ORCID Ph. D, University of Pittsburgh
  14. Sam Hopkins ORCID Associate Professor, Howard University
  15. Vincent Vatter ORCID Professor, University of Florida
  16. Marco Antonio Piedra Venegas verified email Universidad de Costa Rica
  17. Nicholas Beaton ORCID University of Melbourne
  18. Jiwoon Sim ORCID Graduate student, University of Alberta
  19. Blanka Horvath verified email University of Oxford
  20. Mihai Caragiu verified email Ohio Northern University
  21. Louis-Pierre Arguin ORCID City University of New York and University of Oxford
  22. Jyun-Ao Lin ORCID Assistant Professor, National Taipei University of Technology
  23. Changwei Zhou verified email State University of New York at Binghamton
  24. Cathy Li verified email University of Edinburgh
  25. Jiahe Zhang verified email New York University
  26. Sonja Mapes ORCID Northwestern University
  27. Yash Uday Deshmukh ORCID Member, Institute for Advanced Study
  28. T. Kyle Petersen ORCID Professor, DePaul University
  29. Quanlin Chen verified email Princeton University
  30. 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.

  31. Ricardo Menares ORCID Pontificia Universidad Católica de Chile
  32. Yohsuke Matsuzawa ORCID Associate professor, Osaka Metropolitan University
  33. Akhil Mathew ORCID University of Chicago
  34. Connor Olson verified email University of Washington
  35. Atsushi Yoshikawa verified email Faculty of Mathematics, Kyushu University
  36. Claudio Gonzales ORCID Assistant Professor, Carleton College
  37. 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.

  38. Agnishom Chattopadhyay ORCID Research Engineer, Imiron
  39. Peter Hintz ORCID Professor, Pennsylvania State University
  40. Sunay Joshi verified email University of Pennsylvania
  41. Deewang Bhamidipati ORCID Carleton College
  42. 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.

  43. Kostiantyn Drach ORCID Associate professor, Universitat de Barcelona
  44. Joris Roos ORCID University of Massachusetts Lowell
  45. María Isabel Cortez ORCID Associate Professor, Pontificia Universidad Católica de Chile
  46. Leonardo Fernandes Guidi ORCID IME/UFRGS
  47. 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.

  48. Tim Hsu ORCID Professor, San Jose State Univ.
  49. Scott MacLachlan ORCID Professor, Memorial University of Newfoundland
  50. Daniel Quigley ORCID Indiana University Bloomington
  51. Lorenzo Maniscalco verified email University of Turin
  52. Daniel Disegni ORCID Mathematics, Aix-Marseille University
  53. Yu Shen verified email Michigan State University
  54. Sam Farnsworth verified email University of California, Los Angeles
  55. Jackson Walters ORCID Adjunct Faculty, Northern Virginia Community College
  56. Sean Lawton ORCID Professor, George Mason University
  57. Andreas Rasvanis verified email Amherst College
  58. Karun Ram Axiom Math
  59. Emil Geisler ORCID PhD Student, UCLA
  60. Ekkehart Latzko Pensioner
  61. Javier Gomez-Serrano ORCID Brown University
  62. Michael Coons verified email California State University, Chico
  63. Jasper Lee verified email University of Illinois Urbana-Champaign and Axiom Math
  64. Anthony Dooley ORCID University of Technology Sydney
  65. Jonathan Gorard ORCID Princeton University
  66. 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.

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

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

  69. Alberto Chiarini ORCID Professor (Associate), Università degli Studi di Padova
  70. Andrei Fabian verified email Masters Student, Georg-August Universität Göttingen
  71. Anand Deopurkar ORCID Mathematical Sciences Institute, Australian National University
  72. 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.

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

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

  85. Evan Chen ORCID PhD, Massachusetts Institute of Technology
  86. Michel Alexis ORCID Assistant Professor, Clemson University
  87. Frank Vallentin ORCID University of Cologne
  88. Yves Grandjean ORCID Mentor, CERN Alumni
  89. Rachel Li verified email Axiom Math & Massachusetts Institute of Technology
  90. Stefano Mereta ORCID Assistant professor, Cunef Universidad
  91. Alastair Litterick ORCID Senior Lecturer in Mathematics, University of Essex
  92. Marcello Seri ORCID Associate Professor, University of Groningen
  93. Nicolás Matte Bon ORCID CNRS, Université Claude Bernard Lyon 1
  94. John Baldwin ORCID Professor, Boston College
  95. Catherine Sulem ORCID University of Toronto, Professor
  96. Leonardo Franchi verified email University of Cambridge
  97. Tamio-Vesa Nakajima ORCID Research Fellow, Philipps University of Marburg
  98. Stefan Teufel ORCID Professor, University of Tübingen
  99. Sigurd Angenent ORCID Professor (emeritus since 2023), University of Wisconsin-Madison
  100. Houston Haynes ORCID University of North Carolina at Asheville