Leiden Declaration on Artificial Intelligence and Mathematics (opens in new tab)

This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.