Leiden Declaration on Artificial Intelligence and Mathematics (leidendeclaration.ai)

This is already being discussed in https://news.ycombinator.com/item?id=48382052, but the Science article is distorting the actual declaration, and hence the discussion.