Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
4162 Signatories
  1. Michael Hrusak ORCID Centro de Ciencias Matemáticas, UNAM, Mexico
  2. Edgar A. Bering IV ORCID Associate Professor, San Jose State University
  3. Rachel Ward ORCID Professor of Mathematics, The University of Texas at Austin
  4. Sebastian Wiederrecht ORCID School of Computing, KAIST
  5. Gabriel Remond-Tiedrez ORCID Mathematics and Statistics, McGill University
  6. Kriti Kapila ORCID King's College London
  7. Hongjie Dong ORCID Professor, Brown University
  8. Dylson Valente Neto verified email Universidade Federal de Santa Catarina
  9. Cristian Sorin Calude ORCID Professor with personal chair, University of Auckland
    Comment

    I signed this important declaration because I love mathematics.

  10. Vítor Ramos verified email Universidade Federal do Rio Grande do Norte
  11. Peilin (Larry) Zhong ORCID Shady Side Academy
  12. Aniruddha Sudarshan Temple University
  13. Andrew Woo-jong Lee verified email PhD Student, New York University
  14. Luca Sabatini ORCID University of Warwick
  15. Patrick Heyderer Mathematics Teacher (Professor HTL Spengergasse)
  16. Christian Oppel Student at Bonn University and Independent Researcher
  17. Alberto Minguez verified email Universidad de Sevilla
  18. Carl Tipler verified email Associate Professor, Université de Bretagne Occidentale
  19. HyunSu An verified email Gwangju Institute of Science and Technology
  20. Francesca Mazzia ORCID Full Professor, Università degli Studi di Bari Aldo Moro
  21. Yilian Zhang ORCID University of South Carolina Aiken
  22. Oussama Boussif ORCID Département d'Informatique et de Recherche Opérationelle, Université de Montréal
  23. Javier Bracho ORCID Professor, Universidad Nacional Autonoma de Mexico
  24. Hongyu Zhu ORCID PhD Student, University of Wisconsin–Madison
  25. Adam Chalumeau ORCID Postdoc, University of Luxembourg
  26. Luc Illusie ORCID Université Paris-Saclay, retired professor
  27. Alex Levine ORCID Senior Research Associate, University of East Anglia
  28. Ioann Vasilyev St. Petersburg Department of Steklov Mathematical Institute
  29. Will Omon verified email University of Lagos
  30. Yunling Chen Academy of Mathematics and Systems Science, Chinese Academy of Sciences
  31. Martin Oen Paulsen ORCID University of Bergen
  32. Darren E. Mason verified email Albion College
  33. Omar Rojas ORCID Professor, Universidad Panamericana - Guadalajara, México
  34. Ali G. Moghaddam ORCID Senior researcher, Aalto University
  35. Bence Kaszás ORCID PhD student, University of Bath
  36. Miroslav Chlebik verified email University of Sussex
  37. Markus Pantsar ORCID RWTH Aachen University/University of Helsinki
  38. Katie Green ORCID PhD student, Monash University
  39. Geo Kam Fai TAM ORCID Associate Professor, Xiamen University Malaysia
    Comment

    AI freaked me out so much that I wondered whether this declaration was written by AI, or whether some arXiv articles were AI-generated. (Un-)fortunately, every aspect of my life is permeated by AI.

  40. Luca Bollini verified email University of Warwick
  41. Constanza Rojas-Molina ORCID Departement of Mathematics and Laboratoire AGM, CY Cergy Paris University
  42. Nicola Harif ORCID Monash University
  43. Tian Lan ORCID PhD student, ETH Zürich
  44. Anna Hofer PhD student at Otto-von-Guericke University Magdeburg
  45. Maman Fathurrohman ORCID Universitas Sultan Ageng Tirtayasa
    Comment

    In the field of mathematics education, the existence and influence of AI on Mathematics teaching and learning will be an interesting subject for research. However, the dark side of irresponsible AI use in either teaching or research —if left unchecked; and lacking transparency—will undermine trust to research article findings in the future

  46. Pierre-Guy Plamondon ORCID Professor, Université de Versailles Saint-Quentin-en-Yvelines
  47. Misja Frederik Alban Steinmetz ORCID Researcher Sustainable Transport, TNO & PhD in Pure Mathematics, King's College London
  48. Robert Benim ORCID Associate Teaching Professor, University of Colorado Boulder
  49. Micah Chrisman ORCID Associate Professor, Ohio State University-Marion Campus
  50. Richard Brent ORCID Emeritus Professor, Australian National University
  51. Paweł Kwaczyński ORCID Hobbyist; computer science student, Łódź, Poland
    Comment

    A hobbyist rather than a mathematician. What struck me in the declaration is that a proof checker can confirm a formula has no solution, and still tell you nothing about whether that formula asks the question you meant. That gap is easy to miss from the outside, and I am glad it is named here.

  52. Matthew Stevens ORCID PhD student, University of Pennsylvania
  53. Horst Struve ORCID Professor (University of Cologne)
  54. Franz Luef verified email Norwegian University of Science and Technology
  55. Hossein Khodadadi verified email Delft University of Technology
  56. Shahnaz Shamim Shahul ORCID PhD student, Institut de Mathématiques de Toulouse
  57. Pınar Kılıçer ORCID Assistant Professor, University of Groningen
  58. Zaniar Ghadernezhad ORCID Lecturer, Queen Mary University of London
  59. Iakovos Androulidakis verified email University of Athens
  60. Fuad Aleskerov ORCID Professor, National Research University Higher School of Economics
  61. Michal Ferov ORCID Assistant professor, University of South Bohemia in České Budějovice
  62. Pieter Cuijpers ORCID Associate Professor, Technische Universiteit Eindhoven & Radboud Universiteit Nijmegen
  63. Julian Reichardt ORCID PhD, University of Wuppertal
  64. Diego Martínez ORCID KU Leuven
  65. Nicolas Rougerie verified email CNRS & Ecole Normale Supérieure de Lyon
  66. Seonguk Seo verified email Seoul National University
  67. Michael Speckbacher ORCID Acoustics Research Institute Vienna, Austrian Academy of Sciences
  68. Lucas Mason-Brown verified email Columbia University
  69. Ibrahim Trifa ORCID PhD student, ETH Zürich
  70. Joaquín Brum verified email Universidad de la República-Uruguay
  71. Rolf Struve ORCID PhD, Christian-Albrechts-Universität zu Kiel
  72. Tommaso Rossi ORCID University of L'Aquila
  73. Laura Scarabosio verified email Radboud University
  74. Amit Harlev ORCID Cornell University
  75. Asier López-Gordón ORCID Postdoctoral researcher, Institute of Mathematics of the Polish Academy of Sciences
  76. Jean-Michel Bismut ORCID Professor Emeritus, Université Paris-Saclay
  77. Antonio Carbone verified email University of Ferrara
  78. Matéo Spriet ORCID Inria Centre at the University of Lille
  79. Emmanuel Sérié ORCID Researcher CMAP, Ecole Polytechnique, Palaiseau, France
  80. Astier Raphael UVSQ CNRS UMR 8100 LAMA
  81. David H Bailey ORCID Retired, Lawrence Berkeley National Laboratory
    Comment

    The Leiden Declaration is a very carefully considered statement on a very important issue to the mathematical community. The future course and nature of mathematical research is at stake. I give my wholehearted support to this worthy effort.

  82. Zhizhong Huang Academy of Mathematics and Systems Science, Chinese Academy of Sciences
  83. John Stalker verified email Trinity College Dublin
  84. Finn McGlade ORCID Postdoc, University of Oklahoma
  85. Paul Libbrecht ORCID Professor of Computer Science and Data Science, IU Internationale University of Applied Sciences
    Comment

    I am proud to support a reflected use that keeps humans' responsibilities.

  86. Luis A. Nunez ORCID Titular, Universidad Industrial de Santander
  87. Florian Jarre verified email Heinrich-Heine Universität Düsseldorf
  88. Patrick Bahr ORCID IT University of Copenhagen
  89. Lua Viana Reis ORCID PhD, University of Bonn
  90. Mordechai Katzman verified email The University of Sheffield
  91. Jonathan Potts ORCID Professor of Mathematical Biology, The University of Sheffield
  92. Lorenzo Giaretto ORCID PhD Student, University of Turin
  93. Benjamin Nill ORCID Professor, Otto von Guericke Universität Magdeburg
  94. Stefan Neukamm ORCID Professor, Technische Universität Dresden
  95. Norman Do ORCID Professor, Monash University
  96. Alexander Mangerel ORCID Assistant Professor of Pure Mathemaitcs, Durham University
  97. Achraf AZIZE Inria
  98. Nayef Shkeir ORCID University of Warwick
  99. Atul Gothe ORCID Institute of Mathematics Polish Academy of Sciences
  100. E. Koffmann ORCID PPPs Consultant, Pontificia Universidad Católica de Chile