---
id: "2026-06-02-leiden-declaration-ai-mathematics"
url: "https://postcutoff.com/e/2026-06-02-leiden-declaration-ai-mathematics/"
as_of: "2026-11-13T13:49:00+01:00"
date: "2026-06-02"
date_precision: day
category: policy-safety
importance: 3
confidence: medium
status: [Partly confirmed]
sources: 2
editor: human editor
human_review: null
version: "2026-10-04"
---

As of: 2026-11-13 13:49 CET.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code), with a human editor. How we work: https://postcutoff.com/about/
Canonical page: https://postcutoff.com/e/2026-06-02-leiden-declaration-ai-mathematics/

# Leiden Declaration on Artificial Intelligence and Mathematics sets community norms for AI in maths (4,000+ signatories)

The Leiden Declaration on Artificial Intelligence and Mathematics, dated 2 Jun 2026 (Zenodo DOI 10.5281/zenodo.20302944), came out of a September 2025 Lorentz Center meeting in Leiden. It asks for transparent disclosure of AI use, proper attribution, peer-review standards, author rights over training data, industry-independent university AI labs, regulation of the AI industry and public computing infrastructure. By late September 2026 it had 4,000+ signatories, including Scholze, Tao and Buzzard.

## Key facts
- Working group convened by Jim Portegies after a Sept 2025 Lorentz Center conference (~60 participants, 10 countries)
- Site states endorsement by the International Mathematical Union (IMU)
- Signatories: '4,000+' per Po-Shen Loh (19 Sep 2026); 4,221 on the site snapshot read 2026-09-29
- Notable signatories listed: Peter Scholze, Terence Tao, Robbert Dijkgraaf, Kevin Buzzard, Steven Strogatz
- Quote: 'Mathematical proofs are regarded as conferring the highest degree of certainty to their conclusions, as well as imparting understanding of why their conclusions are true.'
- Distinct from the Fields Medallists' 'A Severe Misalignment of AI in Mathematics' statement at mathandai.org (7,000+ signatories by 19 Sep 2026)

## What happened

A year-long process that began at the Lorentz Center in Leiden produced a declaration of principles for AI in mathematical research. It was published in June 2026, before the summer's wave of AI-generated results. Signatures kept growing through the Navier–Stokes controversy in September.

## Why it matters

It is the broadest grassroots statement of mathematicians' norms on AI: disclosure, attribution, integrity of proof, and independence from industry. Together with the later Fields Medallists' statement, it forms the community's baseline position.

## Your AI and this story

- GPT-6 Astra (training cutoff April 2026): 33 days after its cutoff
- Claude Opus 5.5 (training cutoff June 2026): in its training data
- Gemini 4 Hydrogen (training cutoff March 2026): 63 days after its cutoff
- Grok 4.7 (training cutoff May 2026): 2 days after its cutoff

## Sources

1. [Leiden Declaration on Artificial Intelligence and Mathematics](https://leidendeclaration.ai) (leidendeclaration.ai, official)
2. [Po-Shen Loh (guest post on Tao's blog): Why do we need human mathematicians anymore? (cites signatory counts)](https://terrytao.wordpress.com/2026/09/19/why-do-we-need-human-mathematicians-anymore/) (terrytao.wordpress.com, discussion)

## Changes

- 2026-09-29 (filed): Created. IMU endorsement and the 4,221 count come from the declaration site as read by a web fetch; confidence medium until re-checked

## Related

- 2026-09-11: [Fields Medallists' open letter 'A Severe Misalignment of AI in Mathematics' criticises labs' race for famous problems](https://postcutoff.com/e/2026-09-11-fields-medalists-letter-ai-mathematics/index.md)
- 2026-07-24: [Terence Tao's ICM 2026 public lecture 'Mathematics in the age of AI' calls a crisis in the foundations of mathematical values](https://postcutoff.com/e/2026-07-24-tao-icm-mathematics-in-the-age-of-ai/index.md)
- People: [Terence Tao](https://postcutoff.com/person/terence-tao/), [Kevin Buzzard](https://postcutoff.com/person/kevin-buzzard/), [Steven Strogatz](https://postcutoff.com/person/steven-strogatz/)
- Archived: 2 posts, listed in https://postcutoff.com/e/2026-06-02-leiden-declaration-ai-mathematics/index.json