A group of colleagues has released a declaration for steering the relation between Artificial Intelligence and Mathematics as a community. I happily signed it, and would recommend a read even if you disagree or don't intend to sign it:
leidendeclaration.ai
#mathSky #ai #academicSky
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.