Mathematicians warned against rising tech industry influence in a declaration describing the many challenges that AI poses to mathematics research. The timing of the declaration comes two weeks after OpenAI publicized one of its AI models as having disproved an 80-year-old mathematical conjecture in geometry.
The declaration was developed by a working group of 16 researchers over eight months following a conference held at Leiden University in the Netherlands in September 2025. Published on June 2, 2026, the resulting Leiden Declaration on Artificial Intelligence and Mathematics has been endorsed by the International Mathematical Union—the international non-governmental organization that hosts conferences and oversees the most prestigious prizes in mathematics such as the Fields Medal.
“Mathematicians should find it quite striking that tech companies are suddenly interested in their work,” said Kevin Buzzard, a mathematician at Imperial College London, in a statement. “The Leiden Declaration is a well-thought-through response to what is currently happening, as AI continues to disrupt this space.”
