Mathematicians sign declaration to rein in AI use | Scientific American
June 2, 2026<br>3 min read<br>Add Us On GoogleAdd SciAm<br>Mathematicians sign declaration to rein in AI use
A group of researchers have proposed rules to prevent artificial intelligence from overpowering humans in math
By Leila Sloman edited by Clara Moskowitz
Tetra Images/Getty
Love math? Sign up for our weekly newsletter Proof PositiveEnter your email<br>I agree my information will be processed in accordance with the Scientific American and Springer Nature Limited Privacy Policy. We leverage third party services to both verify and deliver email. By providing your email address, you also consent to having the email address shared with third parties for those purposes.<br>Sign Up
Last month many mathematicians were shocked by OpenAI’s announcement that artificial intelligence had solved geometry’s famous “unit distance” problem.<br>For some, the achievement was exciting. But researchers also worry that AI technology, if left unchecked, will change their field for the worse. To address those fears, a group of mathematicians, computer scientists, and math historians have released guidelines to prevent AI from steamrolling their discipline.<br>Among their most important prescriptions: disclose the use of AI in research, ensure all papers are peer-reviewed and level the playing field between academia and for-profit companies through, for instance, legal resources and public funding.<br>On supporting science journalism<br>If you're enjoying this article, consider supporting our award-winning journalism by subscribing. By purchasing a subscription you are helping to ensure the future of impactful stories about the discoveries and ideas shaping our world today.<br>The mathematicians have been working on the document since last fall, when around 60 researchers and policymakers convened at Leiden University’s Lorentz Center in the Netherlands to discuss how technology will affect mathematics. At the top of many attendees’ minds was the accelerating stream of proofs written partially or entirely by AI.<br>Used responsibly, AI “can be extremely useful and helpful,” says Ilka Agricola, a mathematician who chairs the Committee on Publishing at the International Mathematical Union (IMU)—the foremost organization for global mathematics. “Unfortunately, this positive aspect is kind of getting small compared to the huge mess around it.”<br>Journal editors’ inboxes are filling with more AI proofs than they can vet. Large language models regurgitate human ideas, often without attribution. Some fear for the integrity of research itself. They worry that values like transparency and accessibility, which mathematicians have long prioritized, are in danger.<br>For example, almost every modern paper in math can be read for free on arXiv.org, and the American Mathematical Society hosts its own curated repository of mathematical papers, books and reviews. Commitment to these principles allows anyone on Earth to see and build on new research, says Jim Portegies, a mathematician at the Eindhoven University of Technology in the Netherlands. But tech companies, he says, often keep key details private. For instance, when Google DeepMind announced in 2024 that its AI model AlphaProof had solved three difficult math competition problems, it took more than a year before the methods were published in a peer-reviewed journal. Often, when it comes to AI proofs, “we retreat behind closed doors because there is now a lot of commercial interest,” Portegies says.<br>To try to combat these trends, participants at the Leiden workshop decided to work together on a joint statement modeled after similar documents on open science and data management. They called it the “Leiden Declaration on Artificial Intelligence and Mathematics.”<br>Though all the authors shared some basic concerns, wrangling them into a statement that everyone was happy with was a challenge. “It was a long, arduous process with a lot of lively discussion,” says Rodrigo Ochigame, an anthropologist of AI at Leiden University. “I don’t think I’ve ever been part of a writing process that involved so much debate for such a short text.”<br>In the final 11-page document, the authors lay out what they value about mathematics research, how those values are threatened by AI and how to address the situation. For instance, one of their concerns was that, whereas a human-written proof can be verified by anyone with the right expertise, AI is given to subtle, hard-to-spot errors; policies that subject AI proofs to extra scrutiny can help catch such errors. And the goals of humans and AI in math aren’t always the same: mathematicians pursue research questions based on the potential for new techniques and ideas to emerge, and tech companies may focus on questions that showcase their AI models but have limited impact in mathematics....