Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
4162 Signatories
  1. Enrico Scalas verified email University of Roma "La Sapienza"
  2. François G. Dorais ORCID University of Vermont
  3. Tavian S. Broadhead Cybersecurity Manager, US Army Cyber Command
    Comment

    Artificial Intelligence and it's usage is increasingly becoming an unavoidable reality. Strong, international collaboration is required to ensure we bring both great caution, and great creativity to the next era. AI must be closely monitored, regulated, evaluated, and secured. We spared no expense to prevent nuclear war in years past. Now, it is time again to cooperate and prevent the inadvertent creation of the planet's next dominant force. This pledge to this effort is solely in the interest of the greater field, and I am not making any pledge on behalf of US Army Cyber Command.

  4. Mayla Ward ORCID PhD student, California Institute of Technology
  5. Nils Bruin ORCID Professor, Simon Fraser University, Burnaby, BC, Canada
  6. Ekin Ozman ORCID Scientific Staff, Associate Professor, Universitair hoofddocent, University of Groningen
  7. Kurusch Ebrahimi-Fard ORCID Professor, NTNU Norwegian University of Science and Technology
  8. Melina Freitag ORCID Professor, University of Potsdam
  9. Jenna Zomback ORCID Amherst College
  10. Nutan Nepal ORCID North Carolina State University
  11. Thijs Laarhoven ORCID Cryptographer
  12. Laurent MENARD ORCID Professor, Université Paris Nanterre
  13. Pavlos Xenitidis ORCID Associate Professor, Liverpool Hope University
  14. Francisco de Melo Viríssimo ORCID London School of Economics and Political Science
  15. Per Bäck ORCID Mälardalen University
  16. Leoni Carla Wirth ORCID University of Oxford
  17. Jamie Haddock ORCID Associate Professor, Harvey Mudd College
  18. Alexander Kurz ORCID Professor, Chapman University
    Comment

    Mathematics is the practices of the mathematics community. One day AI will prove theorems faster than humans. But I hope we will still be doing math. It is up to us to maintain and build a world in which there will be a place for humans and for human mathematics.

  19. Syed Ehsan Ali ORCID PhD student, Ca' Foscari University of Venice
  20. Alberto Enciso ORCID Instituto de Ciencias Matemáticas, CSIC
  21. Marco Arévalo ORCID PhD in Philosophy (UNED), PhD candidate in Language Analysis (AI) (UPV/EHU)
  22. Ramon Guevara Erra ORCID Researcher, University of Padua, Biophysics, Neuroscience
  23. James Buchanan ORCID Lawrence Livermore National Laboratory
  24. Cristina Toso verified email University of Padua
  25. Sergio Mayorga ORCID Assistant Professor, Innopolis University
    Comment

    For many mathematicians—and professionals across various disciplines—the rapid encroachment of AI into fields we consider our calling has forced us to question our very sense of purpose. Ultimately, we must ask ourselves: did we build intelligent machines to improve and elevate the human spirit, or are we surrendering the pursuits we hold dearest to these machines and the insatiable corporations that own them?

  26. George Ellis verified email University of Cape Town
  27. John Christopher verified email University of North Carolina at Chapel Hill
  28. Leonardo Masci ORCID Post-doctoral fellow
  29. Hoben Thomas ORCID Pennsylvania State University
  30. Alexander Strang ORCID Assistant Teaching Professor, University of California Berkeley
  31. Colt Bradley verified email University of Houston
  32. Demetric Baines verified email Jackson State University
  33. Holger Israel ORCID Mathematics subject librarian at TIB - Leibniz Information Centre for Science and Technology, Hannover, Germany
  34. Pablo Costa Rico ORCID Postdoc, RWTH Univeristy of Aachen
  35. Jordi Alsina Mathematics teacher at Universidad Nacional del Comahue, Instituto Balseiro and Universidad Nacional del Comahue. Master's student in Universidad Nacional del Comahue. Argentina
    Comment

    Los avances en el uso de tecnologías de IA deben ser tomados en serio e incorporados a los procesos científicos y educativos con responsabilidad, transparencia y criticidad, tanto desde la perspectiva individual como la colectiva y la institucional. Esta declaración sienta bases para una conversación que "recién comienza" en la esfera pública, pero que debe desarrollarse profundamente en los próximos años, teniendo siempre como irrenunciable el fundamental carácter humano de la Matemática.

  36. Kimberly Schveder verified email Kent State University
  37. Ouneïs Gloton PhD student, Institut de Mathématiques de Bourgogne
    Comment

    I strongly support this initiative.

  38. Filip Øskar Łanecki verified email Jagiellonian University Cracow
  39. Wenhao Zhao ORCID PhD student, EPFL
  40. Pier-Francesco Rocci ORCID Research Engineer, Institut d'Astrophysique Spatiale
  41. Guillermo Durand ORCID Maître de conférences, Université Paris-Saclay
  42. Arne Kuhrs MPI MiS Leipzig
  43. Pedro Conceição verified email Christian-Albrechts-Universität Kiel
  44. Hugo Beeloo-Sauerbier Couvée ORCID PhD Student, Technical University of Munich
  45. Caleb Clark verified email University of Sydney
  46. Eric Boulter ORCID Postdoctoral Fellow, University of Saskatchewan
  47. A.C. Berceanu ORCID Extreme Light Infrastructure - Nuclear Physics
  48. Bailey McLellan ORCID PhD student, The University of Melbourne
  49. Aniruddh Vasishta verified email University of California, Santa Barbara
  50. Alberto Salguero-Alarcón ORCID Assistant Professor, Universidad Complutense de Madrid
  51. Juan Sebastián Gómez Quintero ORCID PROFESOR(A) INVESTIGADOR(A), Universidad Andrés Bello
  52. Eise Zimmerman verified email University of Amsterdam
  53. Hendrik Ranocha ORCID Professor, Johannes Gutenberg University Mainz
  54. Victor Alcaraz-Gonzalez ORCID Full Professor, University of Guadalajara
    Comment

    El uso responsable de la IA no solo implica la vigilancia de su uso con fines alejados de los valores de esta declaración. También requiere un compromiso de esfuerzo continuo y constante de cualquiera que la use para evitar que resultados matemáticos parciales erróneos queden abiertos en el ciberespacio sin ser refutados ni cancelados. Cuando una mentira se repite muchas veces termina por considerarse verdadera. A la velocidad a la que se propaga la información pero también la desinformación hoy en día, este es un peligro latente no solo del uso irresponsable de la IA en matemáticas, sino también del uso descuidado o negligente de estas herramientas. Incluso en los resultados más simples o ya comprobados, no podemos dejar que ninguna alucinación matemática falsa tenga oportunidad de progresar como verdad. Y añado, esto también aplica a todos los campos de la ciencia.

  55. Stefanie Guenther ORCID Lawrence Livermore National Laboratory
  56. Tiangang Cui ORCID University of Sydney
  57. Selime Gurol ORCID Senior Researcher, CERFACS
  58. Karthyek Murthy ORCID Assistant Professor, University of Southern California
  59. Kathryn Leonard ORCID Occidental College
  60. Robert D Falgout ORCID Lawrence Livermore National Laboratory
  61. Gergely Berczi ORCID Associate Professor, Aarhus University
  62. Louis Hainaut ORCID Postdoctoral Fellow, University of Chicago
  63. Charles Audet ORCID Professeur titulaire, Ecole Polytechnique de Montréal
  64. Sergio Simonella verified email University of Roma "La Sapienza"
  65. Jasper Stokman ORCID Academic, Universiteit van Amsterdam
  66. Corinne Blondel verified email CNRS - Université Paris Cité
  67. Antonio Campillo ORCID Emeritus Professor, Universidad de Valladolid
  68. Alessandro Oneto ORCID Associate Professor, University of Genoa
  69. Rowan Turner verified email University of Edinburgh, School of Mathematics
  70. Barry Koren ORCID full professor emeritus
  71. Simon Mataigne ORCID PhD Research Fellow, UCLouvain
  72. Russell Luke ORCID Professor, Georg-August-Universität Göttingen
    Comment

    A simple document, easy to agree with.

  73. Giuseppe Rosolini ORCID professore ordinario, Università di Genova
  74. Nicolas Gillis ORCID Professor, University of Mons
  75. Daisuke Yashiro ORCID Mie University
  76. Jérémy Cohen ORCID CNRS, CREATIS
  77. Jörn Behrens ORCID Professor, Universität Hamburg
  78. Melven Roehrig-Zoellner ORCID Institute of Software Technology, Deutsches Zentrum für Luft- und Raumfahrt eV
  79. Matthias Bollhöfer ORCID professor, Technische Universität Braunschweig
  80. Dimitri Breda ORCID University of Udine
  81. Monique Laurent ORCID CWI, Tilburg University
  82. ALESSANDRA BERNARDI ORCID Professore Associato, Università degli Studi di Trento
  83. Radhika Ganapathy ORCID Indian Institute of Science
  84. Gabriele Puppis ORCID Associate professor, University of Udine
  85. Vladimir Druskin ORCID Mathematc Department, Southern Methodist University
  86. Brian Borchers ORCID Professor, New Mexico Institute of Mining and Technology
  87. Jacob H. Thomas ORCID Student Researcher
  88. John Gemmer ORCID Mathematics, Wake Forest University
  89. Patrice Ossona de Mendez ORCID CNRS researcher and editor-in-chief of the European Journal of Combinatorics
  90. Christian Lavault Professeur informatique, Université Sorbonne Pari-Nord
  91. Mario PIAZZA ORCID Full Professor, Scuola Normale Superiore
  92. Alberto Marcone ORCID Dipartimento di Scienze Matematiche Informatiche e Fisiche, Università degli Studi di UDINE
  93. Suzanne Sindi ORCID Professor, University of California, Merced
  94. Frédéric Déglise ORCID Directeur d'unité, UMPA, CNRS, ENS de Lyon
  95. João Lucas Borba Boccazio verified email Kobe University
  96. SURAJ DASH ORCID PhD student, The University of Texas at Austin
  97. Cédric Boutillier ORCID professeur, Sorbonne Université
  98. Marco Tolotti ORCID Professor of Decision Sciences, Venice School of Management, Università Ca' Foscari Venezia, Italy
  99. Peter Benner ORCID Director, Max Planck Institute for Dynamics of Complex Technical Systems, Magdeburg
  100. Petr Krysl ORCID Professor, University of California San Diego