Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
3125 Signatories
  1. 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.

  2. Robert Planque ORCID Associate Professor, Vrije Universiteit Amsterdam
  3. Leonid Kunyansky ORCID Professor, University of Arizona
  4. Adam Onus ORCID Oxford Ludwig Institute, University of Oxford
  5. Boaz Moerman ORCID PhD graduate, Utrecht University
  6. Tony Mann ORCID Director, Greenwich Maths Centre, University of Greenwich
  7. 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.

  8. David Urs Wiedemann Universität Duisburg-Essen
  9. Thomas Hemker ORCID Professor Digital Engineering, FH Münster University of Applied Sciences
  10. Martí Oller ORCID University of Cambridge
  11. Nils Carqueville ORCID Professor
  12. David Muñoz-Lahoz verified email Universidad Autónoma de Madrid
  13. Skye Purchase ORCID Imperial College London
  14. Giulio Colombo ORCID Università degli Studi di Milano
  15. Francisco Javier García Capitán Secondary school math teacher, independent researcher
  16. 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.

  17. Dariusz Wrzosek ORCID Professor, University of Warsaw
  18. Takayuki Kawamoto ORCID Chief AI Officer / Chier Privacy Officer at First Brand Inc. (Japan)
  19. Carlo Bellavita ORCID Postdoc, Università degli Studi di Milano
  20. Zuzana Haniková ORCID Institute of Computer Science of the Czech Academy of Sciences
  21. Alexandre Girouard ORCID Université Laval
  22. Abdessatar Souissi ORCID University of Monastir, Tunisia
  23. Debora Schuch da Rosa ORCID Computer Scientist
  24. Tomás Cardoso da Rocha Antunes ORCID Student, Universidade Aberta
  25. Vassilis Daskalogiannis ORCID Anatolia American University, Thessaloniki, Greece
  26. ALESSANDRO MONGUZZI ORCID Researcher, University of Bergamo
  27. Miguel Couceiro ORCID Full Professor, Instituto Superior Técnico
  28. Jef Laga ORCID Research Fellow, University of Cambridge
  29. Donald Robertson ORCID University of Manchester
  30. Nicolas Tabareau ORCID Senior Researcher, Inria
  31. 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.

  32. Miguel Ángel Díaz Quiñones Ex-engineer working in industry, ex-mathematics teacher, retired
  33. Roland Speicher ORCID Professor, Saarland University
  34. Assia Mahboubi ORCID Inria Rennes - Bretagne Atlantique Research Centre
  35. Lyonell Boulton ORCID Heriot-Watt University
  36. Toby Bartels verified email Southeast Community College
  37. Niranjan Balachandran ORCID Indian Institute of Technology Bombay
  38. Alberto López ORCID ISEG, Universidade de Lisboa
  39. Théo Winterhalter ORCID Researcher, Inria Saclay - Île-de-France Research Centre
  40. Ehud Friedgut verified email Weizmann Institute of Science
  41. Inhyeok Choi ORCID KIAS
  42. Marten van Dijk ORCID Centrum Wiskunde & Informatica (CWI)
  43. Hjalmar Rosengren ORCID Chalmers University of Technology
  44. 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.

  45. Jiabao Liu ORCID PhD, Waseda University
  46. Chiara Leone verified email University of Naples Federico II
  47. Harold Ship ORCID IBM Research - Haifa
  48. Sudheesh Surendranath ORCID Graduate Student, University of Utah
  49. MERT ÇAĞLAR ORCID Faculty Member/Professor, TC İstanbul Kültür Üniversitesi
  50. Quan Lam Nhat ORCID LIGM, Gustave Eiffel University, Paris, France
  51. David T.-B. G. Lilienfeldt ORCID Monge Professor, École Polytechnique
  52. Tommaso Benacchio ORCID Senior Consultant, Danish Meteorological Institute
  53. Peter Suhajda verified email KTH Royal Institute of Technology
  54. Erik Koelink verified email Radboud University
  55. Carmelo Puliatti ORCID Universitat Autònoma de Barcelona
  56. Ziyong Cheong ORCID PhD Student, Chalmers University of Technology
  57. David Solomon ORCID IMJ-PRG
  58. Stuart Martin ORCID Professor, University of Cambridge
  59. Amruta Vasudevan ORCID University of Liverpool
  60. Sultan Sial ORCID Lahore University of Management Sciences
  61. Chris Hone verified email University of Copenhagen
  62. Vitezslav Kala ORCID Charles University
  63. Shenyu Liu ORCID Assistant professor, Beijing Institute of Technology
  64. Gennadiy Averkov ORCID BTU Cottbus-Senftenberg
  65. Hazel Remmen verified email TU Delft, BSc Applied Mathematics
  66. Qing Liu ORCID Professeur, Université de Bordeaux
  67. Stamatios Papadakis ORCID Assistant Professor, University of Crete
  68. James Farre ORCID Max Planck institute for mathematics in the sciences
  69. Sascha Troscheit ORCID Associate Professor, Uppsala universitet
  70. Florent Domenach ORCID Professor, Director & Founder of Human & AI Center, Akita International University
  71. 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).

  72. Tafari Clarke-James A.I. Researcher & Mathematical Thinker
  73. P.G.L. Porta Mana ORCID Associated Professor in Physics, Western Norway University of Applied Sciences
  74. Alex Rewegan verified email Technoscience Research Unit, University of Toronto
  75. Abhay Chaudhary verified email PhD Student- The Ohio State University
  76. Charles Steinhorn ORCID Vassar College and CBMS
  77. 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.

  78. Luz de Teresa ORCID Investigadora Titular C, Universidad Nacional Autónoma de México
  79. Derek Chen verified email Ohio State University - Columbus
  80. Pranav Srinivasan Mathematics teacher & Higher Mathematics student, Chennai
  81. Martin Weissman ORCID Professor of Mathematics, UC Santa Cruz
  82. 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.

  83. Sangwook Lee ORCID Assistant professor, Soongsil University
  84. Zaiyu Zhang ORCID Student, New York University
  85. Bangquan Wu Undergraduate Student，North China University of Water Resources and Electric Power
  86. 李明 ORCID
  87. Rustam Turdibaev ORCID New Uzbekistan University
  88. Haiyang Xu ORCID University of Illinois Urbana-Champaign
  89. Xinwei Niu ORCID University of Edinburgh
  90. Yu LUO ORCID Massachusetts Institute of Technology
  91. Hiroyasu Miyazaki ORCID Senior Researcher, NTT (Japan)
  92. Attila Egri-Nagy ORCID Professor, Akita International University
  93. WeiFeng Qi ORCID Shanghai Ocean University
    Comment

    Artificial intelligence is an era that makes ordinary mathematicians pessimistic.

  94. Robert Jacobson ORCID Solutions Architect, Peraton, Inc.
  95. Emanuel József Godfried ORCID PhD student, University of Melbourne
  96. Cagatay Kutluhan ORCID University at Buffalo
  97. Ibrohim Nosirov ORCID Graduate Student, Cornell University
  98. Haoyang Guo verified email Assistant Professor, University of Minnesota
    Comment

    The artificial intelligence has the potential to accelerate the advancement of mathematical research once used appropriately, yet it also has the danger of impairing the core values of mathematics, especially in the young and future generations. I appreciate this joint effort of our community for initiating this declaration, which happens at the right time.

  99. Zaifeng Lin ORCID Texas A&M University
  100. Qikun Xiang ORCID Doctor of Philosophy, Nanyang Technological University