研究背景
2026 年 6 月，16 位数学家联署发布《莱顿宣言》，警告 AI（尤其是能产出顶刊级证明的推理模型，如 OpenAI 推翻单位距离猜想的模型）对数学研究生态的冲击：证明的信任机制、青年数学家的培养路径、署名与学术责任的界定。
方法与核心内容
宣言的核心议题三则：其一，AI 生成的证明如何验证与存档（形式化验证是方案之一）；其二，当 AI 能产出 Annals 级结果，数学博士的训练价值何在；其三，模型训练数据中的数学成果版权与引用规范。宣言并非否定 AI——签署者中多有积极使用 AI 工具者——而是要求共同体主动建立规范。
结果与意义
宣言引发数学界大讨论（MathOverflow 上 AI 证明该发表在哪的争论即为回声）；出版界开始制定 AI 参与研究的披露政策。与 OpenAI 单位距离反例、DeepMind IMO 金牌同框，2026 年被观察者称为数学与 AI 关系的制度重建元年。
我们的观点
我对宣言的立场：方向正确、时机恰当、方案不足。宣言正确地指出了验证能力与生产能力的失衡风险——当 AI 的产出速度远超人类的验证速度，数学知识的增长就失去了质量锚点。但宣言缺少可操作的制度设计（如 AI 参与度分级标注、验证工作量证明等），这些需要期刊与基金机构跟进。
对本站读者（学习者）的实在建议：AI 能生成证明，但读懂证明与判断哪个问题值得证明仍是人类的核心竞争力——本站经典研读模块强调的讲透吃透，恰恰是 AI 时代数学训练的不变锚点。