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. MERT ÇAĞLAR ORCID Faculty Member/Professor, TC İstanbul Kültür Üniversitesi
  2. Quan Lam Nhat ORCID LIGM, Gustave Eiffel University, Paris, France
  3. David T.-B. G. Lilienfeldt ORCID Monge Professor, École Polytechnique
  4. Tommaso Benacchio ORCID Senior Consultant, Danish Meteorological Institute
  5. Peter Suhajda verified email KTH Royal Institute of Technology
  6. Erik Koelink verified email Radboud University
  7. Carmelo Puliatti ORCID Universitat Autònoma de Barcelona
  8. Ziyong Cheong ORCID PhD Student, Chalmers University of Technology
  9. David Solomon ORCID IMJ-PRG
  10. Stuart Martin ORCID Professor, University of Cambridge
  11. Amruta Vasudevan ORCID University of Liverpool
  12. Sultan Sial ORCID Lahore University of Management Sciences
  13. Chris Hone verified email University of Copenhagen
  14. Vitezslav Kala ORCID Charles University
  15. Shenyu Liu ORCID Assistant professor, Beijing Institute of Technology
  16. Gennadiy Averkov ORCID BTU Cottbus-Senftenberg
  17. Hazel Remmen verified email TU Delft, BSc Applied Mathematics
  18. Qing Liu ORCID Professeur, Université de Bordeaux
  19. Stamatios Papadakis ORCID Assistant Professor, University of Crete
  20. James Farre ORCID Max Planck institute for mathematics in the sciences
  21. Sascha Troscheit ORCID Associate Professor, Uppsala universitet
  22. Florent Domenach ORCID Professor, Director & Founder of Human & AI Center, Akita International University
  23. Alex Heinis Completed maths studies at UVA (University of Amsterdam), received my PHD title at Leiden University.
    Comment

    I completely agree with the statement and I think it's a good initiatitive. Out of curiosity I used AI a few times within the domain of recreational maths/problem solving. Results were often false, proofs were often fakesolves and entering a problem a few times at different times, the answers were completely different (which may be good), but sometimes the answers contradicted eachother (which is bad).

  24. Tafari Clarke-James A.I. Researcher & Mathematical Thinker
  25. P.G.L. Porta Mana ORCID Associated Professor in Physics, Western Norway University of Applied Sciences
  26. Alex Rewegan verified email Technoscience Research Unit, University of Toronto
  27. Abhay Chaudhary verified email PhD Student- The Ohio State University
  28. Charles Steinhorn ORCID Vassar College and CBMS
  29. Hongjie Zeng ORCID Graduate Student/Teaching Assistant, University of California, Santa Barbara
    Comment

    As a graduate student, I, as well as many of my peers, face the challenge of adapting to the changes AI has brought to both research and teaching. This declaration, while reaffirming the fundamental values that we hold dear as mathematicians driven by intellectual curiosity, has provided valuable insights and recommendations on the proper use of AI technology not only in mathematics but across academia. I fully endorse the rationale behind this declaration.

  30. Luz de Teresa ORCID Investigadora Titular C, Universidad Nacional Autónoma de México
  31. Derek Chen verified email Ohio State University - Columbus
  32. Pranav Srinivasan Mathematics teacher & Higher Mathematics student, Chennai
  33. Martin Weissman ORCID Professor of Mathematics, UC Santa Cruz
  34. Kristoffer Caballero ORCID Independent Researcher/KC Universal Publishing
    Comment

    Pursuance in venturing into independent, sole-proprietary research, with no (current) affiliation with any institution, facility, or organization, led me to publicly acknowledge Leiden's well-written declaration. Exercising ethical transparency in our work is a must: ensuring integrity, authenticity, and honesty over the findings we discover. Presentation of (new) tools get used and abused all the time, hoping the latter never gets in our way in presenting our final publication/proof.

  35. Sangwook Lee ORCID Assistant professor, Soongsil University
  36. Zaiyu Zhang ORCID Student, New York University
  37. Bangquan Wu Undergraduate Student，North China University of Water Resources and Electric Power
  38. 李明 ORCID
  39. Rustam Turdibaev ORCID New Uzbekistan University
  40. Haiyang Xu ORCID University of Illinois Urbana-Champaign
  41. Xinwei Niu ORCID University of Edinburgh
  42. Yu LUO ORCID Massachusetts Institute of Technology
  43. Hiroyasu Miyazaki ORCID Senior Researcher, NTT (Japan)
  44. Attila Egri-Nagy ORCID Professor, Akita International University
  45. WeiFeng Qi ORCID Shanghai Ocean University
    Comment

    Artificial intelligence is an era that makes ordinary mathematicians pessimistic.

  46. Robert Jacobson ORCID Solutions Architect, Peraton, Inc.
  47. Emanuel József Godfried ORCID PhD student, University of Melbourne
  48. Cagatay Kutluhan ORCID University at Buffalo
  49. Ibrohim Nosirov ORCID Graduate Student, Cornell University
  50. Haoyang Guo verified email Assistant Professor, University of Minnesota
    Comment

    The artificial intelligence has the potential to accelerate the advancement of mathematical research once used appropriately, yet it also has the danger of impairing the core values of mathematics, especially in the young and future generations. I appreciate this joint effort of our community for initiating this declaration, which happens at the right time.

  51. Zaifeng Lin ORCID Texas A&M University
  52. Qikun Xiang ORCID Doctor of Philosophy, Nanyang Technological University
  53. Jeremy Chen ORCID University of Cambridge
  54. Alexander S. Wein ORCID University of California, Davis
  55. Jiangxue Han ORCID Bachelor of Science, Northeastern University
  56. masato wakayama ORCID Kyushu University
  57. Nitin Rughoonauth verified email University of Mauritius
  58. Raúl M. Cruz-Mireles International Center L.F.K. Tischendorf for Training in Biblical Sciences.
    Comment

    It is essential to limit all new technologies through legal actions agreed upon by all interested fields, and AI is probably the most urgent of these.

  59. Jennifer Schultens ORCID Professor, University of California
  60. Ziqiao Xu Undergraduate student
  61. Yi Cao verified email University of California, Irvine
  62. Nikolay Kolev ORCID Codery LLC
  63. Diogo Sampaio da Silva ORCID Doutorado, UFPEL
  64. Matthew Sottile ORCID Researcher, Lawrence Livermore National Laboratory
  65. Tomás A. Revilla ORCID Lecturer, Přírodovědecká Fakulta Jihočeská Univerzita v Českých Budějovicích
  66. Imran Anwar ORCID Associate Professor/Dr., Lahore University of Management Sciences
    Comment

    I completely support the statement.

  67. Drew Mills ORCID
  68. 晓斌 吴 ORCID Nanjing University of Science and Technology
  69. Rayan Oufar ORCID Phd Student, Aix-Marseille Université
  70. Ilya Dumanski verified email Massachusetts Institute of Technology
  71. Chenxi Wu ORCID UW Madison
  72. frumencio.co@dlsu.edu.ph verified email De La Salle University
  73. Po-Lam Yung ORCID Associate Professor, The Australian National University
  74. Irfan Alam ORCID Postdoctoral Fellow, University of Toronto Scarborough
    Comment

    It is important to reflect on the significance of the current moment in mathematical history. What sort of values do we want to inculcate in the mathematics students of the future? If we are not deliberate in understanding these values judiciously right now, then we run the risk of one of the oldest human arts to become a commodity that no longer provides "human flourishing" in the future. We must be very careful. I wholeheartedly welcome this declaration and the much-needed dialogue in the wider community that it must generate.

  75. Saúl Rodríguez Martín ORCID PhD Student, The Ohio State University
  76. jianxin you ORCID Université de Montréal
  77. Alexander Bastien ORCID University of Evansville
  78. Jianxin You verified email Université de Montréal
  79. Marisa Cantarino ORCID Postdoctoral Researcher, Center for Mathematical Modeling (CMM)
  80. Adam Topaz ORCID University of Alberta, Mathlib Initiative
  81. Yuhao Gu ORCID Student, Sun Yat-sen University
  82. Benjamín Mendieta verified email Universidad de Concepcion
  83. Yanqing Wang ORCID Southwest University
  84. Ahmed I. Zayed verified email DePaul University
  85. Joshua Lampert ORCID PhD student, University of Hamburg
  86. Stepan Nesterov verified email Stanford University
  87. Edgar Jaskó verified email Mathematics Student at KU Leuven
  88. Sylvain Carrozza ORCID Institut de Mathématiques de Bourgogne, Université Bourgogne Europe
  89. Zhaobo (Tom) Han verified email University of California, Los Angeles
  90. Austin Alderete ORCID Mathematics
    Comment

    There are infinitely many theorems that might be proved within the accepted framework of modern mathematics. Of these, only finitely many will be of relevance, interest, and beauty to humanity. Because of this, humans have indispensable role in guiding mathematical exploration. Already, AI generation makes it easy to flood journals with technically correct and complex papers that would serve no purpose other than to be published, increasing the workload of reviewers while producing little of human merit. Moreover, even when problems are relevant to humans- mathematics as a field seeks not just an answer, but to share understanding with other people- a proof understood only by a computer or a single person is a proof that does not deepen our collective insight. It might provide utility in application, but does not provide a satisfying "why". This means that the communication of mathematics must also be human, so we have an obligation to be transparent when we do use AI and an obligation to personally understand any output we use (in the sense that we can follow and validate the chain of reasoning, but not necessarily the raw computations). While we may eventually widely adopt the use of AI in mathematical research, if we should do, we should do so thoughtfully with respect to the above and other ethical concerns. This declaration is a good start and I support this community effort and discussion.

  91. Junyan Zhao ORCID
  92. Adi Sudrajat verified email Universitas Gadjah Mada
  93. Sara Lombardo ORCID Professor of Mathematics, Maxwell Institute for Mathematical Sciences & Heriot-Watt University, Edinburgh
  94. Karl Liechty ORCID Professor, DePaul University
  95. Nikolaos Chalmoukis ORCID University of Milano-Bicocca
  96. Zhilin Luo ORCID Assistant professor, Purdue University
  97. Daniel Tedeschi ORCID Colorado State University
  98. Chiara Travesset verified email University of Wisconsin - Madison
  99. Roger B. Nelsen verified email Professor Emeritus, Lewis & Clark College
  100. William Gottschalk ORCID Assistant Professor, Duke University