TL;DRThe Leiden Declaration on Artificial Intelligence and Mathematics, endorsed by the International Mathematical Union and signed by Fields Medal recipient Peter Scholze, calls on mathematicians to confront how AI companies are using published research without consent, bypassing peer review, and threatening the integrity of proof and attribution.

A coalition of mathematicians from institutions including Oxford, Cambridge, ETH Zurich, Columbia, and Northwestern has published a formal declaration calling on the mathematical community to confront the threats that artificial intelligence poses to their discipline. The Leiden Declaration on Artificial Intelligence and Mathematics, released on Monday and endorsed by the International Mathematical Union, is the most significant collective response from a major academic discipline to the way AI companies are using, and in some cases exploiting, published research.

The 11-page document does not oppose AI in mathematics. It opposes the way AI companies are treating mathematical work: training models on published papers without consent, announcing results through press releases instead of peer review, undermining attribution, and reshaping research priorities to serve commercial interests rather than intellectual significance. “Mathematics is, and should always remain, a profoundly human endeavour,” said Ulrike Tillmann, vice president of the IMU.