Mathematicians issue Leiden Declaration on AI use

The Leiden Declaration on Artificial Intelligence and Mathematics calls on AI companies to stop using mathematical work without permission. The declaration, published by a coalition including Oxford, Cambridge, ETH Zurich, Columbia, and Northwestern, is endorsed by the International Mathematical Union. It identifies AI training on unlicensed mathematical content as a threat to the discipline. The document urges AI firms to obtain explicit licenses before using mathematical research. The declaration outlines specific obligations for AI developers to respect intellectual property in mathematics.