The Leiden Declaration on Artificial Intelligence and Mathematics

A well-thought-out statement. One thing I like about it is that it is not in any way anti-AI; the declaration merely says that, as with any other piece of technology, we should use it in ways that serve science, scientists, and humanity generally, and beware of using it in ways that are bad for those things. An AI optimist like me should surely sign on, because those bad futures can be, at the same time, unlikely (that’s what I’m optimistic about) but likely enough to be worth worrying about and taking steps now to avoid. If you agree, please consider signing on as an endorser. People I respect a lot and who I know to have thought a lot about these questions were members of the working group that put this together; hammering out documents like this is a valuable kind of work which I personally hate doing, so I truly appreciate their efforts. Signatories at the moment include bigshots like Peter Scholze, Terry Tao, Ulrike Tillman, Kevin Buzzard, Scott Aaronson, etc. — people who have a…