Bruno Pedro MenuHomePostsNotesAboutMaths2026 (1)Sep 22 Leiden Declaration on Artificial Intelligence and Mathematics