Since September I've been working with an international group to develop what we hope can be a response from the mathematics community to artificial intelligence in maths. The Leiden Declaration is now posted and open for signatures: https://leidendeclaration.ai/ #LeidenDeclaration