Research · Hacker News ·
Leiden Declaration on Artificial Intelligence and Mathematics
The Leiden Declaration on Artificial Intelligence and Mathematics is a public statement about the use of AI in mathematical work. The linked page presents the declaration and related discussion on Hacker News.