AI4Math ChronicleAI4Math 大事记

Leiden Declaration 为数学研究中的 AI 使用提出共同体原则

该声明源于 2025 年 9 月 Lorentz Center 举办的一次会议，约 60 名参与者来自 10 个国家，背景覆盖数学、计算机科学、哲学、历史、社会科学、产业与政府。随后较小的工作组在数月内结合广泛共同体反馈形成文本。

发生了什么？

2026 年 6 月 2 日，一个由 16 位作者组成的国际工作组发布 Leiden Declaration on Artificial Intelligence and Mathematics；该声明源于 2025 年在 Leiden 举行的 Mechanization and Mathematical Research 会议，并经过后续共同体咨询形成。International Mathematical Union 在声明发布时给予正式 endorsement。该文件围绕数学研究中的 AI 使用提出明确规范，包括透明度与披露、署名与归属、独立验证、开放学术实践、研究自主性与机构责任。

该声明源于 2025 年 9 月 Lorentz Center 举办的一次会议，约 60 名参与者来自 10 个国家，背景覆盖数学、计算机科学、哲学、历史、社会科学、产业与政府。随后较小的工作组在数月内结合广泛共同体反馈形成文本。声明以 DOI 形式存档于 Zenodo，获得 IMU endorsement，之后在 ICM 2026 公开讨论，并受到主要科学出版物的社论与报道关注。

为什么重要？

随着 AI 系统越来越深地参与数学研究，该声明把零散的个体反应推进为明确的共同体治理议程。它为 AI4Math 中反复出现的问题提供了持续性的参考点：应如何披露 AI 使用、如何处理署名与训练数据、独立验证意味着什么，以及数学机构在采用新工具时如何维护严谨性、可访问性与人类判断。

重要性说明：Leiden Declaration 构成领域建构里程碑，因为它把广泛、跨机构的共同体讨论凝结为一套面向 AI4Math 的具体建议，涉及透明度、署名与归属、验证、研究自主性、出版实践和学术治理。International Mathematical Union 的正式 endorsement、Nature 的独立学术讨论以及 ICM 2026 的公开讨论，表明其领域级制度影响并非仅来自签名数量或短期媒体热度。

历史脉络

更早进展
后续进展

—

相关里程碑

—

主要证据

证据与状态一览

重要性
H2 · 领域里程碑
验证状态
尚属声明
证据等级
E2 · 研究记录
AI 角色
不适用
形式保障
无形式保障

如何理解这些标签？ →

贡献与验证

数学新颖性
不适用
接口
不适用
AI 贡献
本事件记录的是人类共同体围绕数学中的 AI 制定治理与规范声明，而不是 AI 系统执行数学工作，因此不存在适用的具体 AI role。
人类贡献
人类参与者组织前期跨学科会议、组成工作组、依据共同体反馈起草和修订声明、发布可引用记录，并推动机构层面的讨论与 endorsement。
验证状态
尚属声明 · E2 · 研究记录 · 无形式保障
最后审阅
2026-09-14

技术细节

系统
—
机构
international-mathematical-union, lorentz-center
数学问题
—
方法
community-governance, research-integrity, ai-disclosure, open-science

全部来源与工件

验证历史

  • 2026-06-02 · 尚属声明 · E2 · 研究记录

    声明官网与 Zenodo 记录确认了正式文本、作者、发布日期与 DOI；IMU 公开记录其 endorsement。

  • 2026-09-14 · 尚属声明 · E2 · 研究记录

    Nature 与 Nature Machine Intelligence 的社论以及声明官方更新记录显示，该文件获得了显著的学术共同体关注，并在 ICM 2026 继续公开讨论。Chronicle 将这些材料用于支持历史重要性判断，但不把 endorsement 解释为所有规范建议已经获得普遍共识。

更正

当前没有记录的更正。