Signatories
The primary signatory list now lives on the homepage below the declaration text.
-
Abhik Pal ORCID University of California San Diego
-
Rafe Mazzeo ORCID Professor, Stanford University
-
Lisa Julieta Cardona Cano ORCID Undergraduate Student, Universidad Nacional de Colombia
-
Kenny Gill ORCID Assistant Professor, La Salle University
-
Gustav Kjærbye Bagger ORCID PhD candidate, UNSW Canberra
-
Christopher Ezernack verified email University of Texas at Dallas
-
R de J. Portillo-Velez ORCID Professor, Universidad Veracruzana
-
Wolfgang Bock ORCID Senior Lecturer, Linnaeus University
-
Fermin Acosta ORCID Profesor, Instituto Politécnico Nacional UPIITA
-
Anirban Guha ORCID Academic, Senior Lecturer (Teaching and Research), University of Dundee
-
Rodrigo Zepeda-Tello ORCID Climate School. Columbia University
-
Jay Cummings verified email California State University, Sacramento
-
Daniel Irving Bernstein ORCID Assistant Professor, Tulane University
-
Grigorios Pavliotis ORCID Professor of Mathematics, Imperial College London
-
Laurent Waxweiler Mathematician outside academia; PhD in Mathematics from the University of Liège; former IMO bronze medalist.
Comment
The Leiden Declaration is contingent in its technical diagnoses, but durable in its political and epistemological principle: mathematics must not become a production of true statements governed by opaque machines and private interests; it must remain a practice of verifiable, transmissible, and collectively responsible understanding.
-
Walter Huober M.Sc. Mathematics University of Stuttgart
-
Jean-Jil Duchamps ORCID Université Marie et Louis Pasteur
-
Logan Greenland verified email Graduate Student, Texas State University
Comment
As a pure mathematician, I see mathematics as an art form, and thus I believe AI's use in mathematics should be similar to what many believe should be AI's place in the arts, nonexistent. We as mathematicians should be at the helm of deciding what to research and how to go about that process, rather than relying on tech companies and their models to do that for us. In addition, keeping track of a record of citations is not only crucial for the verification of correctness, but also for uplifting our fellow mathematicians who have and will continue to do great, human-driven work.
-
Django Peeters verified email Universiteit Gent
-
Olasupo Oyebola ORCID University of Ibadan
Comment
This a necessity at this point in time.
-
FABIO SOMENZI ORCID University of Colorado Boulder
-
Flavio Riche ORCID Diplomat., Governo Federal do Brasil Ministério das Relações Exteriores
-
Branko Meeus ORCID Phd researcher, Hasselt University
-
Fabio Bonsignore Studente (Università degli studi Milano-Bicocca)
-
Naman Taggar ORCID University of Delhi
-
Jose Marie Antonio Miñoza ORCID Center for AI Research PH
-
Gabriel Peyré ORCID Senior Researcher, CNRS
-
Samuel Tapie ORCID Faculty member / Enseignant-chercheur / Enseignante-chercheuse, Université de Lorraine
-
Amna Mohsin verified email University of Khartoum
-
Peter Haïssinsky verified email Université d'Aix-Marseille
-
Arturo Ramírez-Ordorica ORCID Postdoctoral researcher, Universidad Michoacana de San Nicolás de Hidalgo
-
Matthew Colbrook verified email University of Cambridge
-
Jose A. Zapata ORCID Universidad Nacional Autónoma de México, Centro de Ciencias Matemáticas
-
Ting Gong verified email University of Washington
-
Luis Miguel Iglesias-Albarrán ORCID Profesor del Área de Matemática Aplicada (Departamento de Ciencias Integradas), Universidad de Huelva
Comment
I see this Declaration as a call to protect the conditions under which mathematical knowledge can be learned, shared and trusted. A result becomes mathematically and educationally meaningful when people can question it, understand its grounds and take responsibility for its use. AI should widen access to inquiry and collaboration, while preserving the human judgment and dialogue through which mathematics advances.
-
Jane Hillston ORCID Professor, University of Edinburgh
-
Héctor Arnoldo López Zamorano ORCID Facultad de Ingeniería UNAM
-
Gwyn Bellamy ORCID University of Glasgow
-
Adam Nyman verified email Western Washington University
-
Philippe Gagnon ORCID Statistics, Université de Montréal
-
Angel Zaldivar ORCID Universidad de Guadalajara
-
Gabor Szabo ORCID Associate Professor, KU Leuven
-
Laurent Clozel verified email Université Paris-Saclay
-
Benedict Eastaugh ORCID University of Warwick
-
Jędrzej Garnek ORCID Associate professor, Adam Mickiewicz University in Poznań
-
Henk van der Pol ORCID Leiden University Medical Center
-
Daniel Mathews ORCID Monash University
-
Francesco D'Andrea ORCID Università di Napoli Federico II
-
Asociatia Grupul Verde
Comment
Confirmam, efortul depus la demararea a acestei declaratii
-
Sylvain Maugeais ORCID Mathématiques, Le Mans Université
-
Brien Nolan ORCID School of Mathematical Sciences, Dublin City University
-
Sulagna Barat Data Scientist at Synergy Marine Group, Chennai, India
-
Josep Antoni Martín-Fernández ORCID Professor Doctor, University of Girona
-
Shiva Chidambaram ORCID Van Vleck Visiting Assistant Professor, University of Wisconsin–Madison
-
Tilmann Glimm ORCID Western Washington University
-
Johannes Krotz ORCID University of Notre Dame
-
Leo Zhou ORCID
-
Ben C Calverley ORCID Staff scientist, The Scripps Research Institute
-
de boucherville High school teacher, France
-
Alexandre Minets ORCID University of Bonn
-
Jasmin Raissy ORCID Université de Bordeaux
-
Leandro Chiarini ORCID Universidade de São Paulo
-
Abdelmajid EL HAJAJI Chouaib Doukkali University
-
Audric Larchevêque High-school student, Évian-les-Bains.
-
Colva Roney-Dougal ORCID University of St Andrews
-
Adolfo Aguilar ORCID AGUILAR AEROSPACE SL
Comment
As a Mathematical modeler I found the necessity to maintain the mathematical field as a human endeavor and use the AI advances as mere tools with the full tribute to the mathematicians that use those tools and their results obtained using AI.
-
Boris Kratz ORCID R&D Engineer
-
Umesh Kumar Joshi ORCID PhD Student, CSIR - National Chemical Laboratory & AcSIR, India
-
Ruoyu P. T. Wang ORCID Yale University, University College London
-
William Messing verified email University of Minnesota
-
ABDULMALIK OYEDEJI ORCID The University of Tennessee Knoxville
-
Colin Guillarmou ORCID CNRS and Univ. Paris Saclay
-
Andrew Foulkes ORCID Senior Lecturer in Mathematics, Liverpool Hope University
-
Vedaprabhu Basavarajappa ORCID Founder and CEO, Beamgrid Technologies LTD
Comment
I support the Leiden Declaration because it recognises both the promise and the responsibility that come with artificial intelligence in research, mathematics, science, and engineering. As an engineer and deep-tech founder, I have used AI as a tool for structuring ideas, testing assumptions, improving communication, and accelerating careful technical thinking. Used well, AI can help researchers and innovators move faster and think more clearly. But it should never be treated as a substitute for expertise, verification, authorship, or accountability. In technical and scientific work, plausibility is not enough. Claims must still be checked, reasoning must remain transparent, sources must be properly attributed, and the human author must take responsibility for correctness and consequence. For me, a future is not one where AI replaces mathematicians, researchers, engineers, or inventors. It is one where AI supports serious human work while preserving rigour, originality, fairness, and judgment. That is why I am signing this declaration. Powerful tools should strengthen human understanding, not weaken the values that make knowledge trustworthy.
-
Rodolfo Reis Soldati ORCID Post-Doctoral Researcher, Institute for Quantum Computing, University of Waterloo
-
Alberto Amaduzzi ORCID Researcher, Fondazione Bruno Kessler
-
Jules Guillot ORCID Mathematician
-
Luciano Boi
-
Jona Bedaux verified email Student at Delft University of Technology
-
Christopher Scaduto ORCID University of Miami
-
Benjamin Arras ORCID Enseignant-Chercheur, Université de Lille 1 UFR de Mathématiques
-
Germain Poullot ORCID Institut für Mathematik, Osnabrück University
Comment
Thank you. Deeply and sincerely.
-
Frank Thuijsman ORCID Professor, Maastricht University
-
Gouri Seal PhD Mathematics (2017), Northeastern University, Boston, MA, USA
-
jacques smulevici ORCID Professor, Université Paris-Sorbonne
-
Antoine Meyer ORCID Laboratoire d'Informatique Gaspard Monge, Université Gustave Eiffel
-
Kabeer Manali Rahul ORCID MPIM Bonn
-
Visvanathan Ramesh ORCID Professor, Department of Computer Science and Mathematics, Goethe University Frankfurt
-
Brieuc-Yves Cadat ORCID Retired Researcher
-
Rémi VAUCHER ORCID Epita Research Laboratory
-
Vignesh Raman ORCID PhD Researcher, Technische Universität Dresden
Comment
Progress at the cost of a safe, healthy, and sustainable future (where truth, non-performative kindness, compassion, and agency for virtue-oriented development prevail) often begets unrelenting ruination.... if not for us, for those that follow. Let us be mindful of the environment and the consequences of our actions as we pursue truth, whether through efforts in mathematics or beyond.
-
Masha Vlasenko ORCID Kyiv School of Economics
-
Shigefumi Mori ORCID Director-General and Distinguished Professor, Kyoto University Institute for Advanced Study
Comment
We hope to continue the mathematical research out of curiosity even in the days of AI. I think the Leiden Declaration is an important guideline for us.
-
Mateo PETEL ORCID Stanford University
-
Yun Kwansub ORCID Flamehaven Labs — independent AI verification research
Comment
At Flamehaven Labs, we have been building a public, reproducible verification ledger for AI-assisted mathematics and bioscience research since 2025. The Leiden Declaration articulates precisely the values our work was designed to defend. Our Verification Ledger operates on three principles that directly mirror the Declaration: every result is attributed to a named human reviewer (not an AI system); every artifact with a pass or fail verdict carries a Zenodo DOI so conclusions are independently citable; and failures are labeled explicitly — we do not issue clean PASS verdicts when a system is physically ungrounded or incomplete. We endorse the Declaration because it names a real threat clearly: AI tools can produce plausible but unreliable mathematical output, and the discipline's review infrastructure is under pressure. The answer is not to stop using AI, but to hold every AI-assisted result to the same standards of transparency, attribution, and human accountability that have always
-
Dmitry Noshchenko ORCID DIAS Research Fellow, Dublin Institute for Advanced Studies
-
Hon. Prof. T. Muntean verified email Université d'Aix-Marseille
-
Claudio Llosa Isenrich verified email Associate Professor, University of Luxemburg
-
Gernot Maier ORCID Scientist, Deutsches Elektronen-Synchrotron DESY
-
Francesca Arici ORCID Assistant Professor, Leiden University
Comment
I support the Leiden Declaration because AI should extend human reasoning without replacing responsibility, expertise, verification, or authorship. My work crosses cognitive science, physics, mathematics, consciousness research, AI governance, and the development of recursive AI systems for health, trauma, identity, and institutional accountability. I treat consciousness as an interface problem, which means I have to be precise about what space I am working in, what assumptions define the system, and what can actually be claimed locally rather than globally. AI can help develop ideas, test structures, organize research, and make difficult work more accessible, but the person using it still has to understand the subject, check the output, cite sources, disclose its role, and take responsibility for the final result. Formal verification tools such as Lean can help with mathematical validity, but they do not replace conceptual judgment or independent review. Small errors can happen in both human and AI work, but fabricated results, false citations, unsupported claims, and internally consistent systems built on incorrect premises are a serious problem. My own AI governance work emphasizes transparency, privacy, accessibility, human oversight, protection of vulnerable users, and clear accountability for decisions made with AI. I believe these standards should apply across mathematics, science, medicine, technology, and every field using AI.