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 commercial enterprises. “I do not expect every colleague to agree with every sentence of the declaration,” Christoph Sorger, secretary general of the International Mathematical Union (IMU), wrote in a column in IMU’s endorsement of the declaration. “It asks the mathematical community to respond in a way that is transparent and guided by the values of our discipline.” “It was not easy to reach consensus on a complete text, and the process tested everyone’s patience,” Rodrigo Ochigame, an anthropologist of AI at Leiden University in the Netherlands, who was involved in the declaration, told Gizmodo. “We did this the hard way: we decided to publish the text only when we reached full consensus, after gathering extensive feedback from a wide range of people and debating every point in detail.”