# Leiden Declaration

> **TL;DR.** The Leiden Declaration on Artificial Intelligence and Mathematics is a community-initiated statement that defines the core values mathematics must protect as AI reshapes how proofs are produced, attributed, and reviewed.

- **Category:** AI / Research / Academic Policy
- **Stage:** nascent
- **Age:** 1 days
- **Origin date:** 2026-06-02
- **First detected:** 2026-06-03
- **Canonical URL:** https://earlyterms.com/term/leiden
- **Sources:** 8 primary URLs

## Definition

The Leiden Declaration on Artificial Intelligence and Mathematics is a community-initiated statement that defines the core values mathematics must protect as AI reshapes how proofs are produced, attributed, and reviewed. Published [June 2, 2026](https://leidendeclaration.ai/), it is the first formal document endorsed by the International Mathematical Union to address AI's impact on mathematical research.

Sixteen researchers from fifteen universities drafted the declaration after a September 2025 workshop at the Lorentz Center in Leiden, Netherlands. By publication day it carried 864 signatories, including Fields Medalists Peter Scholze and Terence Tao, making it the most credentialed collective statement on AI and mathematics to date.

## Example

The declaration's immediate catalyst: AI systems now submit plausible-looking but subtly incorrect proofs to journals at a volume that overwhelms human peer review. Fields Medalist Peter Scholze stated: "The goal of mathematical research is human understanding of mathematics" — a principle the declaration treats as non-negotiable regardless of what AI can automate.

## Analogy

Think of it as a professional code of conduct for a field that never needed one before AI arrived.

## Why it's emerging now

The International Mathematical Union formally endorsed a declaration on June 2, 2026 warning that AI-generated proofs flood peer review, strip attribution from human work, and shift research agendas toward industry-friendly problems. Signed by Peter Scholze and Terence Tao within hours of launch, it signals that the mathematical establishment is moving from concern to coordinated policy.

## Related terms

- *related:* ai-slop
- *related:* deep-research
- *related:* autoresearch
- *related:* sbti
- *related:* value-accuracy
- *competitor:* Montreal Declaration for Responsible AI
- *competitor:* Asilomar AI Principles
- *parent:* AI attribution
- *parent:* mathematical proof integrity
- *related:* Leiden algorithm
- *related:* automated theorem proving

## Sources

1. [Leiden Declaration — official site (leidendeclaration.ai)](https://leidendeclaration.ai/)
2. [Leiden University — press release, Jun 2, 2026](https://www.universiteitleiden.nl/en/news/2026/06/leiden-declaration-warns-ai-is-challenging-the-core-values-of-mathematics)
3. [The Next Web — Mathematicians issue Leiden Declaration against AI misuse](https://thenextweb.com/news/leiden-declaration-ai-mathematics-proof-attribution)
4. [Let's Data Science — Mathematicians Publish Leiden Declaration on AI Risks](https://letsdatascience.com/news/mathematicians-publish-leiden-declaration-on-ai-risks-to-mat-40e693ce)
5. [Silicon Reckoner (Substack) — analysis of the Leiden Declaration](https://siliconreckoner.substack.com/p/the-leiden-declaration-on-artificial)
6. [Quantum Formalism (Substack) — Leiden Declaration draws a necessary line](https://quantumformalism.substack.com/p/the-leiden-declaration-draws-a-necessary)
7. [arXiv 2603.24914 — Shaping the Future of Mathematics in the Age of AI](https://arxiv.org/abs/2603.24914)
8. [Hacker News discussion — 64 points, Jun 3, 2026](https://news.ycombinator.com/item?id=48380670)

---
_Generated by EarlyTerms · https://earlyterms.com/term/leiden_