Declaration for AI use in mathematics:
Some thoughts....
1. This turning point could in fact be a healthy wake up call for research and math in particular. There's a sense among some that research is all about the results and the certainty around mathematical proof. This is misguided:
Timothy O'Leary
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
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.
