Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
4443 Signatories
  1. Rustam Turdibaev ORCID New Uzbekistan University
  2. Haiyang Xu ORCID University of Illinois Urbana-Champaign
  3. Xinwei Niu ORCID University of Edinburgh
  4. Yu LUO ORCID Massachusetts Institute of Technology
  5. Hiroyasu Miyazaki ORCID Senior Researcher, NTT (Japan)
  6. Attila Egri-Nagy ORCID Professor, Akita International University
  7. WeiFeng Qi ORCID Shanghai Ocean University
    Comment

    Artificial intelligence is an era that makes ordinary mathematicians pessimistic.

  8. Robert Jacobson ORCID Solutions Architect, Peraton, Inc.
  9. Emanuel József Godfried ORCID PhD student, University of Melbourne
  10. Cagatay Kutluhan ORCID University at Buffalo
  11. Ibrohim Nosirov ORCID Graduate Student, Cornell University
  12. 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.

  13. Zaifeng Lin ORCID Texas A&M University
  14. Qikun Xiang ORCID Doctor of Philosophy, Nanyang Technological University
  15. Jeremy Chen ORCID University of Cambridge
  16. Alexander S. Wein ORCID University of California, Davis
  17. Jiangxue Han ORCID Bachelor of Science, Northeastern University
  18. masato wakayama ORCID Kyushu University
  19. Nitin Rughoonauth verified email University of Mauritius
  20. 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.

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

    I completely support the statement.

  29. Drew Mills ORCID
  30. 晓斌 吴 ORCID Nanjing University of Science and Technology
  31. Rayan Oufar ORCID Phd Student, Aix-Marseille Université
  32. Ilya Dumanski verified email Massachusetts Institute of Technology
  33. Chenxi Wu ORCID UW Madison
  34. frumencio.co@dlsu.edu.ph verified email De La Salle University
  35. Po-Lam Yung ORCID Associate Professor, The Australian National University
  36. 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.

  37. Saúl Rodríguez Martín ORCID PhD Student, The Ohio State University
  38. jianxin you ORCID Université de Montréal
  39. Alexander Bastien ORCID University of Evansville
  40. Jianxin You verified email Université de Montréal
  41. Marisa Cantarino ORCID Postdoctoral Researcher, Center for Mathematical Modeling (CMM)
  42. Adam Topaz ORCID University of Alberta, Mathlib Initiative
  43. Yuhao Gu ORCID Student, Sun Yat-sen University
  44. Benjamín Mendieta verified email Universidad de Concepcion
  45. Yanqing Wang ORCID Southwest University
  46. Ahmed I. Zayed verified email DePaul University
  47. Joshua Lampert ORCID PhD student, University of Hamburg
  48. Stepan Nesterov verified email Stanford University
  49. Edgar Jaskó verified email Mathematics Student at KU Leuven
  50. Sylvain Carrozza ORCID Institut de Mathématiques de Bourgogne, Université Bourgogne Europe
  51. Zhaobo (Tom) Han verified email University of California, Los Angeles
  52. 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.

  53. Junyan Zhao ORCID
  54. Adi Sudrajat verified email Universitas Gadjah Mada
  55. Sara Lombardo ORCID Professor of Mathematics, Maxwell Institute for Mathematical Sciences & Heriot-Watt University, Edinburgh
  56. Karl Liechty ORCID Professor, DePaul University
  57. Nikolaos Chalmoukis ORCID University of Milano-Bicocca
  58. Zhilin Luo ORCID Assistant professor, Purdue University
  59. Daniel Tedeschi ORCID Colorado State University
  60. Chiara Travesset verified email University of Wisconsin - Madison
  61. Roger B. Nelsen verified email Professor Emeritus, Lewis & Clark College
  62. William Gottschalk ORCID Assistant Professor, Duke University
  63. Márton Balázs ORCID Professor of Probability, University of Bristol
  64. Rio Haeussler Albi ORCID PhD Student, University of Wisconsin–Madison
  65. Aayush Verma ORCID
  66. Gaia Carenini verified email University of Cambridge
  67. Dihua Jiang ORCID Professor of Mathematics, University of Minnesota
  68. Andres Moran Lamas verified email Purdue University
  69. Xinjie He verified email University of California, Los Angeles
  70. Dirk Peschka ORCID Weierstrass-Institut für Angewandte Analysis und Stochastik
  71. Erkan Malcok verified email Open University
  72. Lukas Daniel Klausner ORCID University of Applied Sciences St. Pölten
  73. Félicien Comtat ORCID Mathematisches Institut, Rheinische Friedrich-Wilhelms-Universität Bonn
  74. Sultan Salem Atiyah verified email Middle East Technical University
  75. Ignacio Zalduendo verified email Universidad Torcuato di Tella
  76. Grant McGinnis MiraCosta College
  77. Rathindra Nath Karmakar ORCID Research Student, Kyushu University
  78. Paul Aaron Reichert ORCID Lean Focused Research Organization
  79. Marina Iliopoulou verified email University of Athens
  80. Leonid Petrov ORCID Professor of Mathematics, University of Virginia
  81. Marjorie Senechal verified email Smith College
  82. Philipp Schlicht ORCID Researcher, University of Siena
  83. Pedro Fernando Morales-Almazan ORCID Teaching Professor, University of California, Santa Cruz
  84. Yang Zhang ORCID PhD student, EPFL
  85. Alp Dicle ORCID Student, Middle East Technical University
  86. Rui Manuel Castro ORCID Eindhoven University of Technology
  87. Hans Maassen ORCID Radboud University Nijmegen, NL
  88. Brian Conrad verified email Professor of Mathematics, Stanford University
  89. Walter van Suijlekom ORCID Professor, Radboud University
  90. Guido De Philippis ORCID University of Padua
  91. Rushil Raghavan verified email University of California, Los Angeles
  92. Aylin Ambriz verified email University of California, Berkeley
  93. Malbor Asllani ORCID Assistant Professor, Florida State University
  94. Heather Harrington ORCID Professor, Univ of Oxford and Director, Max Planck Institute
  95. Arno Kuijlaars ORCID Professor of Mathematics, KU Leuven
  96. cedric chauve ORCID Mathematics, Simon Fraser University
  97. Samuel B. Hopkins verified email Massachusetts Institute of Technology
  98. Corijn Rudrum verified email London School of Geometry and Number Theory
  99. Max Horn ORCID CI Professor, RPTU University Kaiserslautern-Landau
  100. Florian Herzig ORCID Professor, University of Toronto