The Leiden Declaration on Artificial Intelligence and Mathematics

In the previous post on mechanizing mathematics and on its relation with beauty and generative AI , I have extensively discussed my views on how societal and technological changes are shaping mathematics and what I hope we will do to respond and evolve with it. I think the response has arrived.