Leiden Declaration on Artificial Intelligence and Mathematics

Signatories

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

Sign Declaration
1 Signatory
  1. Sidharth Hariharan ORCID PhD Student, Carnegie Mellon University
    Comment

    AI is becoming an increasingly important part of formal mathematics, and I sincerely believe that when human formalisers and AI companies are able to align their objectives, the outcomes can be immensely productive to the advancement of formal as well as non-formal mathematics. It's particularly surreal to see this Declaration come to fruition after those incredible discussions in Leiden several months ago. The landscape of AI for mathematics (both formal and non-formal) has changed considerably since then, but I have little doubt that this Declaration, reflective of our many learnings from the events that have transpired since its inception, will prove to be of tremendous scientific, historical and philosophical import as this still nascent yet surprisingly impressive field continues to advance.