Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
3132 Signatories
  1. Robert Jacobson ORCID Solutions Architect, Peraton, Inc.
  2. Emanuel József Godfried ORCID PhD student, University of Melbourne
  3. Cagatay Kutluhan ORCID University at Buffalo
  4. Ibrohim Nosirov ORCID Graduate Student, Cornell University
  5. 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.

  6. Zaifeng Lin ORCID Texas A&M University
  7. Qikun Xiang ORCID Doctor of Philosophy, Nanyang Technological University
  8. Jeremy Chen ORCID University of Cambridge
  9. Alexander S. Wein ORCID University of California, Davis
  10. Jiangxue Han ORCID Bachelor of Science, Northeastern University
  11. masato wakayama ORCID Kyushu University
  12. Nitin Rughoonauth verified email University of Mauritius
  13. Jennifer Schultens ORCID Professor, University of California
  14. Ziqiao Xu Undergraduate student
  15. Yi Cao verified email University of California, Irvine
  16. Nikolay Kolev ORCID Codery LLC
  17. Diogo Sampaio da Silva ORCID Doutorado, UFPEL
  18. Matthew Sottile ORCID Researcher, Lawrence Livermore National Laboratory
  19. Tomás A. Revilla ORCID Lecturer, Přírodovědecká Fakulta Jihočeská Univerzita v Českých Budějovicích
  20. Imran Anwar ORCID Associate Professor/Dr., Lahore University of Management Sciences
    Comment

    I completely support the statement.

  21. Drew Mills ORCID
  22. 晓斌 吴 ORCID Nanjing University of Science and Technology
  23. Rayan Oufar ORCID Phd Student, Aix-Marseille Université
  24. Ilya Dumanski verified email Massachusetts Institute of Technology
  25. Chenxi Wu ORCID UW Madison
  26. Po-Lam Yung ORCID Associate Professor, The Australian National University
  27. 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.

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

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