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. Oussama Boussif ORCID Département d'Informatique et de Recherche Opérationelle, Université de Montréal
  2. Javier Bracho ORCID Professor, Universidad Nacional Autonoma de Mexico
  3. Hongyu Zhu ORCID PhD Student, University of Wisconsin–Madison
  4. Adam Chalumeau ORCID Postdoc, University of Luxembourg
  5. Luc Illusie ORCID Université Paris-Saclay, retired professor
  6. Alex Levine ORCID Senior Research Associate, University of East Anglia
  7. Ioann Vasilyev St. Petersburg Department of Steklov Mathematical Institute
  8. Will Omon verified email University of Lagos
  9. Yunling Chen Academy of Mathematics and Systems Science, Chinese Academy of Sciences
  10. Martin Oen Paulsen ORCID University of Bergen
  11. Darren E. Mason verified email Albion College
  12. Omar Rojas ORCID Professor, Universidad Panamericana - Guadalajara, México
  13. Ali G. Moghaddam ORCID Senior researcher, Aalto University
  14. Bence Kaszás ORCID PhD student, University of Bath
  15. Miroslav Chlebik verified email University of Sussex
  16. Markus Pantsar ORCID RWTH Aachen University/University of Helsinki
  17. Katie Green ORCID PhD student, Monash University
  18. 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.

  19. Luca Bollini verified email University of Warwick
  20. Constanza Rojas-Molina ORCID Departement of Mathematics and Laboratoire AGM, CY Cergy Paris University
  21. Nicola Harif ORCID Monash University
  22. Tian Lan ORCID PhD student, ETH Zürich
  23. Anna Hofer PhD student at Otto-von-Guericke University Magdeburg
  24. 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

  25. Pierre-Guy Plamondon ORCID Professor, Université de Versailles Saint-Quentin-en-Yvelines
  26. Misja Frederik Alban Steinmetz ORCID Researcher Sustainable Transport, TNO & PhD in Pure Mathematics, King's College London
  27. Robert Benim ORCID Associate Teaching Professor, University of Colorado Boulder
  28. Micah Chrisman ORCID Associate Professor, Ohio State University-Marion Campus
  29. Richard Brent ORCID Emeritus Professor, Australian National University
  30. 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.

  31. Matthew Stevens ORCID PhD student, University of Pennsylvania
  32. Horst Struve ORCID Professor (University of Cologne)
  33. Franz Luef verified email Norwegian University of Science and Technology
  34. Hossein Khodadadi verified email Delft University of Technology
  35. Shahnaz Shamim Shahul ORCID PhD student, Institut de Mathématiques de Toulouse
  36. Pınar Kılıçer ORCID Assistant Professor, University of Groningen
  37. Zaniar Ghadernezhad ORCID Lecturer, Queen Mary University of London
  38. Iakovos Androulidakis verified email University of Athens
  39. Fuad Aleskerov ORCID Professor, National Research University Higher School of Economics
  40. Michal Ferov ORCID Assistant professor, University of South Bohemia in České Budějovice
  41. Pieter Cuijpers ORCID Associate Professor, Technische Universiteit Eindhoven & Radboud Universiteit Nijmegen
  42. Julian Reichardt ORCID PhD, University of Wuppertal
  43. Diego Martínez ORCID KU Leuven
  44. Nicolas Rougerie verified email CNRS & Ecole Normale Supérieure de Lyon
  45. Seonguk Seo verified email Seoul National University
  46. Michael Speckbacher ORCID Acoustics Research Institute Vienna, Austrian Academy of Sciences
  47. Lucas Mason-Brown verified email Columbia University
  48. Ibrahim Trifa ORCID PhD student, ETH Zürich
  49. Joaquín Brum verified email Universidad de la República-Uruguay
  50. Rolf Struve ORCID PhD, Christian-Albrechts-Universität zu Kiel
  51. Tommaso Rossi ORCID University of L'Aquila
  52. Laura Scarabosio verified email Radboud University
  53. Amit Harlev ORCID Cornell University
  54. Asier López-Gordón ORCID Postdoctoral researcher, Institute of Mathematics of the Polish Academy of Sciences
  55. Jean-Michel Bismut ORCID Professor Emeritus, Université Paris-Saclay
  56. Antonio Carbone verified email University of Ferrara
  57. Matéo Spriet ORCID Inria Centre at the University of Lille
  58. Emmanuel Sérié ORCID Researcher CMAP, Ecole Polytechnique, Palaiseau, France
  59. Astier Raphael UVSQ CNRS UMR 8100 LAMA
  60. 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.

  61. Zhizhong Huang Academy of Mathematics and Systems Science, Chinese Academy of Sciences
  62. John Stalker verified email Trinity College Dublin
  63. Finn McGlade ORCID Postdoc, University of Oklahoma
  64. 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.

  65. Luis A. Nunez ORCID Titular, Universidad Industrial de Santander
  66. Florian Jarre verified email Heinrich-Heine Universität Düsseldorf
  67. Patrick Bahr ORCID IT University of Copenhagen
  68. Lua Viana Reis ORCID PhD, University of Bonn
  69. Mordechai Katzman verified email The University of Sheffield
  70. Jonathan Potts ORCID Professor of Mathematical Biology, The University of Sheffield
  71. Lorenzo Giaretto ORCID PhD Student, University of Turin
  72. Benjamin Nill ORCID Professor, Otto von Guericke Universität Magdeburg
  73. Stefan Neukamm ORCID Professor, Technische Universität Dresden
  74. Norman Do ORCID Professor, Monash University
  75. Alexander Mangerel ORCID Assistant Professor of Pure Mathemaitcs, Durham University
  76. Achraf AZIZE Inria
  77. Nayef Shkeir ORCID University of Warwick
  78. Atul Gothe ORCID Institute of Mathematics Polish Academy of Sciences
  79. E. Koffmann ORCID PPPs Consultant, Pontificia Universidad Católica de Chile
  80. Nils Detering ORCID Heinrich Heine University Düsseldorf
  81. Balint Farkas ORCID Professor, University of Wuppertal
  82. KyeongRo Kim ORCID Korea Institute for Advanced Study (KIAS)
  83. Francesc Rossello ORCID
  84. Dominique Garmier ORCID ETH Zurich
  85. Jennifer Paulhus ORCID Professor, Mount Holyoke College
  86. Thomas Koerber ORCID Senior Scientist, University of Vienna
  87. Zhiyu Wang ORCID Assistant Professor, Louisiana State University
  88. Edgard A. Pimentel verified email CMUC, Universidade de Coimbra
  89. Giancarlo Bigi ORCID Università di Pisa
  90. Eduardo Reyes ORCID Assistant Professor, Pontificia Universidad Católica de Chile
  91. Vladislav Vysotsky verified email Reader in Probability and Statistics, University of Sussex
  92. Naoki Koseki ORCID Senior Lecturer, University of Liverpool
  93. Andrei Pogrebkov Steklov Mathematical Institute, Moscow
  94. Zbigniew ORCID TU Dresden
    Comment

    Ich bin ein Postdoc und hier sind meine Eindrücke: 1) KI gibt Leuten das Gefühl, sie hätten etwas besser verstanden, als sie es wirklich tun. Das fördert ein ungesundes Klima in der Wissenschaft, Dinge werden behauptet und nicht bewiesen. 2) Wenn nur eine KI ein Paper probeliest, hat es in Wirklichkeit niemand probegelesen. 3) Mathematik kann auch als Kunst begriffen werden. Aus dieser Perspektive sehe ich KI-Mathematik als obskure verzerrte Version von Menschen gefundener mathematischer Schönheit. Gute und tatsächliche gefundene KI-Resultate, kamen nicht zu ihrem natürlichen Zeitpunkt oder basieren auf nicht mehr zu lokalisierender Arbeit, mit der KI gefüttert wurde.

  95. J. P. Gaivão ORCID Associate Professor, ISEG Lisbon School of Economics and Management
  96. Raul Gonzalez Molina ORCID Tenure track, Universidad Politécnica de Madrid
  97. Lev Beklemishev ORCID Senior Full Professor, Ghent University
  98. Vladimir D Stepanov ORCID
  99. Talal Alrawajfeh verified email Doctoral researcher at the University of Helsinki
    Comment

    AI can help us explore both informal and formal proof spaces, search for counterexamples, and quickly survey the literature. However, mathematics should remain understandable to humans and be carefully checked by humans. Mathematicians play an essential role not only in developing proofs; they develop collective understanding and intuition, identify meaningful questions, and communicate results effectively.

  100. Bradd Hart verified email McMaster University