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. Keivan Mallahi-Karai
  2. Yuri Santos Rego ORCID University of Lincoln
  3. Jinoh Kang ORCID College of Computing, Georgia Institute of Technology
  4. Yusif Aliyev Computer Science, Bachelor's student, Azerbaijan Technical University
  5. Henry Adorna ORCID Department of Computer Science, University of the Philippines
  6. Ben Moonen ORCID Radboud University Nijmegen
  7. Naná Giadresco verified email Utrecht University
  8. Tristan van der Vlugt ORCID Project assistant (FWF), TU Wien
  9. Rachel Greenfeld ORCID Northwestern University
  10. Gilbert Peralta ORCID Department of Mathematics and Computer Science, University of the Philippines Baguio
  11. Marek Michalewicz ORCID CEO, Siranga Sp. z o.o.
  12. Ziad Badehian ORCID Central Tehran university
  13. Jakub Rylow ORCID University of Warsaw
    Comment

    I support the Declaration's call to protect what makes mathematics trustworthy: the reliability of proof, fair attribution, and open peer review. AI can be a genuine aid to discovery, but only if its use is disclosed, its results are checked by humans who take responsibility for them, and prior work is properly cited. I welcome in particular the emphasis on keeping evaluation and publication within the scholarly community rather than commercial interests.

  14. Robert Planque ORCID Associate Professor, Vrije Universiteit Amsterdam
  15. Leonid Kunyansky ORCID Professor, University of Arizona
  16. Adam Onus ORCID Oxford Ludwig Institute, University of Oxford
  17. Boaz Moerman ORCID PhD graduate, Utrecht University
  18. Tony Mann ORCID Director, Greenwich Maths Centre, University of Greenwich
  19. Allan Peter Engsig-Karup ORCID Technical University of Denmark
    Comment

    Proper use of AI to deliver value that benefits out societies include understanding pros and cons and establish insights into current state of capabilities of AI its limitations. We need to work for transparency, trustworthy and secure use of AI and AI-enabled technologies. Also, we need to take into account human values to ensure that AI is not abused in ways that at large is not beneficial to our societies and values. The future of AI belongs to all of us.

  20. David Urs Wiedemann Universität Duisburg-Essen
  21. Thomas Hemker ORCID Professor Digital Engineering, FH Münster University of Applied Sciences
  22. Martí Oller ORCID University of Cambridge
  23. Nils Carqueville ORCID Professor
  24. David Muñoz-Lahoz verified email Universidad Autónoma de Madrid
  25. Skye Purchase ORCID Imperial College London
  26. Giulio Colombo ORCID Università degli Studi di Milano
  27. Francisco Javier García Capitán Secondary school math teacher, independent researcher
  28. Qingdao Chen verified email University College London, University of London
    Comment

    After the first glance of the ancient apes towards the starry sky, human have being thinking for thousands of years. We shall never let artificial intelligence deprive human's right to think in our generation.

  29. Dariusz Wrzosek ORCID Professor, University of Warsaw
  30. Takayuki Kawamoto ORCID Chief AI Officer / Chier Privacy Officer at First Brand Inc. (Japan)
  31. Carlo Bellavita ORCID Postdoc, Università degli Studi di Milano
  32. Wentao Hu ORCID PhD Student
  33. Zuzana Haniková ORCID Institute of Computer Science of the Czech Academy of Sciences
  34. Alexandre Girouard ORCID Université Laval
  35. Abdessatar Souissi ORCID University of Monastir, Tunisia
  36. Debora Schuch da Rosa ORCID Computer Scientist
  37. Tomás Cardoso da Rocha Antunes ORCID Student, Universidade Aberta
  38. Vassilis Daskalogiannis ORCID Anatolia American University, Thessaloniki, Greece
  39. ALESSANDRO MONGUZZI ORCID Researcher, University of Bergamo
  40. Miguel Couceiro ORCID Full Professor, Instituto Superior Técnico
  41. Jef Laga ORCID Research Fellow, University of Cambridge
  42. Donald Robertson ORCID University of Manchester
  43. Nicolas Tabareau ORCID Senior Researcher, Inria
  44. Giovanni Forni ORCID Professor, University of Maryland, College Park
    Comment

    Mathematics is part of culture and it is a human creation and activity. Perhaps AI might be useful as a tool, but if the tool is powerful it has to be handled with great care. This means public control, clear rules, transparency and consideration of benefits versus damage to environment, education, public discourse, economic welfare, cultural production and activities, including mathematics itself.

  45. Miguel Ángel Díaz Quiñones Ex-engineer working in industry, ex-mathematics teacher, retired
  46. Roland Speicher ORCID Professor, Saarland University
  47. Assia Mahboubi ORCID Inria Rennes - Bretagne Atlantique Research Centre
  48. Lyonell Boulton ORCID Heriot-Watt University
  49. Guillaume Poly verified email Université de Nantes
  50. Toby Bartels verified email Southeast Community College
  51. Niranjan Balachandran ORCID Indian Institute of Technology Bombay
  52. Alberto López ORCID ISEG, Universidade de Lisboa
  53. Théo Winterhalter ORCID Researcher, Inria Saclay - Île-de-France Research Centre
  54. Ehud Friedgut verified email Weizmann Institute of Science
  55. Inhyeok Choi ORCID KIAS
  56. Marten van Dijk ORCID Centrum Wiskunde & Informatica (CWI)
  57. Hjalmar Rosengren ORCID Chalmers University of Technology
  58. Xingzhi Chen Student of Pure Mathematics
    Comment

    I fully support this declaration. As an AI-augmented learner, I have seen how AI can transform the methodology of learning mathematics and serve as a catalyst for conceptual understanding. Nevertheless, it must be used critically: proof, verification, attribution, and responsibility must remain with human judgment.

  59. Jiabao Liu ORCID PhD, Waseda University
  60. Chiara Leone verified email University of Naples Federico II
  61. Harold Ship ORCID IBM Research - Haifa
  62. Sudheesh Surendranath ORCID Graduate Student, University of Utah
  63. MERT ÇAĞLAR ORCID Faculty Member/Professor, TC İstanbul Kültür Üniversitesi
  64. Quan Lam Nhat ORCID LIGM, Gustave Eiffel University, Paris, France
  65. David T.-B. G. Lilienfeldt ORCID Monge Professor, École Polytechnique
  66. Tommaso Benacchio ORCID Senior Consultant, Danish Meteorological Institute
  67. Peter Suhajda verified email KTH Royal Institute of Technology
  68. Erik Koelink verified email Radboud University
  69. Carmelo Puliatti ORCID Universitat Autònoma de Barcelona
  70. Ziyong Cheong ORCID PhD Student, Chalmers University of Technology
  71. David Solomon ORCID IMJ-PRG
  72. Stuart Martin ORCID Professor, University of Cambridge
  73. Amruta Vasudevan ORCID University of Liverpool
  74. Sultan Sial ORCID Lahore University of Management Sciences
  75. Chris Hone verified email University of Copenhagen
  76. Vitezslav Kala ORCID Charles University
  77. Shenyu Liu ORCID Assistant professor, Beijing Institute of Technology
  78. Gennadiy Averkov ORCID BTU Cottbus-Senftenberg
  79. Hazel Remmen verified email TU Delft, BSc Applied Mathematics
  80. Qing Liu ORCID Professeur, Université de Bordeaux
  81. Stamatios Papadakis ORCID Assistant Professor, University of Crete
  82. James Farre ORCID Max Planck institute for mathematics in the sciences
  83. Sascha Troscheit ORCID Associate Professor, Uppsala universitet
  84. Florent Domenach ORCID Professor, Director & Founder of Human & AI Center, Akita International University
  85. Alex Heinis Completed maths studies at UVA (University of Amsterdam), received my PHD title at Leiden University.
    Comment

    I completely agree with the statement and I think it's a good initiatitive. Out of curiosity I used AI a few times within the domain of recreational maths/problem solving. Results were often false, proofs were often fakesolves and entering a problem a few times at different times, the answers were completely different (which may be good), but sometimes the answers contradicted eachother (which is bad).

  86. Tafari Clarke-James A.I. Researcher & Mathematical Thinker
  87. P.G.L. Porta Mana ORCID Associated Professor in Physics, Western Norway University of Applied Sciences
  88. Alex Rewegan verified email Technoscience Research Unit, University of Toronto
  89. Abhay Chaudhary verified email PhD Student- The Ohio State University
  90. Charles Steinhorn ORCID Vassar College and CBMS
  91. Hongjie Zeng ORCID Graduate Student/Teaching Assistant, University of California, Santa Barbara
    Comment

    As a graduate student, I, as well as many of my peers, face the challenge of adapting to the changes AI has brought to both research and teaching. This declaration, while reaffirming the fundamental values that we hold dear as mathematicians driven by intellectual curiosity, has provided valuable insights and recommendations on the proper use of AI technology not only in mathematics but across academia. I fully endorse the rationale behind this declaration.

  92. Luz de Teresa ORCID Investigadora Titular C, Universidad Nacional Autónoma de México
  93. Derek Chen verified email Ohio State University - Columbus
  94. Pranav Srinivasan Mathematics teacher & Higher Mathematics student, Chennai
  95. Martin Weissman ORCID Professor of Mathematics, UC Santa Cruz
  96. Kristoffer Caballero ORCID Independent Researcher/KC Universal Publishing
    Comment

    Pursuance in venturing into independent, sole-proprietary research, with no (current) affiliation with any institution, facility, or organization, led me to publicly acknowledge Leiden's well-written declaration. Exercising ethical transparency in our work is a must: ensuring integrity, authenticity, and honesty over the findings we discover. Presentation of (new) tools get used and abused all the time, hoping the latter never gets in our way in presenting our final publication/proof.

  97. Sangwook Lee ORCID Assistant professor, Soongsil University
  98. Zaiyu Zhang ORCID Student, New York University
  99. Bangquan Wu Undergraduate Student，North China University of Water Resources and Electric Power
  100. 李明 ORCID