精选理由
16位数学家联手发出警告
由来自全球 15 所大学的 16 名数学家联合起草的《莱顿宣言》于 2025 年 9 月在莱顿大学洛伦兹中心工作坊后发布，约 60 名来自 10 国的专家参与讨论。该宣言获国际数学联盟（IMU）背书，指出 AI 对数学研究带来 5 类威胁，包括 AI 生成证明的隐蔽错误、模型复用成果缺乏引用、专有工具扩大研究者差距等。宣言未要求禁止 AI，而是呼吁建立清晰规范，警惕商业利益扭曲数学议程并高估 AI 能力。
AI 翻译 · 中文
由来自全球 15 所大学的 16 名数学家联合起草的《莱顿宣言》于 2025 年 9 月在莱顿大学洛伦兹中心工作坊后发布，约 60 名来自 10 国的专家参与讨论。该宣言获国际数学联盟（IMU）背书，指出 AI 对数学研究带来 5 类威胁，包括 AI 生成证明的隐蔽错误、模型复用成果缺乏引用、专有工具扩大研究者差距等。宣言未要求禁止 AI，而是呼吁建立清晰规范，警惕商业利益扭曲数学议程并高估 AI 能力。
IT之家 6 月 4 日消息，由来自全球 15 所大学的 16 名数学家联合撰写《莱顿宣言》（Leiden Declaration）， 警示 AI 正挑战数学的可靠性、署名、公平性与研究自主。 《宣言》源自 2025 年 9 月莱顿大学洛伦兹中心的“Mechanization and Mathematical Research”工作坊，约 60 名来自 10 国的数学家、计算机科学家、人文社科研究者和政策人士参与讨论。 该《宣言》已得到…