The Leiden Declaration on Artificial Intelligence and Mathematics, which has been published today, addresses the increasing role of artificial intelligence (AI) in mathematical research. It was developed following a 2025 workshop at the Lorentz Center in Leiden and in consultation with an international group of researchers. The Declaration outlines a range of ways in which AI systems are being used in mathematics, including the formalisation of proofs. It highlights concerns about how AI may aff...