Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
4181 Signatories
  1. Tom de Jong ORCID University of Nottingham
    Comment

    While the recommendations may be underwhelming and prove insufficient, I consider the declaration's identification and description of values and threats to be urgent and valuable.

  2. Michel Verhaegen ORCID Emeritus Professor TU Delft
  3. Enrique Pardo ORCID Full Professor, Universidad de Cádiz
  4. William Waites ORCID Senior Research Fellow, University of Edinburgh
  5. Henrik Kreidler ORCID PostDoc, Leipzig University
  6. Bart Smets ORCID Eindhoven University of Technology
    Comment

    A reasonable and balanced approach to adapting ourselves to what is, in the end, just another new tool.

  7. Kaiyi Zhang ORCID Tsinghua University
    Comment

    A new era of human-AI collaboration in mathematical research has truly arrived. It is foreseeable that AI will continue to evolve. Friends, embrace the change!

  8. Wenyong Zhou verified email Fudan University
    Comment

    Humans must restrict the development and application of AI, and it is best to design a clear framework. I believe this kind of restriction applies not only in the field of mathematics but across all domains.

  9. Betul Tanbay Bogazici University, Professor - Chair of the International Day of Mathematics (IDM)
    Comment

    given the times we live in, where universal values are strongly shaken, mathematics turns out to be the most universal and valid asset humanity has created. Assuming the responsibility of having created the "machines", it is the duty of all mathematicians to be extremely aware of the capacity of AI and reflect continuously about its limits. Mathematicians should learn and teach more about the works of people like Gödel, Tarski, Church. Mathematics departments should interact more with language and philosophy departments. They should be involved in the development of the language used for humans versus the machines. The term "human mathematician" is a pleonasm and should disappear before it spreads. Only human beings can be mathematicians as only human beings can be philosophers.

  10. Jinxi Zhang verified email King's College London, University of London
  11. Aalok Thakkar verified email Ashoka University
  12. José A. Alonso verified email Universidad de Sevilla
  13. Ronny Bergmann ORCID Associate Professor, Department of Mathematical Sciences, Norwegian University of Science and Technology, Trondheim, Norway.
  14. Sakshee Singh BHU
  15. Xiangfei Li ORCID Suzhou High School of Jiangsu Province
  16. Niels Lindner ORCID Freie Universität Berlin
  17. Isaac Meilijson ORCID Faculty Of Exact Sciences, Tel Aviv University
  18. Manuel Blickle ORCID Johannes Gutenberg University Mainz
  19. Floris Vermeulen ORCID University of Münster
  20. Rahul Vishwakarma ORCID WorkOnward
  21. Yulin Chen verified email University of Science and Technology Beijing
  22. Henk Mulder ORCID Researcher, Independent
  23. Ankita Sharma verified email Imperial College London
  24. Kapil Paranjape ORCID Indian Institute of Science Education and Research Mohali
    Comment

    A much needed document. As Jacobi said, "The object of mathematics is the honor of the human spirit." One of the serious problems with technological tools is that such tools can reduce human agency. Another risk is that we become unwitting participants in an advertising campaign.

  25. Sheung-Yu Pau
  26. Herries Arime ORCID Student in Monash University, who interested in the philosophy of technology and AI ethics
  27. Igor van gemert Thelastconsultant.pro
    Comment

    Relevant article so sharing and supporting

  28. zee may ORCID tibet university
  29. Ulrike Grömping ORCID FB II, Berliner Hochschule für Technik
  30. Madhukar Anand PhD Computer and Information Sciences, Mathematics Major.
    Comment

    The declaration brings much needed clarity on guidelines and recommendations to address the challenges posed by the use of AI. We need a similar one for Computer Science and Software Development

  31. Chongchuo Li ORCID
  32. Yansheng zuo DOIT (China) Investment CO.,LTD
    Comment

    AI should serve our people, not dominate our people. We need a world safety framework for AI architecture right now.

  33. Roland Cristopher Caballar ORCID Assistant Professor, University of Santo Tomas
    Comment

    May AI be a tool to advance understanding of mathematics and push the frontiers of knowledge ever onward, not a machine that constrains our mathematical understanding and puts limits on what we can know.

  34. Luna Xin ORCID Bachelor, University of Waterloo
  35. 浩宇 陈 ORCID Nanjing University
  36. Ambros Gleixner verified email Hochschule für Technik und Wirtschaft Berlin
  37. Manjunath Krishnapur verified email Indian Institute of Science
  38. Wojciech Gajda ORCID Professor, Adam Mickiewicz University in Poznań
  39. Yiming Wu Undergraduate student in Engineering
    Comment

    As a student,I wholeheartedly endorse this declaration and hope that AI will make even greater contributions to mathematics and the advancement of humanity.

  40. Kenny De Commer ORCID Hoogleraar (professor), Vrije Universiteit Brussel
  41. Peihan Wu ORCID Sichuan University
    Comment

    The majority of the essence of this declaration is of utmost importance.

  42. Andrzej Blikle ORCID Professor, Institute of Computer Science Polish Academy of Sciences
  43. Rowyn Boyd
  44. Zhenyu Cao ORCID Student, Hunan University of Humanities, Science and Technology
  45. Zhuo Chen ORCID School of Mathematical Sciences, East China Normal University
  46. Yang Qiu ORCID Cornell University
  47. Hongjian Yang ORCID Ph.D., Stanford University
  48. Andrej Srakar ORCID Artificial Intelligence, Jožef Stefan Institute
  49. Paolo Stefano Giudici ORCID Professor of Statistics, University of Pavia
  50. Danilo Gligoroski ORCID Norwegian University of Science and Technology (NTNU)
  51. Chandan Singh Dalawat ORCID Visiting Professor, Ashoka University
  52. Ang Li verified email Guangdong University of Technology
    Comment

    I fully endorse and support the Leiden Declaration and its call to safeguard the integrity, trustworthiness, and human-centered values of mathematical research in the age of artificial intelligence. The Leiden Declaration draws a boundary that mathematics' wisdom cannot be reduced to a format — not by rejecting technology, but by refusing to let mathematical research be degraded into output optimizable by models. The deepest insight of this declaration lies in its sober diagnosis of what truly threatens AI-driven mathematics today: not that machines are becoming smarter, but that trustworthiness itself is collapsing — for when generated proofs can no longer be understood, audited, or attributed by humans, mathematics forfeits that testable dignity which defines it as public knowledge. In essence, it stands as a civilizational constitution for the artificial — reminding us that however technologies may evolve, the duty of proof, the ethics of attribution, and the reverence for understanding itself, remain forever that human craft which no act of cognition may ever outsource.

  53. shangjun shi ORCID East China Normal University
  54. Ankan Man ICTS-TIFR
    Comment

    AI can only be a tool and must require proper supervision. AI can't be trusted.

  55. Martin Ruskov ORCID Ricercatori, Universita' degli Studi di MILANO
    Comment

    Research in AI could only be sustainable if models are open, not only weights, bit also data and tools, as in the Model Openness Framework.

  56. f alberto grunbaum ORCID UC Berkeley
  57. Kyle Ormsby ORCID Reed College Department of Mathematics & Statistics
  58. Max Petschack verified email University of Melbourne
  59. A Sankaranarayanan ORCID Vivo Bio Tech Ltd
  60. Prof. Dan Wu ORCID School of Electrical and Electronic Engineering, Huazhong University of Science and Technology
  61. Chenxing Qian ORCID PhD, University of Pittsburgh
  62. George Turcas ORCID Lecturer, Babes-Bolyai University
  63. Gabor Szekelyhidi ORCID Professor, Northwestern University
  64. Jordan Martino verified email Northeastern University
  65. Maisha Rumman Member of Energytech Cypher
    Comment

    I support the Leiden Declaration

  66. Sam Wang verified email New York University
  67. Jinyang Zhang verified email University of California, Berkeley
  68. Mirza Mehmedagic verified email University of Chicago
  69. Arman Valaquenta ORCID Founder and CEO, Dauðalogn Holdings Limited
    Comment

    We used to take square roots by hand. Then we used calculators. We must remain in charge what to take square roots of now, with AI. Insight is ours.

  70. Benjamin Galluzzo ORCID Executive Director, Consortium for Mathematics and its Applications (COMAP)
  71. Yunchu Dai ORCID Mathematics, Massachusetts Institute of Technology
  72. Brian Chao ORCID Graduate student, Cornell University
  73. Michael A. Boss ORCID PhD, Physics
  74. Lejian Wang verified email Jilin University
  75. Ian Zemke ORCID University of Oregon
  76. Patrick Shafto verified email Rutgers University
  77. Allen Nikora verified email Jet Propulsion Laboratory (retired)
  78. Florian Richoux ORCID Senior researcher, National Institute of Advanced Industrial Science and Technology (AIST)
    Comment

    The Leiden Declaration is a necessary statement regarding the rise of generative AI in scientific research. In fact, most of its recommendations extend beyond mathematics and remain relevant to most of scientific fields.

  79. Peijie Li ORCID The University of Hong Kong
    Comment

    AI brings great productivity to mathematical research, allowing people to focus more on innovative ideas than technical details. It shall be seen as the crystallization of the wisdom of all humanity and shall belong to all the people, be used for the people and by the people.

  80. Rohitesh Pradhan ORCID Ewing Christian College, Prayagraj
  81. He Xin ORCID
  82. Dmitrii Pasechnik ORCID Research Professor, Northwestern University
  83. Alexander Mundey ORCID Research Fellow, Adelaide University
  84. Sang-hyun Kim ORCID Professor, Korea Institute for Advanced Study
  85. Xingkai Wang verified email Pennsylvania State University
  86. Songhua He ORCID Research Assistant, Rutgers, The State University of New Jersey
  87. 富可 王 ORCID National University of Defense Technology
  88. Daxin Xu ORCID Academy of Mathematics and Systems Science
  89. James Propp ORCID UMass Lowell
    Comment

    If you are an individual mathematician, be aware that use of these new tools carries along with it the risk of atrophy of old skills and habits. As you use AI, pay attention to its effect on you.

  90. Zhe Xu ORCID University of Oregon
  91. Shaoyun Bai ORCID Assistant Professor, Massachusetts Institute of Technology
  92. Ada Chan ORCID York University
  93. Rommel Real ORCID Assistant Professor, University of the Philippines Mindanao
  94. Fidel Nemenzo University of the Philippines
  95. Jerry Gong verified email Johns Hopkins University
  96. Sheldon Axler ORCID Professor Emeritus, San Francisco State University
  97. Yu Wang ORCID Assistant Professor, Southwest Jiaotong University
  98. Kshitij Anand Patil verified email Simon Fraser University
  99. Elena Pavelescu ORCID Associate Professor, University of South Alabama
  100. Yukun Cai verified email Pennsylvania State University