L leidendeclaration.ai Leiden Declaration on Artificial Intelligence and Mathematics 143 points zvr 5 months ago 83 comments