澄清对《人工智能与数学莱顿宣言》误解

澄清对《人工智能与数学莱顿宣言》误解

可能有些人对这个宣言误解了，其实我没有误解：1、我讲出了我的现实处境和经历；2、我学会了与现在的AI打交道，其实人还是主动的。你们理解其中的道理吧，我不一定是对的，AI也不一定是对的。宏观上只有我对了AI才会对。

下面是对“宣言”比较正确的介绍。

本宣言由学界自发起草，国际数学联盟(IMU)正式背书，旨在应对人工智能应用给数学研究带来的各类挑战。

前言

技术革新一次次重塑数学的研究范式。当下，依托符号演算、神经网络的各类人工智能工具，可用于数学命题生成与形式化证明，正开启数学发展全新阶段。面对 AI 浪潮，科研人员态度分化：有人满怀期待，看好 AI 助力前沿发现；有人畏惧技术迭代速度；有人漠不关心；也有人担忧其对数学学科与人类社会造成深远负面影响。

数学家可自主选择是否、如何在科研中使用人工智能，同时肩负维系学科长久繁荣的责任。本宣言立足数学研究视角，面向个体研究者、学术机构、政府与产业方提出行动倡议，相关准则同样适用于数理科学、数学教育、导师培养、学术出版、科研资助、科研政策以及各行各业的数学落地应用。

本宣言与学术界、文创领域其他应对同类挑战的行业倡议立场相通，可与《乌普萨拉科学家伦理准则》《旧金山科研评估宣言》《联合国教科文组织开放科学建议书》《英国通用科研伦理规范》互为补充。美国工业与应用数学学会(SIAM)、美国数学会(AMS)、国际数学联盟出版委员会也已出台配套相关文件。

一、坚守数学核心价值

本宣言的全部建议建立在数学研究固有核心准则之上，也是全球数学界共同守护的价值:

开展数学研究的动因多元，既有求知欲驱动，也为破解现实社会难题；证明是数学的根基，数学证明既能给出严谨可靠的结论，也能阐释结论成立的内在逻辑，是数学科研诚信的基石。

科研成果归属明确的创作者，作者享有成果署名权，同时对结论正误全权负责；这套准则是数学领域以学术水平论优劣的评审根基。

数学论证讲求公开透明、可独立核验，即便推导冗长晦涩，原则上不能依靠专有技术、涉密设备才能看懂。

学界依托深度、难度、学术价值的统一标准，客观评判各项数学成果。

数学不只产出定理结论，更在一代代研究者自主探索中沉淀认知、逻辑判断力与专业洞见；这类专业积淀是数学落地应用、提出全新重大科研问题的关键，自主把控研究方向与研究方法是数学长久发展的核心优势。

上述特质既是数学的学科属性，也定义了数学作为人类学术活动的本质。身为数学从业者，同时作为社会一员，我们有责任守护人类与自然环境。

二、人工智能带来潜在风险

人工智能的快速发展正对上述各项核心价值形成冲击，青年学者、在读学生受影响最为突出，进而威胁数学学科长远发展。

结论可靠性隐患‌：现有自动化工具能够生成看似严谨、实则谬误的推导内容，该问题不只限于自然文本，在形式化数学中同样严峻：机器编码和人类数学语言的转换极易出现漏洞，原始定义编写不当就会导致机器验证结果失真。AI 撰文加重审稿压力，传统以严谨、透明、可复现作为标尺的评审体系遭遇冲击。

文献溯源与署名体系受损‌：大量AI 模型依托海量已发表数学文献训练，但多数训练未遵循原论文版权与引用协议，生成内容整合前人成果却无法精准标注出处，动摇传统署名引证规则。

科研激励机制失衡‌：AI 的普及使得 "适配机器的课题" 更容易获得资源、项目与发文奖励，倒逼研究者扎堆此类方向；无法负担高端算力、不愿使用商业闭源 AI 的科研人员被边缘化，招聘、立项、评奖规则随之畸形。

成果评价乱象‌：不少研究跳过同行评审，借助新闻通稿、自媒体博文等非正式渠道提前造势宣传，刻意夸大成果价值、埋没前期奠基工作；市场导向的宣传过度神化 AI 能力，用单一数学任务表现片面定义通用大模型水平，误导公众认知。

学科自主性被侵蚀‌：科技企业深度入局数学科研，研究选题不再优先依托学界专业研判，转而优先挑选便于 AI 自动求解的方向，长期会造成重要冷门分支被忽视、学科发展被资本裹挟；高校经费承压之下，研究者被迫在不对等的合作条件下和企业合作，进一步压缩数学自主探索空间。

伦理衍生风险‌：大规模 AI 投入还关联军备研发、大规模监控、舆论操控、生态损耗等重大社会隐患，放任无序发展，数学从业者或将被动沦为有害技术的助推者。

基于以上风险，数学界亟需出台系统性应对方案。本宣言配套落地建议，欢迎各学术组织结合自身定位与治理细则采纳、增补相关条款。

三、面向个体数学家的行动建议

如实标注所用工具：在论文单独增设「工具与算力资源说明」板块，如实写明大模型、机器证明辅助软件、各类数值程序等自动化工具的使用情况；目前多数期刊已有相关规范，撰写参照联合国教科文组织开放科学建议书。

支持审查需求，坚持开放科学原则，保留对正确性的责任，肯定作者的人性，务必认真做好成果归属标注。

参与公共讨论，随时了解新兴技术，欢迎新贡献者加入，仔细评估要使用的工具，评估自身行为的伦理后果并采取对应行动。

四、面向数学学术组织与非营利科研资助方的建议

培养专业技能并制定战略计划，主导制定出版和审稿政策，保持严谨的学术标准，保护作者的权利。

坚持选择合适的出版渠道，支持公共研究实验室，提供协作框架，确保资金投入与核心价值导向相符。

五、面向各国政策制定者的建议

保护作者的版权权利，不盲目炒作夸大AI能力，规范AI行业发展，投资公共计算基础设施建设。

六、面向人工智能商业企业的倡议

尊重科研版权与学术规则，不干预数学研究选题的自主判断，避免资本裹挟学科发展方向，开放必要的算法解释权，维护数学作为公共知识的属性。

你可以查看完整中译全文了解全部内容：2026.6.2《人工智能与数学莱顿宣言》全文

这份《人工智能与数学莱顿宣言》的核心观点清晰，本质是‌规范AI在数学领域的应用，而非抵制AI技术，最终目标是维护数学学科本质与开放属性，实现AI与人类数学的良性共生。

一、核心观点梳理

坚守人类主体地位：‌ 明确数学研究的核心是‌人类对真理的理解与认知‌，AI只是辅助工具，不能取代人类的学术判断、严谨推导与科研责任，数学永远是人类主导的学术事业。

划定基础学术底线：‌ 明确全行业必须遵守的四项核心共识：证明是数学的基石，清晰理解与表述至关重要；科研成果必须明确归属创作者；结论应当能够独立复现验证；整个学界要共同承担以深度、难度、学术价值评判成果的责任。

拆解AI带来的六大具体风险：‌ 点明AI当前已经带来的现实问题：AI生成错误结论会误导后续研究、AI训练不遵守学术规范损害版权署名、资本裹挟导致科研选题失衡、营销炒作打乱正常成果评价体系、企业逐利挤压了数学自主研究空间、AI无序发展可能衍生社会伦理问题。

提出四维完整落地方案：‌ 针对个体研究者、学术机构、政府决策者、商业AI企业四类主体，分别给出了可执行的行为准则，构建了完整的治理体系，彻底终结了数学AI应用无规则的状态。

二、宣言诞生的背景价值

这份宣言诞生在OpenAI用AI攻克了80年未解决的埃尔德什距离难题之后，是学界对AI快速冲击的系统性回应，也是全球数学界首次针对AI应用达成统一行业准则，已经获得国际数学联盟官方背书，以及陶哲轩、彼得·舒尔茨等顶级数学家的公开支持，目前已有超过550名全球数学家签名支持。

它明确区分了两个关键认知：‌不反对AI赋能数学，反对的是AI的无序滥用和资本对数学公共属性的掠夺‌，目的是守住“数学是公共知识”这一底线，避免未来真理必须通过付费API才能获取，防止人类文明逻辑基石塌陷。

以上是对《宣言》的说明，不同位置的人会有不同感受和理解。我有我的感受和理解。

没有明文禁止研究，但‌正规学术期刊和官方机构基本不会受理非专业背景研究者用初等方法证明哥德巴赫猜想、黎曼猜想这类顶级猜想的成果‌——一方面是现有主流认知认为此类猜想无法用初等方法证明，另一方面大量非专业研究者的成果普遍存在逻辑漏洞，官方机构没有足够人力逐一审核。

2026年6月6日星期六