Sixteen mathematicians publish the Leiden Declaration on AI and Mathematics to warn of potential threats to the field, such as around accuracy and reliability
A week after OpenAI made headlines with an A.I.-generated proof, a new “declaration” by 16 experts raises concerns that the technology threatens math as a discipline.
New York Times Siobhan Roberts
Related Coverage
- Leiden Declaration on Artificial Intelligence and Mathematics Leiden Declaration
- Leiden Declaration: AI is challenging the core values of mathematics Leiden University
- Can A.I. Produce Writing That We Actually Want to Read? New Yorker · Jay Caspian Kang
- Mathematicians sign declaration to rein in AI use Scientific American · Leila Sloman
- A New Declaration Warns AI Could Threaten the Foundations of Mathematics Gizmodo · Gayoung Lee
- The world's mathematicians just issued a formal declaration telling AI companies to stop using their work without permission The Next Web · Alina Maria Stan
- Ann Dooms, mathematician: ‘In the real world, human intuition remains irreplaceable’ El País · Agata Timon
- Mathematicians Issue Leiden Declaration on AI Proof Rules Implicator.ai · Marcus Schuler
- I fully support the Leiden Declaration (and have signed it) — https://leidendeclaration.ai/ In the past months I've come to the conclusion that the biggest danger with AI is that it is simply not used for good, but for lazyness and cutting corners. — This is exactly the opposite of what we need in science and mathematics. … @tomkalei@machteburch.social · Thomas Kahle
- AI Math Breakthrough: OpenAI Disproves 80-Year Erdős Conjecture Memeburn · Marko Nguyen
- I was at the Lorentz Center event when people were talking about this. I'm so glad the working group for this (which I was not on) has followed through and produced this wonderful declaration! I signed! — https://leidendeclaration.ai/ @TaliaRinger@mathstodon.xyz · Talia Ringer
- Given all the recent hype and fuzz about LLM's in mathematics, it makes me happy to see this pop up: — https://leidendeclaration.ai/ A declaration of the values that are important to preserve in mathematical research in the face of the recent developments around LLM's. … @WannesMalfait@mathstodon.xyz · Wannes Malfait
- Mathematicians warn of AI threats to profession as industry encroaches Ars Technica · Jeremy Hsu
Discussion
-
@jaycaspiankang
Kang
on x
Wrote about the week I spent trying to get Claude to imitate Charles Dickens, Sir Arthur Conan Doyle and James Joyce. And the very weird but ultimately dead prose filled with ppl doing absolutely nothing that it produced. https://www.newyorker.com/...
-
@jeffgreene
Jeff Greene
on bluesky
“Mathematics is a rich form of cultural expression with an ancient history, and I am not worried that any technology will ever render it obsolete...What I am worried about is that a handful...” — www.nytimes.com/2026/06/02/s... (1/2)
-
David Holmes
David Holmes
on linkedin
What happens when a mathematical proof is no longer the work of a human, but of an algorithm that no one fully understands? …
-
Ted Dintersmith
Ted Dintersmith
on linkedin
ChatGPT just solved a math challenge that has flummoxed top mathematicians. The article below interviews several top human mathematicians, who are quite concerned. …
-
@divbyzero
Dave Richeson
on bluesky
I think this document does a nice job of articulating and balancing the many concerns people have about AI, the potential benefits, the spirit of mathematical research, and the reality of the current situation. I signed it.
-
Jarod Alper
Jarod Alper
on linkedin
The Leiden Declaration on Artificial Intelligence and Mathematics has been released: https://lnkd.in/... Our goal was to establish guiding principles for AI in the mathematical community. …