Leiden Declaration on Artificial Intelligence and Mathematics sets community norms for AI in maths (4,000+ signatories)
Partly confirmed
The takeaway
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.
Status
- Claim
Partly confirmed
- Our reporting
- Medium confidence
- Importance
- 3 of 5
- Last verified
- 29 September 2026
Your AI and this story
- GPT-6 Astra33 days after its cutoff
- Claude Opus 5.5In its training data
- Gemini 4 Hydrogen63 days after its cutoff
- Grok 4.72 days after its cutoff
It is after the cutoff of GPT-6 Astra, Gemini 4 Hydrogen and Grok 4.7, and can be in the training data of Claude Opus 5.5.
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.
Sources
2 sources from 2 sites. Numbers match the chips in the text.
2 sources: 1 primary, 1 reaction
Primary
- Leiden Declaration on Artificial Intelligence and Mathematicsleidendeclaration.ai, official
Reactions
- Po-Shen Loh (guest post on Tao’s blog): Why do we need human mathematicians anymore? (cites signatory counts)terrytao.wordpress.com, discussion
Changes
- Filed. IMU endorsement and the 4,221 count come from the declaration site as read by a web fetch; confidence medium until re-checked