16名数学家起草《莱顿宣言》，警告AI冲击数学研究信任
16位数学家联合签署《莱顿宣言》，警告人工智能对数学研究的可靠性、署名权、公平性和自主性构成威胁。宣言指出AI生成证明可能隐藏错误、加剧资源差距，呼吁建立规范以维护数学作为人类活动的核心价值。
人工智能正在重塑数学研究的边界，但随之而来的隐忧也不容忽视。就在6月4日，一份由全球15所大学、16位数学家联合签署的《莱顿宣言》正式发布，直指AI给数学的可靠性、署名权、公平性和研究自主性带来的真实威胁。
这份宣言的诞生背景是2025年9月在荷兰莱顿大学洛伦兹中心举办的一次工作坊，主题就叫“机械化与数学研究”。当时大约60位来自10个国家的数学家、计算机科学家、人文社科研究者以及政策制定者共同参与了讨论。如今，这份宣言已经获得了国际数学联盟（IMU）等权威机构的背书。
宣言的核心立场相当明确：数学绝不仅仅是结论的堆砌，它本质上是一种人类活动——关乎理解、清晰的表达以及判断力的培养。数学研究的基石包括证明带来的高确定性、作者应承担的责任、成果的可验证性、学术共同体的评价标准，以及研究者自主选择研究方向的能力。这些传统价值在AI的冲击下，正在被重新审视。
有意思的是，宣言并没有简单粗暴地喊“禁用AI”，而是呼吁数学界建立一套清晰的规范。毕竟，目前已经有不少研究者利用AI来辅助写论文、生成证明甚至参与同行评审。关键问题在于，如何让工具服务于学科，而不是反过来侵蚀证明的严谨性、打乱署名秩序、模糊学术责任。
宣言具体列出了五类值得警惕的威胁：
第一，AI生成的证明看起来头头是道，但可能隐藏着不易察觉的错误；第二，模型可能直接复用人类的成果，却没有给出应有的引用；第三，昂贵的专有工具会拉大研究者之间的差距；第四，媒体宣传往往高估AI的实际能力，制造不切实际的期待；第五，商业利益还可能悄悄改变数学研究的议程，把资源引向更容易“出活”的方向。
其中，资源差距这个问题尤其棘手。那些能够使用先进专有AI模型和高价算力的研究者，显然会在竞争中占据优势。招聘、资助和评价体系也可能逐渐向“会用AI”倾斜。反过来，那些无法使用或不愿意依赖AI的研究者，很可能在学术竞争中处于越来越不利的位置。
宣言还担心另一个现象：AI数学成果经过新闻稿和博客的放大宣传，容易让大众高估AI的能力，同时低估人类已有的贡献。如果技术企业的影响力进一步增强，数学界可能会不自觉地优先追逐那些容易自动化、有利于展示产品效果的问题，而那些真正有深度、需要长期耕耘的方向，反而被边缘化。
总而言之，这份宣言是一记清醒的提醒——AI是工具，不是答案。数学研究的灵魂，终究在于人的判断与创造。
正软商城本月促销专区，汇集办公、设计、安全、影音、系统工具及AI软件等正版软件优惠活动，提供限时折扣、特价授权和优惠购买信息，活动库存及价格以页面实时展示为准。
正软商城装机必备专区，精选办公、浏览器、安全防护、影音播放、压缩解压、设计创作和系统工具等电脑常用正版软件，帮助用户快速完成新电脑软件配置。
正软商城Windows软件专区，汇集适用于Windows电脑的办公、设计、安全防护、影音播放、开发工具和系统优化软件，提供软件介绍、系统要求、正版授权及购买下载服务。
正软商城macOS软件专区，精选适用于Mac电脑的办公、设计、影音、效率、开发和系统工具，提供软件功能介绍、macOS兼容版本、正版授权及购买下载服务。
正软商城iOS软件专区，精选适用于iPhone和iPad的办公、学习、影音、设计、效率及AI应用，提供功能介绍、适用设备、系统要求和正版获取方式等信息。
正软商城AI软件专区，汇集AI写作、AI绘画、AI视频、AI办公、AI编程、AI翻译、智能客服和数据分析等人工智能工具，提供功能介绍、适用平台、收费方式及正版购买信息。
正软商城PDF教程频道提供PDF编辑、转换、合并、拆分、压缩及格式处理方法，同时介绍常用PDF软件和工具的使用技巧。
赤友清理大师是一款为 Mac 设计的智能清理优化工具，可精准扫描垃圾、大文件、重复文件等，释放磁盘空间。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
一款文字处理软件，一种订阅式的跨平台办公软件，基于云平台提供多种服务，通过将 Excel 和 Outlook 等应用与 OneDrive 和 Microsoft Teams 等强大的云服务相结合，Office 365 可让任何人使用任何设备随时随地创建和共享内容。
CodeExpander 是一款快捷短语输入增强工具，通过键入缩写自动展开为自定义文段，提升工作效率。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。
Mountain Duck 是一款能将多个网盘挂载到本地的工具，像本地磁盘一样使用网盘。清理链路的完整性会更好一些，做应用卸载、残留处理和空间整理时，通常能少走很多手动排查步骤。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
一款文字处理软件，一种订阅式的跨平台办公软件，基于云平台提供多种服务，通过将 Excel 和 Outlook 等应用与 OneDrive 和 Microsoft Teams 等强大的云服务相结合，Office 365 可让任何人使用任何设备随时随地创建和共享内容。
Wise Folder Hider Pro 是一款专业级文件和文件夹隐藏加密软件，为私密数据添加多重保护。高频操作更强调就近处理，浏览、整理和跨目录移动文件时，来回切换和重复点击都会少很多。
CodeExpander 是一款快捷短语输入增强工具，通过键入缩写自动展开为自定义文段，提升工作效率。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。
Mountain Duck 是一款能将多个网盘挂载到本地的工具，像本地磁盘一样使用网盘。清理链路的完整性会更好一些，做应用卸载、残留处理和空间整理时，通常能少走很多手动排查步骤。
