Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
3135 Signatories
  1. Daniele Avitabile verified email Vrije Universiteit Amsterdam
  2. Eduard Campillo-Funollet ORCID Lancaster University
  3. Manuel Rivera ORCID Purdue University
  4. Steven Sivek ORCID Imperial College London
  5. Ben Green ORCID Mathematical Institute, University of Oxford
  6. Marc CHARDIN CNRS & Sorbonne Université
  7. Andrew Arana ORCID Faculty member / Enseignant-chercheur / Enseignante-chercheuse, Université de Lorraine
  8. Aki Härmä ORCID Assistant Professor, Maastricht University
  9. Ralf Peeters ORCID Maastricht University
  10. Peter Scholze ORCID
  11. François Loeser ORCID Professor, Sorbonne University
  12. Paul Johnson ORCID Lecturer, University of Sheffield
    Comment

    I keep going back to the beginning of Thurston's On Proof and Progress in Mathematics, and his care in framing the debate with the right question. Not "How do mathematicians prove theorems", but "How do mathematicians advance human understanding of mathematics?"

  13. Viviane Baladi verified email CNRS (retired)
  14. Pascal Vanier ORCID Professor, Université de Caen Normandie
  15. Fenner Stanley Tanswell verified email Technische Universität Berlin
    Comment

    A timely and important reaction to the rapid developments in AI in mathematics.

  16. Jiayi Li ORCID Max Planck Institute
  17. George Kinnear ORCID Reader in Mathematics Education, The University of Edinburgh
  18. Bora Çalım verified email Rutgers University
  19. Michael J. Barany ORCID University of Edinburgh
  20. Asgar Jamneshan ORCID Heisenberg position, University of Bonn
  21. Johannes Schmitt ORCID ETH Zurich
  22. Jarod Alper ORCID Professor, University of Washington / Visitor Researcher, Google Deepmind
  23. Alain Chavarri Villarello ORCID Vrije Universiteit Amsterdam
  24. Mateja Jamnik ORCID Professor of Artificial Intelligence, University of Cambridge
  25. Sander Dahmen ORCID Vrije Universiteit Amsterdam
  26. Steven Kelk ORCID Associate Professor, Maastricht University
  27. Bryna Kra ORCID Northwestern University
  28. David Holmes ORCID Universiteit Leiden
  29. Walter Dean ORCID University of Warwick
  30. Michael Harris verified email Columbia University
  31. Karthik Ganapathy ORCID University of California San Diego
  32. Jim Portegies ORCID Eindhoven University of Technology
  33. Rodrigo Ochigame ORCID Leiden University
  34. Bartosz Naskręcki ORCID Adam Mickiewicz University in Poznań
  35. Ursula Martin ORCID University of Oxford