{"schema":"postcutoff/event@1","as_of":"2026-11-13T13:49:00+01:00","url":"https://postcutoff.com/e/2026-06-02-leiden-declaration-ai-mathematics/","md":"https://postcutoff.com/e/2026-06-02-leiden-declaration-ai-mathematics/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-06-02-leiden-declaration-ai-mathematics","date":"2026-06-02","date_precision":"day","short_title":"Leiden Declaration on Artificial Intelligence and Mathematics sets community norms for AI in maths (4,000+ signatories)","deck":null,"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.","category":"policy-safety","category_label":"Policy & safety","importance":3,"confidence":"medium","status":{"key":"partly","labels":["Partly confirmed"]},"sources":[{"n":1,"title":"Leiden Declaration on Artificial Intelligence and Mathematics","url":"https://leidendeclaration.ai","type":"official","group":"primary","domain":"leidendeclaration.ai"},{"n":2,"title":"Po-Shen Loh (guest post on Tao's blog): Why do we need human mathematicians anymore? (cites signatory counts)","url":"https://terrytao.wordpress.com/2026/09/19/why-do-we-need-human-mathematicians-anymore/","type":"discussion","group":"reactions","domain":"terrytao.wordpress.com"}],"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Lorentz Center","International Mathematical Union"],"title":"Leiden Declaration on Artificial Intelligence and Mathematics sets community norms for AI in maths (4,000+ signatories)","summary":"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)"],"key_numbers":[],"tags":["math","research-culture","declaration","attribution","open-letter"],"science":null,"body_md":"## What happened\n\nA 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.\n\n## Why it matters\n\nIt 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.","disputed":[],"related":[{"id":"2026-09-11-fields-medalists-letter-ai-mathematics","url":"https://postcutoff.com/e/2026-09-11-fields-medalists-letter-ai-mathematics/","date":"2026-09-11","date_precision":"day","short_title":"Fields Medallists' open letter 'A Severe Misalignment of AI in Mathematics' criticises labs' race for famous problems","deck":null,"takeaway":"It marked open tension between AI labs and the mathematical community at the moment AI began producing major results, and shaped norms for credit and verification.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":8,"official":3,"filed":"2026-09-29","updated":"2026-10-07","orgs":["mathandai.org"]},{"id":"2026-07-24-tao-icm-mathematics-in-the-age-of-ai","url":"https://postcutoff.com/e/2026-07-24-tao-icm-mathematics-in-the-age-of-ai/","date":"2026-07-24","date_precision":"day","short_title":"Terence Tao's ICM 2026 public lecture 'Mathematics in the age of AI' calls a crisis in the foundations of mathematical values","deck":null,"takeaway":"It was the most prominent framing of AI-and-mathematics at the field's main quadrennial event.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":8,"official":5,"filed":"2026-09-29","updated":"2026-10-18","orgs":["International Congress of Mathematicians","UCLA"]}],"people":[{"id":"terence-tao","name":"Terence Tao","url":"https://postcutoff.com/person/terence-tao/"},{"id":"kevin-buzzard","name":"Kevin Buzzard","url":"https://postcutoff.com/person/kevin-buzzard/"},{"id":"steven-strogatz","name":"Steven Strogatz","url":"https://postcutoff.com/person/steven-strogatz/"}],"posts":[{"id":"2026-10-02-harriss-stange-mathematical-illustration-proof-intuition-ai","title":"Harriss & Stange: 'Mathematical Illustration: Proof, Intuition and AI' (arXiv 2610.02655)","url":"https://postcutoff.com/p/2026-10-02-harriss-stange-mathematical-illustration-proof-intuition-ai/"},{"id":"2026-09-19-po-shen-loh-why-human-mathematicians","title":"Why do we need human mathematicians anymore?","url":"https://postcutoff.com/p/2026-09-19-po-shen-loh-why-human-mathematicians/"}],"videos":[],"models":[],"changes":[{"date":"2026-09-29","type":"filed","text":"Created. IMU endorsement and the 4,221 count come from the declaration site as read by a web fetch; confidence medium until re-checked"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-09-29","run":null,"sources_read":"IMU endorsement and the 4,221 count come from the declaration site as read by a web fetch; confidence medium until re-checked","updated":"2026-09-29","human_review":null,"version":{"date":"2026-10-04"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":33,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":null,"in_training_data":true},{"model_id":"gemini-4-hydrogen","name":"Gemini 4 Hydrogen","cutoff":"2026-03","days_after":63,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":2,"in_training_data":false}],"short_url":null}