16名数学家起草《莱顿宣言》，警告AI冲击数学研究信任
Air Explorer Pro是一款跨平台多网盘管理工具，可实现一站式完成不同网盘间文件的互传、搜索和同步等操作。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。
16位数学家联合签署《莱顿宣言》，警告人工智能对数学研究的可靠性、署名权、公平性和自主性构成威胁。宣言指出AI生成证明可能隐藏错误、加剧资源差距，呼吁建立规范以维护数学作为人类活动的核心价值。
人工智能正在重塑数学研究的边界，但随之而来的隐忧也不容忽视。就在6月4日，一份由全球15所大学、16位数学家联合签署的《莱顿宣言》正式发布，直指AI给数学的可靠性、署名权、公平性和研究自主性带来的真实威胁。
这份宣言的诞生背景是2025年9月在荷兰莱顿大学洛伦兹中心举办的一次工作坊，主题就叫“机械化与数学研究”。当时大约60位来自10个国家的数学家、计算机科学家、人文社科研究者以及政策制定者共同参与了讨论。如今，这份宣言已经获得了国际数学联盟（IMU）等权威机构的背书。
宣言的核心立场相当明确：数学绝不仅仅是结论的堆砌，它本质上是一种人类活动——关乎理解、清晰的表达以及判断力的培养。数学研究的基石包括证明带来的高确定性、作者应承担的责任、成果的可验证性、学术共同体的评价标准，以及研究者自主选择研究方向的能力。这些传统价值在AI的冲击下，正在被重新审视。
有意思的是，宣言并没有简单粗暴地喊“禁用AI”，而是呼吁数学界建立一套清晰的规范。毕竟，目前已经有不少研究者利用AI来辅助写论文、生成证明甚至参与同行评审。关键问题在于，如何让工具服务于学科，而不是反过来侵蚀证明的严谨性、打乱署名秩序、模糊学术责任。
宣言具体列出了五类值得警惕的威胁：
第一，AI生成的证明看起来头头是道，但可能隐藏着不易察觉的错误；第二，模型可能直接复用人类的成果，却没有给出应有的引用；第三，昂贵的专有工具会拉大研究者之间的差距；第四，媒体宣传往往高估AI的实际能力，制造不切实际的期待；第五，商业利益还可能悄悄改变数学研究的议程，把资源引向更容易“出活”的方向。
其中，资源差距这个问题尤其棘手。那些能够使用先进专有AI模型和高价算力的研究者，显然会在竞争中占据优势。招聘、资助和评价体系也可能逐渐向“会用AI”倾斜。反过来，那些无法使用或不愿意依赖AI的研究者，很可能在学术竞争中处于越来越不利的位置。
宣言还担心另一个现象：AI数学成果经过新闻稿和博客的放大宣传，容易让大众高估AI的能力，同时低估人类已有的贡献。如果技术企业的影响力进一步增强，数学界可能会不自觉地优先追逐那些容易自动化、有利于展示产品效果的问题，而那些真正有深度、需要长期耕耘的方向，反而被边缘化。
总而言之，这份宣言是一记清醒的提醒——AI是工具，不是答案。数学研究的灵魂，终究在于人的判断与创造。
火山引擎是字节跳动旗下企业级云与AI服务平台。聚焦大模型核心能力，依托字节自研豆包多模态大模型，凭借火山方舟一站式平台，提供模型精调、推理部署、智能应用搭建等全链路服务，结合高性能AI算力，助力各行业快速落地大模型数字化与智能化应用。
AirBuddy 3 是面向 macOS 的蓝牙外设增强工具，可集中查看 AirPods、Beats 与苹果设备电量，提供快速连接、播放控制、电量提醒、桌面小组件和多台 Mac 外设接力等功能。
AirServer macOS版可把 Mac 转换为无线投屏接收端，通过 AirPlay 或 Google Cast 接收手机、平板和电脑画面，并支持多设备同时连接、高清镜像及会话录制，适合家庭娱乐、课堂教学、会议演示和应用展示。
火山引擎是字节跳动旗下企业级云与AI服务平台。聚焦大模型核心能力，依托字节自研豆包多模态大模型，凭借火山方舟一站式平台，提供模型精调、推理部署、智能应用搭建等全链路服务，结合高性能AI算力，助力各行业快速落地大模型数字化与智能化应用。
PixTV 是一款在浏览器中使用的 AI 视觉内容创作平台，提供图片、视频、音频、文字生成、AI 分镜、局部重绘、提示词反推和无限画布等工具，适合短剧、漫剧、广告及社交媒体内容制作。
Autodesk Maya 是面向影视、电视、动画和游戏行业的专业三维制作软件，集多边形与 NURBS 建模、角色绑定、关键帧和动作捕捉动画、Bifrost 特效模拟、材质开发及 Arnold 渲染于一体，