As AI models become more capable at cracking high-level math problems, mathematicians have warned that the growing use of AI in the field poses several challenges, including unreliable mathematical proofs, lack of citation, improper disclosure of information, and research bias.
These concerns have been outlined in what may be the first-of-its-kind declaration drafted by a working group of 16 researchers over eight months following a conference held at Leiden University in the Netherlands in September 2025. The document titled ‘Leiden Declaration on Artificial Intelligence and Mathematics’ has drawn hundreds of signatories, and has also been endorsed by the International Mathematical Union.
Essentially, it warns that recent AI developments threaten the characteristic values of mathematical research, “often in ways that disproportionately affect students and early-career mathematicians, and hence the long term future of the discipline.”
The declaration comes just weeks after tech giants such as OpenAI and Google DeepMind made claims about their respective AI models solving decades-old mathematical problems. OpenAI said that its model disproved a famous geometry conjecture first proposed by famous mathematician Paul Erdos in 1946. Days later, Google DeepMind researchers claimed that its model, AlphaProof Nexus, had solved nine out of the 353 open Erdos problems.
Disclaimer
We strive to uphold the highest ethical standards in all of our reporting and coverage. We StartupNews.fyi want to be transparent with our readers about any potential conflicts of interest that may arise in our work. It's possible that some of the investors we feature may have connections to other businesses, including competitors or companies we write about. However, we want to assure our readers that this will not have any impact on the integrity or impartiality of our reporting. We are committed to delivering accurate, unbiased news and information to our audience, and we will continue to uphold our ethics and principles in all of our work. Thank you for your trust and support.
