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. David Savitt ORCID Professor, Johns Hopkins University
  2. Jonas Haferkamp Ruhr-University Bochum, Chair of Quantum Computing
  3. Charalampos Lemonidis ORCID Professor, University of Western Macedonia
  4. Max Figura ORCID Graduate Student, Purdue University
  5. Jorge Duarte ORCID Coordinator Professor with the Habilitation Title, Instituto Politécnico de Lisboa
  6. Livio Liechti ORCID University of Fribourg
  7. Vladik Kreinovich verified email University of Texas at El Paso
  8. Ramin Takloo-Bighash verified email Professor, University of Illinois Chicago
  9. Jaroslaw A. Wisniewski ORCID Professor, University of Warsaw
  10. Todd Kapitula verified email Calvin University
  11. Luc Mekouar verified email Student, University of Warwick
  12. Marco Varisco ORCID University at Albany, State University of New York
  13. Akın Ünal ORCID PostDoc, Institute of Science and Technology Austria
  14. Dion Gijswijt ORCID full professor, Technische Universiteit Delft
  15. Andrei Fabian Masters Student - Georg August University of Göttingen
  16. Ian Mann verified email Princeton University
  17. Peter Woit ORCID Columbia University
  18. Peter Schneider verified email Senior Professor, Universität Münster
  19. Daniel Monroe ORCID Axiom Math
  20. Henning Krause ORCID Professor, Bielefeld University
  21. Cristina Ballantine ORCID Professor, College of the Holy Cross
  22. Jānis Lazovskis ORCID University of Latvia
  23. Todd Davies ORCID Associate Director and Lecturer, Stanford University
  24. Alonso Castillo-Ramirez ORCID Profesor Titular A, Universidad de Guadalajara
  25. Bas Lemmens ORCID University of Kent
  26. Tomas Ortega ORCID Research Software Engineer, Princeton University
  27. Jim Fowler ORCID Associate Professor, The Ohio State University
  28. Pablo Groisman ORCID Professor, University of Buenos Aires
    Comment

    The development of these new technologies presents a significant challenge for our community. Reviewing our values and principles and discussing how we will address the changes they bring is essential. This declaration is an excellent first step in that direction.

  29. Anthony Várilly-Alvarado ORCID Professor, Rice University
  30. Xiaomeng Xu ORCID University of Southampton
  31. Miguel Martin ORCID Professor, Universidad de Granada, Spain
  32. Christopher Herald ORCID Professor, University of Nevada, Reno
  33. Michael Hartz ORCID Professor, Saarland University
  34. Charles Rezk ORCID Professor, University of Illinois
  35. Milos Vandelanoitte verified email Mathematics student at Vrije Universiteit Brussel
  36. Ulrich Pennig ORCID Senior Lecturer, Cardiff University
  37. Nabil Kazi-Tani verified email Université de Lorraine
  38. Stefan Jackowski ORCID Professor, University of Warsaw
  39. Jochen Wengenroth ORCID Trier University
  40. Lorenzo Riva verified email Harvard University CMSA
  41. Talia Ringer ORCID University of Illinois Urbana-Champaign
  42. William Keith ORCID Associate Professor, Michigan Technological University
  43. Emily Riehl ORCID Kelly Miller Professor, Johns Hopkins University
    Comment

    In Bill Thurston's timeless and timely essay "On proof and progress in mathematics" he writes: "...it is common for people first starting to grapple with computers to make large-scale computations of things they might have done on a smaller scale by hand. They might print out a table of the first 10,000 primes, only to find that their printout isn't something they really wanted after all. The discover by this kind of experience that what they really want is usually not some collection of "answers"---what they want is understanding." As mathematical proofs can be understood as a computation, or more precisely a construction, of sorts, Thurston's observation applies equally to the experience of many mathematicians with generative AI. I am glad to see the mathematical community come together to articulate our values, to support not just progress in mathematics but the vibrant community of human mathematicians that engage with it and for whom we are inspired to do the work of discovery, distillation, and distribution of mathematical insights.

  44. Ritoban Roy-Chowdhury ORCID CS and Mathematics at UC San Diego, EECS PhD student at MIT
  45. Andrei Pavelescu ORCID University of South Alabama, Professor
  46. Michael R. Zeng ORCID PhD Student, University of Washington
  47. Matthew Zaremsky ORCID U Albany (SUNY)
  48. Ashton Keith verified email Purdue University
  49. Tomasz Mrówka ORCID Professor of Mathematics at MIT
    Comment

    This is a thoughtful and timely declaration. The rise of the use of AI in mathematics brings to mind the opening of A Tale of Two Cities by Charles Dickens. "It was the best of times, it was the worst of times, it was the age of wisdom, it was the age of foolishness, it was the epoch of belief, it was the epoch of incredulity, it was the season of light, it was the season of darkness, it was the spring of hope, it was the winter of despair."

  50. Marco Guerra ORCID Senior Postdoc, IMATI
  51. Sasha Zotine ORCID Postdoc, Universität des Saarlandes
  52. Christian Lubich ORCID Professor, University of Tübingen
  53. Renaud Lambiotte ORCID Professor, University of Oxford
  54. Chris Rogers verified email University of Nevada, Reno
  55. Jan Vonk ORCID Professor, Leiden University
  56. Dan Isaksen ORCID Professor, Department of Mathematics, Wayne State University
  57. Antoine Jacquier ORCID Department of Mathematics, Imperial College London
  58. Benjamin Jones verified email Arizona State University
  59. Manogya Singh Suryansh verified email IIT Delhi
  60. Jose Bonet ORCID Director, Universitat Politècnica de València
    Comment

    This is an important, very necessary declaration.

  61. Laura Ciobanu ORCID Professor, TU Berlin & Heriot-Watt University
  62. David Kinderlehrer ORCID Carnegie Mellon University
  63. Miguel Abreu ORCID University of Lisbon
  64. Jack Heaney verified email University of Edinburgh
  65. Cathal Seoighe ORCID School of Mathematical and Statistical Sciences, University of Galway
  66. Rahul Sarkar ORCID Postdoctoral Scholar, University of California, Berkeley
  67. Jeremy Avigad ORCID Professor, Carnegie Mellon University
  68. Kada Kalman ORCID University of Cambridge
  69. Timothy Porter ORCID Professor Emeritus, University of Bangor (retired)
  70. Tony Feng ORCID
  71. Maciej Dołęga ORCID Associate Professor, Institute of Mathematics of the Polish Academy of Sciences
  72. Max Weinreich ORCID Harvard University
  73. Mark Peletier ORCID Professor and group leader, Technische Universiteit Eindhoven
  74. Nakib Haider Protik verified email Humboldt-Universität zu Berlin
  75. Gareth Wilkes ORCID Associate Professor, University of Cambridge
  76. Guillermo Cortiñas ORCID IMaS-DM, FCEyN, Universidad de Buenos Aires and CONICET
  77. Alex Junior Gomez Saltachin verified email PUC-Rio
  78. Callum Bates ORCID Mathematics tutor
    Comment

    The current use of artificial intelligence in mathematics greatly threatens core tenets of the field. We must be vigilant of private equity intruding into our field with overblown claims and profit-driven incentives. Any mathematician not in support of this declaration does not care about the field.

  79. Avery Carr ORCID Independent Researcher
  80. Ingo Althöfer verified email Friedrich-Schiller Universität Jena, Retired
  81. Apabrito Bhattacharyya verified email Graduate Student, Michigan State University
  82. Cheni Yuki Yang verified email Ruprecht-Karls-Universität Heidelberg
  83. Reza Gheissari ORCID Northwestern University
  84. Mona Merling ORCID University of Pennsylvania
  85. Perla Sousi verified email University of Cambridge
  86. JAMES BRASSEUR ORCID University of Colorado Boulder
    Comment

    The "Values," "Potential Threats," and four "Recommendations" sections in the Leiden Declaration on Artificial Intelligence and Mathematics are applicable to research that is directed at the advancement of scientific knowledge and understanding in general. The Leiden Declaration should be used as a starting point for a similar declaration directed at basic research in science.

  87. Sean O'Brien verified email University of Glasgow
  88. Riley Shahar verified email University of Pennsylvania
  89. Chris Peters Prof. em., Univ. Grenoble Alpes, guest researcher Math. Inst. Leiden university
  90. Maciej Głuchowski ORCID
  91. Clemens Berger ORCID Professor, Université Côte d'Azur
  92. Guglielmo Nocera ORCID Postdoc researcher, Institut des Hautes Études Scientifiques
  93. Saraí Hernández-Torres ORCID Investigadora Asociada C, Universidad Nacional Autónoma de México Instituto de Matemáticas
  94. James M Turner verified email Calvin University
    Comment

    The core goal to mathematics in teaching, research, and application should be the flourishing of human understanding. The use of AI tools can undermine this is in many different and damaging ways, as the statement of the statement outlines. I highly endorse the Leiden declaration and highly encourage everyone share this with their colleagues.

  95. Francis Su ORCID Benediktsson-Karwa Professor of Mathematics, Harvey Mudd College
  96. Pradip Kumar ORCID Shiv Nadar University Delhi
  97. Cary Malkiewich ORCID Assistant Professor, Binghamton University
  98. Francesco Fournier-Facio ORCID Herchel Smith Fellow, University of Cambridge
  99. Ian Selvaggi ORCID SISSA
  100. Thomas Kahle ORCID Professor, Otto von Guericke Universität Magdeburg