Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
4440 Signatories
  1. Andrew Reimer-Berg verified email University of Oregon
  2. Dania Zantout verified email New York University
  3. Rowan Willard verified email Rice University
  4. Félix Belzunce ORCID Doctor en Matemáticas, Universidad de Murcia
  5. Hans Zanna Munthe-Kaas ORCID UIT The Arctic University of Norway
  6. Markus Schönauer verified email Technische Universität Wien
  7. Roger D Souza verified email University of Bristol
  8. Soham Bonnerjee verified email University of Pennsylvania
  9. Daniel Bauer verified email Rheinische Friedrich-Wilhelms Universität Bonn
  10. Nivedita Tewary ORCID PhD student, Monash University
  11. sajad salami ORCID Associate professor, Universidade do Estado do Rio de Janeiro
  12. Tanmoy Talukdar ORCID Pandu College
  13. Olivier Bouaziz ORCID Université de Lille
  14. Tim-Jonas Peter ORCID PhD student, University of Siegen
  15. Syed Mehdi verified email University of Western Ontario
  16. Sundar Sripada V. S. ORCID Doctoral Researcher, University of Bonn
  17. Felix Dellinger ORCID TU Wien
  18. eveline legendre ORCID Université Claude Bernard Lyon 1
  19. Louis-Hadrien Robert ORCID Maître de Conférence, LMBP, Université Clermont Auvergne
  20. Jakob Hedicke ORCID Institute for Advanced Study
  21. Joachim Wehler verified email Ludwig-Maximilians-Universität München
  22. José Ricardo G. Mendonça verified email Universidade de São Paulo
  23. Christian Klingenberg ORCID Professor, Julius-Maximilians-Universität Würzburg, Germany
  24. Martin Ovesen ORCID Postdoctoral researcher, Technical University of Denmark
  25. Louis Pons verified email Ecole Centrale de Lyon
  26. Yurii Khomskii ORCID Lecturer and Academic Tutor, University of Amsterdam
  27. Dylan Shaw ORCID
  28. Nihil Shah ORCID University of Cambridge, Postdoc
    Comment

    The future of mathematics research should be determined by the mathematics community. It should not reify existing inequalities and pressures. This is a step in the right direction.

  29. Nicole BERLINE Centre de mathematiques Laurent Schwartz, Ecole polytechnique (France), retired.
  30. Wolfgang Tomé ORCID Professor Emeritus, University of Wisconsin–Madison
  31. Tejaswi Kodiadka ORCID IISER Pune
  32. Erik van den Ban ORCID Universiteit Utrecht
  33. Michel Denault ORCID HEC Montréal
  34. Pierre-Emmanuel Caprace ORCID UCLouvain
  35. Priyanka Banik ORCID Graduate Assistant, Northern Illinois University
  36. Ivan Izmestiev ORCID TU Wien
  37. Nathan Warnberg verified email University of Wisconsin - LaCrosse
  38. Helmut Länger ORCID Associate Professor, TU Wien
  39. Yang Xiao verified email Kenyon College
  40. Ruishen Zhao ORCID Yau Mathematical Sciences Center, Tsinghua University
    Comment

    To understand the essence, to seek the truth, and to measure what truly matters.

  41. Tanmay Inamdar ORCID Indian Institute of Technology Jodhpur
  42. Sharmila Gunasekaran verified email Radboud University
  43. Justin Troyka verified email California State University, Los Angeles
    Comment

    A mathematical proof is not valid until it is understood by humans, because the job of a mathematician is to advance human understanding of mathematics. To paraphrase an influential ancient rabbi: proofs are made for humans, not humans for proofs.

  44. Siu Cheong Lau ORCID Associate Professor, Boston University
  45. Diego Rodríguez-Guzmán ORCID Técnico Académico, University of Guadalajara
  46. Leah Kurki Schätzler ORCID Assistant professor, University of Lisbon
  47. Ian Robert McIntosh ORCID Senior Lecturer, University of York
  48. Matthew Cartmell ORCID University Of Strathclyde
    Comment

    I wholeheartedly endorse the Leiden Declaration, in my capacity as an academic and also as the CTO of a software company.

  49. Emanuele Pasqui ORCID PhD Candidate, University of Padua
  50. Samantha Pater verified email McGill University
  51. Francesc Comellas ORCID Professor, Universitat Politècnica de Catalunya
  52. Bruno Yemini verified email Universidad de la República
  53. Camila Sehnem ORCID Kyoto University
  54. Jeremiah Heller ORCID University of Illinois Urbana Champaign
  55. Dr Marina Konstantatou verified email University of Cambridge
  56. Perig Montfort verified email Ecole Normale Supérieure de Lyon
  57. Qing Liu ORCID Nankai university
  58. Oanh Nguyen verified email Brown University
  59. Chenxiao Tian ORCID Princeton University
  60. Giordano Colò ORCID Director of AI Research, Live Tech
  61. Davide Macera verified email Rheinische Friedrich-Wilhelms Universität Bonn
  62. Harlan Connor ORCID
  63. Jeremiah Heller verified email University of Illinois Urbana-Champaign
  64. Swapnil Ghosh verified email University of Bath
    Comment

    What I find urgent as a community is to commit to the values that we hold dear (for instance those in this declaration) and to direct material resources (if necessary away from the usual places of investment) to ensure that spaces are created in the community where these values are incentivised and nurtured.

  65. Maarten Derickx ORCID University of Zagreb
  66. Emil Wiedemann verified email Friedrich-Alexander Universität Erlangen-Nürnberg
  67. Tim Boykett ORCID Algebra, Johannes Kepler University // Industrial Design 2, Universität für angewandte Kunst
  68. Kristian Uldall Kristiansen ORCID Associate Professor, Technical University of Denmark
  69. Finn Rijk verified email University of Amsterdam
  70. Dominic P Clemence ORCID Professor, North Carolina Agricultural and Technical State University
  71. Corentin Lambert verified email Ecole Normale Supérieure de Lyon
  72. Michal Doucha ORCID Institute of Mathematics, Czech Academy of Sciences
  73. Michel VAQUIE ORCID Institut de Mathématiques de Toulouse
  74. Tomas Reunbrouck verified email Universität Bielefeld
  75. Michael Rudolph verified email Université de Tours, CNRS
  76. Vijay Subramanian ORCID College of Engineering, University of Michigan
  77. Michael Jablonski ORCID University of Oklahoma
  78. Anish Ray ORCID Graduate Student, University of Houston
  79. Ngoc-Sang Pham ORCID Professor, University of Lorraine
  80. Pradyun Gaddam ORCID Purdue University, West Lafayette
  81. J.D.M. Rademacher ORCID Universität Hamburg
  82. Nikolai Prochorov ORCID University of Manchester
  83. Mathilde Maréchal ORCID PhD, Le Mans Université, France
  84. Didier Lesesvre Université de Lille
  85. Kentarô Yamamoto ORCID University of Aizu
  86. Mohsan Ali ORCID King Edward Medical University
  87. Matthew Bertucci ORCID Visiting Assistant Professor, Willamette University
  88. Ilya Galushkin verified email University of Pennsylvania
  89. Eric Todd Quinto ORCID Robinson Professor of Mathematics Emeritus, Tufts University
  90. Ivan Moyano verified email Université Côte d'Azur
  91. Ivan Moyano ORCID Université Côte d'Azur
  92. Emily Quiroga-Gomez ORCID University of Hamburg
  93. Conan Gillis verified email Cornell University
  94. Eric Ahlqvist ORCID Stockholm University
  95. Nestor Parolya ORCID Associate professor, Delft University of Technology
  96. Puguh Wahyu Prasetyo ORCID Mathematics Education Department, Universitas Ahmad Dahlan
    Comment

    I support the Leiden Declaration on Artificial Intelligence and Mathematics. AI has great potential to assist mathematical research, education, and discovery, but mathematical understanding, rigorous proof, proper attribution, and responsibility must remain fundamentally human. I hope this Declaration will help our community embrace new technologies while preserving the integrity and human character of mathematics.

  97. Mateusz Stroiński ORCID University of Hamburg
  98. Katie Osborn Florida State University
  99. Baran Bayraktaroglu ORCID University of Helsinki
  100. Tommaso de Fernex ORCID University of Utah