Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
1529 Signatories
  1. Andrew Arana ORCID Faculty member / Enseignant-chercheur / Enseignante-chercheuse, Université de Lorraine
  2. Aki Härmä ORCID Assistant Professor, Maastricht University
  3. Ralf Peeters ORCID Maastricht University
  4. Peter Scholze ORCID
  5. François Loeser ORCID Professor, Sorbonne University
  6. 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?"

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

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

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