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. Soumendu Sundar Mukherjee verified email Indian Statistical Institute, Kolkata
  2. Emanuele CAGLIOTI ORCID Full professor, Sapienza – Università di Roma
  3. Didier PILOD ORCID Professor, Mathematics Department, University of Bergen
  4. Dan Simpson Dean of Faculty of IT (retired)
  5. Léo Schelstraete ORCID postdoctoral fellow, Max Planck Institute for Mathematics
  6. Daniel Alvarez-Gavela ORCID Brandeis University
  7. Mark Spindler ORCID Teaching and Training Specialist | Gateway Computing, Johns Hopkins University
  8. Cosimo Perini Brogi ORCID Assistant Professor, IMT School for Advanced Studies Lucca
  9. Saurabh Hinduja ORCID Independent Researcher
  10. Büşra Sert ORCID Scientific Researcher, Deutsches Zentrum für Luft- und Raumfahrt
  11. Valentijn van der Land verified email Utrecht University
  12. Sven Möller ORCID Assistant Professor, Maynooth University
  13. Jonathan Mestel, Professor of Applied Mathematics verified email Imperial College London
  14. Nebojsa Pavic University of Graz
  15. Lorenzo Quintavalle ORCID Università degli Studi di Torino
  16. Victor Dubach ORCID PostDoc, Uppsala universitet
  17. Bikram Halder verified email Indian Statistical Institute
  18. Jiacheng Miao ORCID PostDoc Position, Dalian Jiaotong University
  19. Effie Papageorgiou ORCID Paderborn University
  20. Daattavya Aggarwal ORCID PhD Student, University of Cambridge
  21. Vito Crismale verified email University of Roma "La Sapienza"
  22. Denjoe O'Connor ORCID Dublin institute for Advanced Studies, School of Theoretical Physics
  23. Filippo Cagnetti ORCID University of Parma
  24. Lawk Mineh ORCID Postdoctoral researcher, Rheinische Friedrich-Wilhelms-Universität Bonn
  25. Aaron Hofer ORCID Max Planck Institute for Mathematics
  26. Mohamed Elhamdadi ORCID Full Professor, University of South Florida
  27. Kaitlin Ragosta ORCID Mathematics, Euskal Herriko Unibertsitatea
  28. Antoine Henrot ORCID Institut Elie Cartan de Lorraine - Nancy (France)
  29. Frederick Steven Wells ORCID University of Auckland
  30. Michael Byczkowski ORCID
  31. Jean-Marc Schlenker ORCID Professor, Université du Luxembourg
  32. Yuansi Chen ORCID Associate Professor, ETH Zurich
    Comment

    Don’t believe the hype.

  33. Thomas Schmidt ORCID Professor, Universität Hamburg
  34. yangmao yuan ORCID
  35. Jan Bruinier ORCID Professor of Mathematics, TU Darmstadt
  36. Austin Anderson Univ. of Hawaii PhD, founder of mathgod.org. Mission: free for all forever
    Comment

    Universities surely contain, as faculty and students, many beacons of the best future for humanity, but academia is not immune from misaligned incentives (tenured faculty who teach poor asynchronous online classes are an example). Don't nerf the proof tools so that only university faculty can access them. Public, no qualifier such as "University", is what I am signing for.

  37. Chung Lok Andrew Ng ORCID Ph.D student, Universität Bonn
  38. Andreas Bode verified email Bergische Universität Wuppertal
  39. David Aretz ORCID Max Planck Institute for Mathematics
  40. Athanase Papadopoulos ORCID Institut de Recherche Mathématique Avancée, Université de Strasbourg et CNRS
  41. Mile Krajcevski ORCID Associate Professor, University of South Florida
  42. Volker Mehrmann ORCID Technische Universität Berlin
  43. Daniel Hirschkoff ORCID Computer Science, ENS de Lyon
  44. Connor Lane verified email University of California, Santa Barbara
    Comment

    I have had my life positively affected by the human communities built around interest in mathematics, and I wish that myself and others can enjoy them for years to come.

  45. Carla Cederbaum ORCID Professor of Mathematics, Eberhard Karls Universität Tübingen
  46. Daniil Rudenko verified email University of Chicago
  47. Karan Srivastava ORCID University of Wisconsin-Madison
  48. Yann LeCun verified email New York University
  49. Jun Cao ORCID Professor, Zhejiang Univerisity of Technology
  50. Grigoriy Blekherman ORCID Mathematics, Georgia Institute of Technology
  51. Eyad Loutfi verified email University of Illinois Urbana-Champaign
  52. Esmeralda S. Whitammer ORCID School of Informatics, University of Edinburgh
  53. Miguel M.G. Pascual-Caballo ORCID Instituto de Ciencias Matemáticas, Institute of Mathematical Sciences
  54. Vikram Jadhao ORCID Indiana University Bloomington
  55. Chenle WANG ORCID
  56. Ivon Dorado ORCID Associate professor, Universidad Nacional de Colombia
  57. Roberto Natalini ORCID Director, Consiglio Nazionale delle Ricerche
  58. Mees Grimm Mathematics student, Leiden University
  59. Ulisse Stefanelli ORCID Professor, Universitat Wien
  60. Shashank Singh IIM Ahmedabad
  61. Elon Lindenstrauss verified email Institute for Advanced Study
    Comment

    Thank you for drafting this thoughtful declaration. It is our responsibility to ensure that mathematics will continue to thrive, with AI helping accelerate mathematical research and help us do deeper mathematics. We need to make sure, however, that the future of mathematics is not dependent on the good will of a couple of commercial entities.

  62. Peter Auer ORCID Technical University of Leoben (000)
  63. Xiaowei Wang ORCID Doctoral Student, University of Potsdam
    Comment

    The contributions of AI to mathematics have been excessively exaggerated and sensationalized in Chinese social media, to the point of causing occupational anxiety. This trend must be curbed.

  64. Giuseppe Melfi ORCID University of Neuchâtel
  65. Benoît Bonnet-Weill ORCID Chargé de Recherche CNRS, Laboratoire des Signaux et Systèmes (L2S)
  66. Xavier Généreux ORCID Ludwig-Maximilians-Universität München
  67. Nina Kamcev ORCID University of Zagreb
  68. Peter Spreij ORCID University of Amsterdam
  69. Bik Soon Sia ORCID PHD student, Tsinghua University
  70. Kasso Okoudjou ORCID Robinson Professor of Mathematics, Tufts University
  71. Rotem Assouline ORCID Institut de mathématiques de Jussieu – Paris Rive Gauche
  72. Marcio Aurelio Soares Santos ORCID Managing Partner, Tridon
  73. Georg Nawratil ORCID TU Wien, Senior Scientist
  74. Alex McAvoy ORCID Assistant Professor, University of North Carolina at Chapel Hill
  75. Rob Arthan Honorary lecturer at Queen Mary University of London
  76. Konrad Burnik ORCID Independent Researcher
  77. Xinyang Liu verified email University of Calgary
  78. Pablo Barenbaum ORCID CONICET
  79. Sondre Kvamme ORCID Associate Professor, Norwegian University of Science and Technology
  80. François Ziegler ORCID Associate Professor, Georgia Southern University
    Comment

    The AI chatbots/“summaries” behave like loudmouth vandals with no manners. They show up uninvited, serve what they know without due credit to authors (whether by formal CC BY-SA or simple decency), and when they don’t, keep making up one wrong answer after another rather than acknowledge ignorance, even when asked to. They mislead students into believing that nothing is worth learning anymore, and to that end, completely misrepresent both the nature of mathematics (“problem solving” vs. creation of language and understanding) and their machines’ allegedly “unaided” successes. Their ethos to “get things wrong first and hope to fix later” is antithetical to ours as mathematicians.

  81. Thomas Selig ORCID Associate Professor, Xi'an Jiaotong-Liverpool University
    Comment

    I support this excellent declaration.

  82. oliver knill verified email Harvard University
  83. Luis Narváez Macarro ORCID Catedrático, Universidad de Sevilla
  84. Massimiliano Morini ORCID University of Parma
  85. Tudor Micu ORCID Assistant Professor, Babeș-Bolyai University
  86. Maria Chiara Ricciuti ORCID Imperial College London
  87. Zoran Vondraček ORCID University of Zagreb
  88. 秦宇轩 (QIN Yuxuan) verified email Student, Jilin University
  89. Christine Huyghe CNRS, Université Marie et Louis Pasteur, Besançon, France
  90. Stephen Kudla ORCID University of Toronto
  91. Mani A ORCID Scientist, Indian Statistical Institute
  92. Xiaoyu ZHANG ORCID Research Assistant, University of Duisburg-Essen
  93. Samuel Petite ORCID Professeur des Universités, Université de Picardie Jules Verne
  94. B. David Redman, Jr. verified email Delta College
  95. Markus Reineke ORCID Professor of Algebra, Ruhr University Bochum
  96. Benjamin Hackl ORCID University of Graz
  97. Donatella Iacono ORCID Mathematics, Università degli Studi di Bari Aldo Moro
  98. Muriel Botey ORCID Full Profesor, Universitat Politècnica de Catalunya
  99. Feng Su verified email Xi'an Jiaotong-Liverpool University
  100. Clemens Heuberger ORCID University of Klagenfurt