Leiden Declaration
Leiden Declaration on Artificial Intelligence and Mathematics 是数学界自发起草的一份声明，在 AI 改写证明生产方式、署名规范与同行评审流程的当口，明确划定了数学必须守住的核心价值。
宣言 2026 年 6 月 2 日 正式发布，是国际数学联盟 (IMU) 首次正式背书的、针对 AI 对数学研究影响的文件。由来自 15 所大学的 16 位研究者联合起草，导火索是 2025 年 9 月在荷兰莱顿洛伦兹中心 (Lorentz Center) 举办的一次工作坊。发布当天即获 864 人联署，其中包括菲尔兹奖得主 Peter Scholze 和 Terence Tao，是迄今数学界就 AI 问题发出的最具权威的集体声音。
宣言的直接导火索是：AI 系统以超出人力评审处理能力的速度，向期刊投送看上去像那么回事、实则有误的证明。菲尔兹奖得主 Peter Scholze 说：「数学研究的目标，是人对数学的理解」。宣言把这条原则视为不可退让的底线，不管 AI 能把什么自动化到什么程度。
可以把它理解成一套职业行为准则，AI 来之前，数学界从来没觉得自己需要这个。
搜索热度
-
萌芽0–7 天
-
初现8–30 天
-
验证中 ← 当前31–90 天
-
上升91–180 天
-
成熟180 天以上
为什么是现在火？
2026 年 6 月 2 日，国际数学联盟 (IMU) 正式背书了一份声明：AI 生成的证明正在淹没同行评审，人类数学家的署名权被抹去，研究方向也在向符合产业利益的问题偏移。Peter Scholze 和 Terence Tao 在发布后几小时内即联署，说明数学界已经从「担忧」开始向「协调行动」迈进。
前景
未来 6 个月的信号走势和商业化节奏。
IMU 背书加上两位菲尔兹奖得主联署，这份宣言的机构信用够硬。2026 年 AI 在数学领域的动作只会越来越多，宣言的曝光也会跟着积累。
风险 · 如果某个高知名度的 AI 数学证明被确认为真，紧迫感可能就此消散，社区跟进的势头也会随之减弱。
类比 · Montreal Declaration for AI · Asilomar AI Principles · open letter on AI pause
-
现在内容空白，竞争为零
针对这份宣言的 SEO 内容目前几乎还没有，现在入场写解读文章，自然流量基本能全收。
-
3-6 个月政策工具与合规
AI 披露核查清单、署名追踪工具、同行评审审计工具开始跑得通。
-
6-12 个月教育与咨询
机构陆续落地宣言规范，AI 合规数学研究的课程和顾问服务开始出现。
“Leiden Declaration” 的竞争与机会
三个启发式信号，来自追踪到的搜索词、这个词的变现卡片，还有它的相关词。仅供参考，未经核实。
“Leiden Declaration” 能做的点子
把这个词做成文章、网站、产品、帖子、邮件、视频或课程，随便挑一张卡片就能开干。
现在几乎零竞争的关键词群。把五项威胁讲清楚，谁签了名，对 OpenAI 和 Anthropic 这样的 AI 公司意味着什么。主要覆盖 'leiden declaration AI' 和 'leiden declaration mathematics' 两个搜索词。
把 AlphaProof、Gemini 等已验证的 AI 数学进展，和宣言对可靠性的担忧放在一起对比。能吸到研究者和科技记者带来的长尾流量。
常青型教程，瞄准 'AI disclosure mathematics' 和 'AI attribution academic paper' 两个搜索词。研究生和博士后是主要受众，有真实需求。
扫描 arXiv 投稿，按 Leiden Declaration 建议检查 AI 披露合规情况。主要面向期刊编辑和注重合规的研究者。
展示期刊中 AI 辅助证明投稿量的增长趋势，帮助编委会把 Leiden Declaration 关注的核心问题量化出来。
定期简报，追踪各期刊接受或拒绝 AI 辅助证明的案例，以及机构如何落地宣言建议。
面向泛科技受众的 YouTube 解读视频。Scholze 和 Tao 的联署给这个故事提供了足够强的可信度背书，有利于传播。
864 位数学家，包括两位菲尔兹奖得主，签了一份文件，意思说白了就是：别再不经允许用我们的成果了。
AI 领域以前的公开信基本上都被忽视了。Leiden Declaration 不一样：它点名了具体的行为，有 IMU 背书，而且来自 AI 训练数据真正依赖的那批人。
两位当世最顶尖的数学家在同一天签了同一份文件。他们到底说了什么，AI 实验室的沉默又意味着什么。
大家在搜什么
来自 Google Suggest 和 Trends 的长尾词。热度和竞争度是估算，仅供参考，未经核实。内容类型由搜索词的写法推断。
“Leiden Declaration” 的搜索结果
现在搜索的人会看到的页面：自然结果在上，有人投广告就显示在那。广告多少是实时的商业化信号。
常见问题
什么是 Leiden Declaration？
Leiden Declaration on Artificial Intelligence and Mathematics 是数学界自发起草的一份声明，在 AI 改写证明生产方式、署名规范与同行评审流程的当口，明确划定了数学必须守住的核心价值。
Leiden Declaration 为什么现在火？
2026 年 6 月 2 日，国际数学联盟 (IMU) 正式背书了一份声明：AI 生成的证明正在淹没同行评审，人类数学家的署名权被抹去，研究方向也在向符合产业利益的问题偏移。Peter Scholze 和 Terence Tao 在发布后几小时内即联署，说明数学界已经从「担忧」开始向「协调行动」迈进。
Leiden Declaration 是什么时候出现的？
约于 2026-06-02 公开出现（截至 2026-07-03 约 31 天前）。EarlyTerms 最早于 2026-06-03 记录到信号。
相关词
同一领域里的其他词：别名、子类、竞品，以及值得接着看的邻近词。
- 相关 ai-slop AI slop 是一个贬义词，专指 AI 生成的各类内容（文章、图片、视频、pull request）：技术上流畅，内容上空洞，批量生产只为刷点击或走流程，压根不是为了沟通。研究者总结了三个特征：表面能力、不对称的产出成本、可大规模复制。 →
- 相关 deep-research Deep Research 是一种 Agentic AI 能力，只需一个提示词，agent 就能自主浏览网络、综合数百个信源，交出一份带引用、达到分析师水准的报告。整个过程边搜边读、随时调整方向，通常跑 5 到 30 分钟。 →
- 相关 autoresearch AutoResearch 是一个 agent 循环：LLM 自主修改单个训练文件，跑一个固定 5 分钟的实验，检查选定指标有没有变好，然后保留或回滚这次改动，如此循环整晚。这是一套极简的「改 → 验 → 留/丢 → 再改」跑法，不是什么重型框架。 →
- 相关 sbti SBTI，全称 Silly Big Type Indicator（同时也是「傻逼 Type Indicator」的谐音缩写），是一款以 MBTI 为原型的网络恶搞人格测验。它用五个维度（自我、情绪、态度、行动、社交）共 15 道行为题，以曼哈顿距离算法匹配 25… →
- 相关 value-accuracy Value Accuracy 衡量的是 JSON 叶子字段的值有多少和标准答案完全一致，跟只检查格式是否合规的 JSON pass rate 是两回事。两者差距不小：schema 合规率普遍超过 84%，但哪怕是顶级模型，Value Accuracy 最高也只到 83%。 →
- 属于 ·
- 竞品 ·
- 相关 ·
来源
这份报告引用的一手链接，点开任意一条都能自己核对。
- 01 Leiden Declaration — 官方站 (leidendeclaration.ai) leidendeclaration.ai ↗
- 02 莱顿大学 — 新闻稿，2026 年 6 月 2 日 universiteitleiden.nl ↗
- 03 The Next Web — 数学家发布 Leiden Declaration，反对 AI 滥用 thenextweb.com ↗
- 04 Let's Data Science — 数学家发布 Leiden Declaration，就 AI 风险发声 letsdatascience.com ↗
- 05 Silicon Reckoner (Substack) — Leiden Declaration 深度分析 siliconreckoner.substack.com ↗
- 06 Quantum Formalism (Substack) — Leiden Declaration 划下了该有的那条线 quantumformalism.substack.com ↗
- 07 arXiv 2603.24914 — Shaping the Future of Mathematics in the Age of AI arxiv.org ↗
- 08 Hacker News 讨论 — 64 分，2026 年 6 月 3 日 news.ycombinator.com ↗