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. Jochen Wengenroth ORCID Trier University
  2. Lorenzo Riva verified email Harvard University CMSA
  3. Talia Ringer ORCID University of Illinois Urbana-Champaign
  4. William Keith ORCID Associate Professor, Michigan Technological University
  5. 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.

  6. Ritoban Roy-Chowdhury ORCID CS and Mathematics at UC San Diego, EECS PhD student at MIT
  7. Andrei Pavelescu ORCID University of South Alabama, Professor
  8. Michael R. Zeng ORCID PhD Student, University of Washington
  9. Matthew Zaremsky ORCID U Albany (SUNY)
  10. Ashton Keith verified email Purdue University
  11. 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."

  12. Marco Guerra ORCID Senior Postdoc, IMATI
  13. Sasha Zotine ORCID Postdoc, Universität des Saarlandes
  14. Christian Lubich ORCID Professor, University of Tübingen
  15. Renaud Lambiotte ORCID Professor, University of Oxford
  16. Chris Rogers verified email University of Nevada, Reno
  17. Jan Vonk ORCID Professor, Leiden University
  18. Dan Isaksen ORCID Professor, Department of Mathematics, Wayne State University
  19. Antoine Jacquier ORCID Department of Mathematics, Imperial College London
  20. Benjamin Jones verified email Arizona State University
  21. Manogya Singh Suryansh verified email IIT Delhi
  22. Jose Bonet ORCID Director, Universitat Politècnica de València
    Comment

    This is an important, very necessary declaration.

  23. Laura Ciobanu ORCID Professor, TU Berlin & Heriot-Watt University
  24. David Kinderlehrer ORCID Carnegie Mellon University
  25. Miguel Abreu ORCID University of Lisbon
  26. Jack Heaney verified email University of Edinburgh
  27. Cathal Seoighe ORCID School of Mathematical and Statistical Sciences, University of Galway
  28. Rahul Sarkar ORCID Postdoctoral Scholar, University of California, Berkeley
  29. Jeremy Avigad ORCID Professor, Carnegie Mellon University
  30. Kada Kalman ORCID University of Cambridge
  31. Timothy Porter ORCID Professor Emeritus, University of Bangor (retired)
  32. Tony Feng ORCID
  33. Maciej Dołęga ORCID Associate Professor, Institute of Mathematics of the Polish Academy of Sciences
  34. Max Weinreich ORCID Harvard University
  35. Mark Peletier ORCID Professor and group leader, Technische Universiteit Eindhoven
  36. Nakib Haider Protik verified email Humboldt-Universität zu Berlin
  37. Gareth Wilkes ORCID Associate Professor, University of Cambridge
  38. Guillermo Cortiñas ORCID IMaS-DM, FCEyN, Universidad de Buenos Aires and CONICET
  39. Alex Junior Gomez Saltachin verified email PUC-Rio
  40. 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.

  41. Avery Carr ORCID Independent Researcher
  42. Ingo Althöfer verified email Friedrich-Schiller Universität Jena, Retired
  43. Apabrito Bhattacharyya verified email Graduate Student, Michigan State University
  44. Cheni Yuki Yang verified email Ruprecht-Karls-Universität Heidelberg
  45. Reza Gheissari ORCID Northwestern University
  46. Mona Merling ORCID University of Pennsylvania
  47. Perla Sousi verified email University of Cambridge
  48. 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.

  49. Sean O'Brien verified email University of Glasgow
  50. Riley Shahar verified email University of Pennsylvania
  51. Chris Peters Prof. em., Univ. Grenoble Alpes, guest researcher Math. Inst. Leiden university
  52. Maciej Głuchowski ORCID
  53. Clemens Berger ORCID Professor, Université Côte d'Azur
  54. Guglielmo Nocera ORCID Postdoc researcher, Institut des Hautes Études Scientifiques
  55. Saraí Hernández-Torres ORCID Investigadora Asociada C, Universidad Nacional Autónoma de México Instituto de Matemáticas
  56. 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.

  57. Francis Su ORCID Benediktsson-Karwa Professor of Mathematics, Harvey Mudd College
  58. Pradip Kumar ORCID Shiv Nadar University Delhi
  59. Cary Malkiewich ORCID Assistant Professor, Binghamton University
  60. Francesco Fournier-Facio ORCID Herchel Smith Fellow, University of Cambridge
  61. Ian Selvaggi ORCID SISSA
  62. Thomas Kahle ORCID Professor, Otto von Guericke Universität Magdeburg
  63. Tomasz Tyranowski ORCID Assistant Professor, University of Twente
  64. Sagar Kumar Maity ORCID PhD student, S.N. Bose National Centre for Basic Sciences
    Comment

    A timely and important initiative. AI can expand mathematical exploration, but transparency, attribution, and human responsibility must remain central to the practice of mathematics.

  65. Matthew James Lynn verified email RWTH Aachen University
  66. Leo Herr ORCID Assistant Professor, Virginia Tech
  67. Yijie Diao ORCID
  68. Geoffrey Grimmett verified email University of Cambridge
  69. Jan De Beule ORCID Associate Professor, Vrije Universiteit Brussel
  70. Michael Joswig ORCID TU Berlin
  71. Giandomenico Orlandi ORCID Professor, Università degli Studi di Verona
  72. Jacob Platnick ORCID PhD Student, Georgia Institute of Technology
  73. Anoushka Nerella ORCID Graduate student, University of Colorado Boulder
  74. Ashvin Swaminathan ORCID Harvard University and AxiomMath
  75. Mauro Artigiani ORCID Profesor Asociado, Universidad Nacional de Colombia
  76. Marie Swartz verified email DePaul University
  77. Víctor Navarro-Fernández ORCID Imperial College London
  78. Christophe Smet verified email Delft University of Technology
  79. Johan Commelin verified email Utrecht University + Mathlib Initiative
  80. William Duke ORCID University of California, Los Angeles
  81. Sebastián Barbieri ORCID Universidad de Santiago de Chile
  82. Stefaan Vaes ORCID Professor of Mathematics, KU Leuven
  83. Ingrid Daubechies ORCID
  84. Vanessa Miemietz ORCID Professor in pure mathematics, University of East Anglia
  85. Prem Nigam Kar ORCID Assistant Professor, Instytut Matematyczny Polskiej Akademii Nauk
  86. Jonathan Grube verified email Utrecht University
  87. Bruno Schapira verified email Université Claude Bernard (Lyon I)
  88. Shamit Kachru verified email Stanford University and PDT Partners
  89. Jack McCarthy ORCID Masters Student, Stony Brook University
  90. Fabian Lekic verified email Student, University of Giessen
  91. Sarah Arpin ORCID Assistant Professor, Virginia Polytechnic Institute and State University
  92. Jon Wilkening ORCID Professor, University of California Berkeley
  93. Betsy Sinclair verified email Washington University, Saint Louis
  94. Adrian Muntean ORCID Professor, Karlstads Universitet
    Comment

    The mathematical community must increase its awareness of what currently happens around us and react appropriately, valuing high scientific standards.

  95. Christian Stump ORCID Professor, Ruhr-Universität Bochum
  96. Macarena Arenas ORCID University of Cambridge
  97. Sridhar Venkatesh ORCID Math Fellow, UCLA
  98. Matt Broe ORCID PhD student, Boston University
  99. Fabrice Baudoin ORCID Professor, Aarhus University
  100. Dan Freed ORCID Harvard University