Mathematicians have published the Leiden Declaration on Artificial Intelligence and Mathematics, warning about AI's growing influence and challenges to the profession. The declaration, endorsed by the International Mathematical Union, comes after an AI model disproved an 80-year-old conjecture.
The growing capabilities of AI raise concerns about its impact on fundamental research and the potential for intellectual property issues as AI models are trained on vast datasets of existing work.
Mathematicians have issued the Leiden Declaration on Artificial Intelligence and Mathematics, warning about the increasing influence of the tech industry and the challenges posed by artificial intelligence to mathematics research. The declaration, published on June 2, 2026, was developed over eight months by a working group of 16 researchers following a conference at Leiden University in September 2025. This comes shortly after OpenAI announced that one of its AI models had disproved an 80-year-old mathematical conjecture in geometry. The International Mathematical Union, an organization that oversees prestigious mathematics prizes, has endorsed the declaration. Kevin Buzzard, a mathematician at Imperial College London, noted the striking interest from tech companies in mathematical work and described the declaration as a response to AI's disruption in the field.
Pick the topics you care about. Get only what matters, on your cadence.