Biology Should Draft Its Own AI Declaration After Mathematicians’ Leiden Manifesto
Mathematicians unveil the Leiden Declaration, a treatise on AI’s impact on mathematics, urging other disciplines to issue similar statements.
Mathematicians Publish AI‑Focused Charter, Sparking Calls for a Parallel in Biology
In June, a coalition of leading mathematicians unveiled the Leiden Declaration on Artificial Intelligence and Mathematics, a document that articulates core values to safeguard the discipline as automated proof‑generation tools become commonplace. The move has ignited a broader conversation about whether the life sciences should adopt a comparable framework to manage the growing influence of AI on biological research.
Why Mathematics Felt the Shock First
Frontier AI systems have demonstrated remarkable ability to tackle advanced mathematical problems, as highlighted by recent breakthroughs reported by Singularity Hub. Yet independent evaluations reveal that these models still encounter significant limitations. For mathematicians, the transparency of a proof—its verifiability without proprietary equipment—makes the threat of “forgery” especially acute. The Leiden Declaration warns that AI could generate counterfeit formalism, a risk that is easier to detect in mathematics than in fields with less rigid validation standards.
Biology’s Unique Vulnerabilities
Biological knowledge often rests on noisy, context‑dependent data rather than immutable truths. Classic examples such as Mendel’s inheritance laws illustrate principles that hold broadly but admit well‑characterized exceptions. More strikingly, the impact of a single drug‑resistance mutation can vary dramatically across different genetic backgrounds, a phenomenon known as epistasis. Because biological “truths” are rarely absolute, defining an authentic AI‑generated insight is far more challenging than spotting a fake proof in mathematics.
The Leiden Declaration should spawn proper copycats, because what is true for mathematics is true for virtually every field that calls itself as a science.
Lessons for the Life Sciences
Even though the author is a computational biologist rather than a pure mathematician, the declaration’s core messages resonate across disciplines. A biology‑focused charter could echo the Leiden model by requiring researchers to disclose AI assistance, retain responsibility for the accuracy of their results, and ensure that credit remains attached to human contributors rather than to opaque algorithms. Such a framework would also protect early‑career scientists from pressures that prioritize volume over genuine insight.
Additional provisions tailored to biology might include mandatory wet‑lab validation of AI‑generated hypotheses, careful stewardship of training data derived from the biological commons, and heightened scrutiny for models whose outputs could affect patients or ecosystems—a concern underscored by recent discussions of AI’s ethical and legal ramifications in healthcare here.
We should insist that researchers disclose their use of automated tools, that they are responsible for the veracity of their findings, that credit and accountability belong to people rather than to systems.
Designing an Adaptive Declaration
Mathematical proofs can endure for centuries, allowing a declaration to aim for permanence. In contrast, biological understandings evolve rapidly; a policy calibrated to today’s models may be outdated within months. Consequently, a biological AI charter should be versioned, dated, and subject to scheduled reviews, with revisions openly documented by the community it serves. Given the diversity of subfields—from cardiology to forest ecology—multiple, field‑specific statements may be warranted, provided they remain coordinated rather than proliferating unchecked.
The Leiden Declaration already notes that its content reflects AI technologies and mathematical practice as of May 2026, with future updates promised. Embedding a similar revision mechanism into a biology‑focused declaration would transform updates from admissions of failure into proactive stewardship of the discipline.
Moving Forward
Life scientists have long recognized that static structures cannot survive in dynamic environments. Crafting a flexible, community‑driven AI declaration would align policy with the very nature of living systems, ensuring that technological advances are integrated responsibly and that the integrity of biological research remains intact.

This article has been fact checked for accuracy, with information verified against reputable sources. Learn more about us and our editorial process.
Last reviewed on .
Article history
- Latest version
Reference(s)
- “Leiden Declaration on Artificial Intelligence and Mathematics.”, August 14, 2026 Leiden Declaration on Artificial Intelligence and Mathematics <https://leidendeclaration.ai/>.
- Ogbunu, C.. “How Genetic Surprises Complicate the Old Doctrine of DNA | Quanta Magazine.”, July 31, 2023 Quanta Magazine <https://www.quantamagazine.org/how-genetic-surprises-complicate-the-old-doctrine-of-dna-20230731/>.
- <https://undark.org/2025/03/05/digital-genetic-data-ownership/>.
- <https://undark.org/2024/05/30/opinion-ai-healthcare-human/>.
Cite this page:
- Posted by Rohan Kumar