"The increasing involvement of technology companies in mathematical research raises the risk that research questions may come to be prioritized because of their amenability to automated mathematics, rather than expert judgment of their deeper significance."
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.
