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. Jean-François Dat Professor, Sorbonne Université
  2. Jan Joris Vereijken ORCID
  3. Catherine Roberts ORCID Professor, College of the Holy Cross
  4. Sachal Abdullah Independent Researcher
  5. Pierre Marion ORCID Research faculty, INRIA Paris
  6. Stephan Raaijmakers ORCID Full professor of Communicative AI, Leiden University
  7. Martin Keller-Ressel ORCID Technische Universität Dresden
  8. marie-france vigneras Institut de Mathematiques de Jussieu, Universite de Paris-Cite, Emeritus professor
  9. Bryan Peng Jun Wang verified email Harvard University
  10. Ernesto Icogo ORCID Alumni Freiburg
  11. Femke Vrolijk verified email Erasmus School of Law
  12. Valerio Lucarini ORCID Professor of Applied Mathematics, University of Leicester
    Comment

    A wonderful and most timely declaration.

  13. Carla Jacqueline Huisman ORCID University of Amsterdam
  14. João Marcos ORCID Full Professor, Universidade Federal de Santa Catarina
  15. Jean Van Schaftingen ORCID Professor, UCLouvain
  16. Christopher Birkbeck ORCID Lecturer in pure maths, University of East Anglia
  17. John Baez ORCID Maxwell Fellow of Public Engagement, University of Edinburgh
    Comment

    I support this declaration. I have one small comment: the document notes that "Technologies which affect the way in which mathematics is practiced may disturb the current system of incentives." The current system of incentives seriously is flawed in many ways, and I don't think maintaining the status quo should be our goal. However, we should work to improve it, not let it be corrupted by outside forces, as has already been done for decades by university administrators, journal oligopolies, etc.

  18. Olivier Bruneau ORCID Associate Professor, Université de Lorraine
  19. Alberto Elduque ORCID Universidad de Zaragoza
  20. Sam Raskin ORCID
  21. John Cobb ORCID NSF Postdoc, Auburn University
  22. Eric Vergo ORCID Independent researcher
  23. Zbigniew Hajto ORCID Profesor nadzwyczajny, Uniwersytet Jagielloński
  24. Ralf Köhl ORCID Professor for Algebra, Christian-Albrechts-Universität zu Kiel
  25. Maarten Bullynck ORCID Maître de conférences, Université Paris 8
  26. Xuhua He ORCID University of Hong Kong
  27. Piotr Achinger ORCID IMPAN and KSE
  28. Hervé Le Dret ORCID Professor, Sorbonne Université
  29. Cordian Riener ORCID Professor, UiT Norges arktiske universitet
  30. Pantelis Tassopoulos verified email University of Cambridge
  31. Johan Slot ORCID Eindhoven University of Technology, Department of Mathematics and Computer Science, professor emeritus
  32. Martin Burger ORCID DESY and University of Hamburg
  33. Hélène Esnault ORCID Freie Universität Berlin
  34. Joel David Hamkins ORCID John Cardinal O'Hara Professor of Logic, University of Notre Dame
  35. Riccardo Brasca ORCID Maître de conférences, Université de Paris Faculté Sociétés et Humanités
  36. Dennis Hejhal verified email Professor, University of Minnesota and (emeritus) Uppsala University
  37. Sam Nariman ORCID Associate Professor, Purdue University System
  38. Anand Pillay ORCID University of Notre Dame
    Comment

    Well-written and thought-out statement, especially concerning the social and political issues.

  39. David Méndez ORCID Senior Scientist, Champalimaud Foundation
  40. Ana Caraiani ORCID Imperial College London
  41. Philippe Dreesen ORCID Maastricht University
  42. Yûsuke Okuyama ORCID Professor, Kyoto Institute of Technology
  43. Frédéric Le Roux ORCID Institut de Mathématiques de Jussieu-Paris Rive Gauche
  44. David Pritchard ORCID University of Strathclyde
  45. Bernard Teissier ORCID Emeritus director of Research, CNRS-Université Paris-Cité
  46. Yongchao Huang ORCID Department of Computing Science, University of Aberdeen
  47. Daniele Avitabile verified email Vrije Universiteit Amsterdam
  48. Eduard Campillo-Funollet ORCID Lancaster University
  49. Manuel Rivera ORCID Purdue University
  50. Steven Sivek ORCID Imperial College London
  51. Ben Green ORCID Mathematical Institute, University of Oxford
  52. Marc CHARDIN CNRS & Sorbonne Université
  53. Andrew Arana ORCID Faculty member / Enseignant-chercheur / Enseignante-chercheuse, Université de Lorraine
  54. Aki Härmä ORCID Assistant Professor, Maastricht University
  55. Ralf Peeters ORCID Maastricht University
  56. Peter Scholze ORCID
  57. François Loeser ORCID Professor, Sorbonne University
  58. Paul Johnson ORCID Lecturer, University of Sheffield
    Comment

    I keep going back to the beginning of Thurston's On Proof and Progress in Mathematics, and his care in framing the debate with the right question. Not "How do mathematicians prove theorems", but "How do mathematicians advance human understanding of mathematics?"

  59. Viviane Baladi verified email CNRS (retired)
  60. Pascal Vanier ORCID Professor, Université de Caen Normandie
  61. Fenner Stanley Tanswell verified email Technische Universität Berlin
    Comment

    A timely and important reaction to the rapid developments in AI in mathematics.

  62. Jiayi Li ORCID Max Planck Institute
  63. George Kinnear ORCID Reader in Mathematics Education, The University of Edinburgh
  64. Bora Çalım verified email Rutgers University
  65. Michael J. Barany ORCID University of Edinburgh
  66. Asgar Jamneshan ORCID Heisenberg position, University of Bonn
  67. Johannes Schmitt ORCID ETH Zurich
  68. Jarod Alper ORCID Professor, University of Washington / Visitor Researcher, Google Deepmind
  69. Alain Chavarri Villarello ORCID Vrije Universiteit Amsterdam
  70. Mateja Jamnik ORCID Professor of Artificial Intelligence, University of Cambridge
  71. Sander Dahmen ORCID Vrije Universiteit Amsterdam
  72. Steven Kelk ORCID Associate Professor, Maastricht University
  73. Bryna Kra ORCID Northwestern University
  74. David Holmes ORCID Universiteit Leiden
  75. Walter Dean ORCID University of Warwick
  76. Michael Harris verified email Columbia University
  77. Karthik Ganapathy ORCID University of California San Diego
  78. Jim Portegies ORCID Eindhoven University of Technology
  79. Rodrigo Ochigame ORCID Leiden University
  80. Bartosz Naskręcki ORCID Adam Mickiewicz University in Poznań
  81. Ursula Martin ORCID University of Oxford