Mathematicians express concerns over AI's impact on the field

Mathematicians have raised concerns about the increasing influence of the tech industry on mathematics research, as outlined in a declaration that highlights the challenges posed by artificial intelligence (AI). This declaration was released two weeks after OpenAI announced that one of its AI models had disproved an 80-year-old mathematical conjecture in geometry. The declaration was created by a working group of 16 researchers over eight months, following a conference at Leiden University in the Netherlands in September 2025. It was published on June 2, 2026, and has received endorsement from the International Mathematical Union, which oversees major mathematics conferences and awards such as the Fields Medal. Kevin Buzzard, a mathematician at Imperial College London, commented on the significance of tech companies' interest in mathematics, stating that the Leiden Declaration is a thoughtful response to the disruptions caused by AI in the field.