Mathematicians are setting some boundaries. Today, 16 mathematicians in consultation with peers and relevant organizations published the Leiden Declaration on Artificial Intelligence and Mathematics. The declaration, which had attracted more than 130 signatories by the time of publication, outlines key challenges that widespread AI use poses to mathematics research, as well as recommendations for individual researchers, organizations, governments, and comm