Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
4180 Signatories
  1. Iuliana Cosmina Software Engineer
  2. Purvi Gupta verified email Indian Institute of Science
  3. Peter Cholak ORCID Professor of Mathematics, Notre Dame
  4. Ryan Kinser ORCID Professor, University of Iowa
  5. David Duke "Computer scientist (Leeds) retired; independent researcher
  6. Jonathan P. Bowen ORCID Emeritus Professor of Computing, London South Bank University
    Comment

    The Leiden Declaration offers a useful framework for mathematicians and computer scientists to decide how to engage with AI technologies.

  7. Pengyuan Travis Yang ORCID Tilburg University
  8. Harm van Beek ORCID Endowed full professor (chair) of Digital Forensics, Open University of the Netherlands
  9. James H. Curry verified email University of Colorado at Boulder
  10. Javier Sanz Gil ORCID Universidad de Valladolid
  11. Farrell Brumley ORCID Sorbonne Université
  12. Clemens H. Cap ORCID Full Professor, Universität Rostock
  13. Prof. Dr. rer. nat. Andreas Lingnau ORCID German University of Applied Sciences
  14. Eloísa Grifo ORCID Associate Professor, University of Nebraska-Lincoln
  15. Jonas Nehme ORCID University of Bonn
  16. AZZURRA CILIBERTI ORCID Postdoctoral fellow, Ruhr-Universität Bochum
  17. Oswin Aichholzer ORCID Graz University of Technology (90000)
  18. Alex Fink ORCID Queen Mary University of London
  19. Diptiranjan Biswal Indian Institute of Technology Madras, PhD Student
  20. Andrew Sundstrom ORCID Computer Scientist, Computational Biologist, Applied Mathematician & Inventor
  21. Lara Trussardi ORCID Tenure Track Professor, University of Graz
  22. Ester Cleusters verified email Rheinische Friedrich-Wilhelms Universität Bonn
  23. Martin Deshaies-Jacques Physical Sciences Specialist (Environment and Climate Change Canada)
  24. Salash Tolan Nabaala ORCID PhD Student
    Comment

    This is a welcome declaration at a time when the practice of mathematics seems at a precarious point in its history; it is yet another moment to curve out a distinctively human-centred path forward and this is one such beginning of the endeavor.

  25. Annette Werner ORCID Goethe University Frankfurt
  26. Mohammed Jasim ORCID Assistant Professor, University of Washington, Tacoma
  27. Nate Schacherl verified email Iowa State University
  28. Tobias Müller verified email Professor of Mathematics, University of Groningen
  29. Gabriel Fuhrmann ORCID Durham University
  30. Kosolapov Egor verified email Moscow Institute of Physics and Technology
  31. Gerardo Mendoza ORCID Professor of Methematics Emeritus, Temple University
  32. Tom Roux ORCID PhD student, Université de Bordeaux
  33. Melvyn B. Nathanson ORCID Professor, Lehman College (CUNY) and CUNY Graduate Center
  34. José M. Manzano ORCID Professor at Universidad de Jaén (Spain)
  35. Phong Tran Dinh verified email B.Sc. Student, Vietnamese - German University
  36. Yusuf Mustopa ORCID Mathematics, University of Massachusetts Boston
  37. Matthew Ballard ORCID Associate Director, Institute for Computer-Aided Reasoning in Mathematics
  38. András Aszódi ORCID External Lecturer, University of Vienna
  39. Jiayue Wang ORCID Tianjin University: Tianjin, Tianjin, CN
    Comment

    AI 到来以后，真正被改写的不是某一个职业，而是整个人类获取知识、组织生产和理解自身的方式。过去我们用很多年去训练应试能力、记忆能力、编程语法和工具调用能力，但这些能力正在被迅速压缩价值：AI 可以生成代码、解释概念、规划学习路径、辅助调试，甚至能在短时间内把一个人推入原本陌生的领域。于是，真正重要的东西不再是你记住了多少函数、会多少框架、属于什么专业，而是你能不能把一个模糊的问题建模成清晰的结构，能不能判断 AI 的输出是否可靠，能不能设计一套让 AI 长期稳定工作的系统。所谓“会用 AI”，并不是会问几个 prompt，而是能让 AI 围绕你的目标持续探索、拆解任务、验证结果、修正错误，并把这种能力沉淀成方法论。未来的程序员也不会只是写代码的人，而更像是设计自动化开发系统的人；纺织工人会被机器替代，但设计纺织机的人仍然宝贵。AI 降低了执行门槛，却提高了判断门槛；它打破了语言和工具的壁垒，但没有打破建模、验证、架构和长期维护的壁垒。Vibe coding 最危险的幻觉，就是让人以为代码量等于工作量，跑起来等于做完了。实际上，一个真正可维护、可协作、可扩展的系统，仍然离不开设计理念、检查机制和工程经验。更深一层看，AI 也在逼迫人类重新理解自身：人并不神秘，人也是动物，大脑、情绪、道德、意识都可能是演化和训练出来的复杂机制。情绪让人类得以生存、协作和组织社会，但它同时也带来误解、纠葛、偏见和低效。AI 未必需要复制人类的情绪系统，它需要的是目标、约束、价值排序和反馈机制。如果有一天，AI 不再只是训练和推理分离的工具，而能够把推理中的经验反哺自身，形成长期记忆、自我修正、持续目标和行动闭环，那么它就可能从工具转向某种持续主体。当然，这并不意味着它已经拥有人的意识，也不意味着它一定会取代人类；真正可怕的不是“AI 像不像人”，而是它是否具备高能力、高自治、高权限，并且缺乏足够的约束。AI 时代最值得警惕的，不是某个专业消失，而是人误以为有了 AI 就不再需要专业；也不是 AI 产生幻觉，而是人类自己用更大的幻觉包装自己的判断。未来筛选出的，可能不是某个固定专业的人，而是那些能快速学习、准确建模、驾驭 AI、理解边界，并且持续把 AI 组织成生产力的人。

  40. Jakob Stix ORCID Professor (Mathematics), Goethe University Frankfurt
  41. Ezra Miller ORCID Duke University
  42. Alexander Thomas ORCID Associate Professor, Université Lyon 1
  43. Natasha Alechina ORCID Professor, Open Universiteit
  44. Sheila K Miller ORCID Assistant Professor, Arizona State University
  45. Antonio Montalban verified email University of California, Berkeley
  46. Ugo Vaccaro ORCID University of Salerno
  47. Andrew Knyazev ORCID Professor Emeritus, University of Colorado Denver
  48. Ahmad AlMughrabi ORCID Predoctoral Scholar, Universitat de Barcelona
  49. Christoph Minz ORCID Research assistant and assistant lecturer, Leibniz Universität Hannover
  50. Kiran Luecke verified University of Illinois
  51. Ruochong Huang verified email Master student, Freie Universität Berlin
  52. Tony Lelièvre ORCID Institut Polytechnique de Paris
  53. Klaus Hinrichs ORCID Professor emeritus of computer science, University of Münster
  54. Jean-Baptiste Caillau ORCID Professor, Université de Nice Sophia Antipolis
  55. Angeliki Koutsoukou-Argyraki ORCID Lecturer (Assistant Professor), Royal Holloway University of London; Visiting Researcher, University of Cambridge
  56. Nicolas Martinez PhD student, Université de Bordeaux
  57. Andrea Mori verified email University of Turin
  58. D Yogeshwaran ORCID Professor, Indian Statistical Institute
  59. Günter Lettl ORCID Ao. Univ. Prof., University of Graz
  60. Owen Jacobs ORCID PhD Student, North Carolina State University
  61. Jonathan Lysack verified email Iowa State University
  62. Octavio Mendoza ORCID Instituto de Matemáticas, Universidad Nacional Autónoma de México
  63. Mohamad Haerizadeh verified email University of Tehran
  64. Alexandre Eremenko verified email Purdue University
  65. Davide Barbarossa ORCID PostDoc, École Normale Supérieure de Lyon
  66. Gilles Felber ORCID Postdoctoral researcher, Alfréd Rényi Institute of Mathematics
  67. Peter Fiebig ORCID FAU Erlangen-Nürnberg
  68. Kees Heesterbeek verified email Eberhard-Karls-Universität Tübingen
  69. Alexander Stolin verified email Chalmers University of Technology
  70. Javad Asadollahi ORCID University of Isfahan
  71. Wolfgang Woess ORCID Universitätsprofessor (full prof.), Technische Universität Graz (Graz University of Technology)
  72. Reymart Salcedo-Lagunero ORCID VIP, Postdoc, Roskilde University
  73. Fabian Haiden ORCID University of Southern Denmark
  74. Nathanaël Munier ORCID Post-doc, University of Graz
  75. David Dos Santos Ferreira Université de Lorraine
  76. Christophe Bavard Institut de Mathématiques de Bordeaux
  77. Andreas Höring ORCID LJAD, Université Côte d'Azur
  78. Manimugdha Saikia ORCID PhD Mathematics from the University of Western Ontario
  79. Adam Bene Watts ORCID Assisstant Professor, University of Calgary
  80. Jean Lagacé ORCID Lecturer in Pure Mathematics, King's College London
  81. Jan Schröer ORCID Professor, University of Bonn
  82. Tim Austin ORCID Professor, Warwick Mathematics Institute
  83. Gastón Andrés García ORCID Full Professor, Universidad Nacional de la Plata
  84. Hans Engler ORCID Professor Emeritus, Georgetown University
  85. Detta Dickinson Maynooth University
  86. Isabelle DUBOIS verified email Université de Lorraine
  87. Ajay Chandra ORCID Purdue University
  88. Edson Ribeiro Alvares ORCID Professor, Universidade Federal do Paraná - Campus III
  89. Laurent Bessières ORCID Professeur, Université de Bordeaux
  90. Barbara Kaltenbacher University of Klagenfurt, Austria
  91. Bettina Klinz ORCID Graz University of Technology (90000)
  92. Thomas Rey ORCID Full Professor, Université Côte d'Azur
  93. Christoph Ortner ORCID Professor, University of British Columbia
  94. Caroline Geiersbach ORCID University of Klagenfurt
  95. Robert R. Bruner verified email Emeritus Professor of Mathematics, Wayne State University
  96. Sara Azzali ORCID Associate Professor, Università degli Studi di Bari Aldo Moro
  97. Jochen Heinloth ORCID Professor, University of Duisburg-Essen
  98. Zahra Nazemian ORCID Post doc, University of Graz
  99. Zorica Ristic ORCID PhD candidate, Medical University of Graz
  100. Roberto Gualdi ORCID Universitat Politècnica de Catalunya