# New Declaration Warns AI Could Threaten the Foundations of Mathematics: 130+ Top Mathematicians Fight Back > Source: > Published: 2026-06-02 17:34:21+00:00 You know that unsettling feeling when [ChatGPT](https://www.gadgetreview.com/man-uses-chatgpt-to-design-cancer-vaccine-that-saved-his-dogs-life) solves a complex problem but you can’t follow its reasoning? Mathematicians are experiencing something similar—except the stakes involve the foundation of scientific certainty itself. A new document called the ** Leiden Declaration on Artificial Intelligence and Mathematics** argues that AI’s rapid deployment in mathematical research threatens to erode the discipline’s core values: rigorous proof, transparent reasoning, and human understanding. ## The Academic Equivalent of a Warning Shot **Sixteen mathematicians** drafted a consensus document that now has backing from over **130 researchers** and the **International Mathematical Union**. The declaration emerged from a September workshop in the Netherlands, where mathematicians spent months hammering out every detail until they reached full consensus. “We did this the hard way,” explains [Rodrigo Ochigame](https://gizmodo.com/a-new-declaration-warns-ai-could-threaten-the-foundations-of-mathematics-2000766375), an anthropologist of AI who participated in the process. The International Mathematical Union’s endorsement signals this isn’t fringe anxiety—it’s mainstream concern from the mathematical establishment. ## The Blackbox Problem Hits Pure Math [AI systems](https://www.gadgetreview.com/ai-powered-websites-you-didnt-know-can-supercharge-your-productivity) can now generate mathematical proofs that humans struggle to verify or understand. Here’s where things get unsettling: frontier [AI models](https://www.gadgetreview.com/ai-models-ran-a-simulated-society-grok-went-extinct-in-4-days-after-committing-over-180-crimes) are producing increasingly sophisticated mathematical arguments that peer reviewers can’t easily check. Unlike a calculator showing its work, these systems output complex proofs from internal processes we don’t fully understand. [Daniel Litt](https://gizmodo.com/a-new-declaration-warns-ai-could-threaten-the-foundations-of-mathematics-2000766375) from the University of Toronto warns of a “rush to announce results” from AI startups whose findings are “mostly correct and also not very interesting”—but whose marketing suggests otherwise. The attribution problem runs deeper. AI systems train on [ arXiv](https://arxiv.org/list/cs.AI/recent), the open repository where mathematicians share preprints, then generate outputs without clear citations. It’s like having a brilliant student who absorbed everyone’s homework but can’t explain which ideas came from where. ## Proposed Remedies Target the Entire Pipeline Mathematicians want mandatory AI transparency and publicly funded alternatives to corporate tools. The declaration’s solutions are surprisingly concrete: - Mandatory disclosure of AI use in research - Stricter peer review that can handle AI-assisted work - Investment in public computational resources to counter [Big Tech](https://www.gadgetreview.com/openai-and-partners-launch-500-billion-stargate-project)‘s growing influence over mathematical discovery “Mathematics is, and should always remain, a profoundly human endeavor,” wrote [IMU vice president Ulrike Tillmann](https://www.universiteitleiden.nl/en/news/2026/06/leiden-declaration-warns-ai-is-challenging-the-core-values-of-mathematics). The sentiment captures the declaration’s central tension: embracing AI’s power while preserving human insight and community trust. This isn’t mathematical Luddism—it’s a recognition that when the foundations of scientific certainty become opaque, everything built on top becomes shakier. Your [smartphone](https://www.gadgetreview.com/memory-crisis-triggers-record-smartphone-market-collapse)‘s encryption, your GPS navigation, the algorithms that run modern finance—they all rest on mathematical proofs. If mathematicians can’t trust their own field’s integrity, that uncertainty propagates everywhere.