从"AI能证定理"到"AI正在系统性破坏数学的价值观"，数学界对AI的态度发生180度转向。国际数学联盟首次官方背书，两位菲尔兹奖得主亲自署名——这不是反AI的恐慌，而是经过8个月审慎讨论的理性划界。
事件回顾
2026年6月2日，一份名为《莱顿人工智能与数学宣言》（Leiden Declaration on Artificial Intelligence and Mathematics）的文件正式发布。宣言全文近5000字，由来自10个国家的约60位数学家、计算机科学家、哲学家和历史学家组成的国际工作组起草。
这份宣言的诞生历时8个月：2025年9月，荷兰莱顿大学洛伦兹中心举办了"机械化与数学研究"会议；此后一个工作组反复打磨草案，广泛征求数学界反馈，最终于2026年6月2日发布。截至6月3日，已有852位数学家在线签名支持，且数字仍在快速增长。
国际数学联盟（IMU）率先官方背书。 IMU副主席Ulrike Tillmann表示："AI给数学学科带来了新的、令人兴奋的机会，但也提出了不容忽视的问题。通过背书这份宣言，IMU确认数学研究的未来必须由人类判断、公平透明的实践以及全球数学界共同的价值观来引导。"
最引人注目的是两位菲尔兹奖得主的署名。 Terence Tao（陶哲轩）写道："这是数月社区讨论的成果，讨论的是数学界的基本价值和目标。回想起来，这些问题我们几年前就该系统讨论了。我全心全意支持这份宣言。" Peter Scholze的评论更加个人化："数学思想就像孩子，需要被滋养，需要时间成长。就像我不希望我的孩子被AI教育一样，我在思考数学问题时也不使用AI，而且我尽量避免阅读AI生成的文本。"
其他重量级签名者包括：Kevin Buzzard（帝国理工学院纯数学教授）、Steven Strogatz（康奈尔大学）、Jeremy Avigad（卡内基梅隆大学）、Leslie Ann Goldberg（牛津大学计算机系主任）、Robbert Dijkgraaf（阿姆斯特丹大学，前荷兰教育部长）等。
Hacker News上宣言获得54分、18条评论，Science杂志同日报道《数学家对AI快速崛起发出警告》获得52分、68条评论——这个话题在学术界引发了激烈的辩论。
为什么重要
这份宣言不是"反对AI"的呼吁。恰恰相反，它承认"AI技术已经可能开启了数学历史上一个重要篇章"。它的核心问题是：当AI能够批量生成"看似正确"的数学论证，而这门学科的根本价值观——证明的可靠性、署名传统、同行评议——都建立在人类判断之上时，该怎么办？
▲ 莱顿宣言核心数据
宣言系统性地梳理了AI对数学四大核心价值的威胁：
威胁一：证明的可靠性正在被侵蚀。 "当前的自动化技术可以生成看似合理但不可靠（甚至错误）的论证，且难以与正确证明区分。"这不仅仅是自然语言论证的问题——即便是形式化证明（在Lean等系统中），困难也不在于机器验证，而在于"计算机编码与人类概念呈现之间的翻译"。
威胁二：署名传统正在被瓦解。 AI模型训练于已发表的数学成果，输出时却不引用人类原作。"许多现有模型构建在通过系统性利用许可协议获取的数据之上——这些许可最初并未考虑AI用途，或干脆直接侵犯版权。"这意味着你读到的AI"证明"可能来自某位数学家的毕生心血，却没有任何署名。
威胁三：整个激励系统面临冲击。 "AI技术可能因其自身而受到激励——这打乱了我们的招聘、资助和认可机制。"更危险的是，"研究问题可能因其对自动化数学的'适配性'而被优先考虑，而非基于专家对其深层意义的判断。在自动化过程中，对领域的更广泛理解可能永久丧失。"
威胁四：同行评议体系面临数量级碾压。 这也是HN讨论中最受共鸣的一点——如果一个LLM能在一分钟内生成一百万个"证明"，而人类同行评议需要一周审一篇，那么整个质量控制系统就崩溃了。
宣言最尖锐的一段直指AI产业的商业化逻辑："数学出版物和形式化数学库越来越多地被用作训练数据——数学之所以有吸引力，是因为形式化证明的正确性可以自动检查，从而生成海量问题产生无限反馈来训练AI模型。这一策略的假设是：通过数学定理证明发展出的能力可以扩展到更广泛的通用推理。而其中一些通用模型正被商业化用于战争、压迫、大规模监控和破坏民主。"
我们能学到什么
第一，专业领域对AI的态度正在从"拥抱"转向"有边界的共存"。 这不是恐慌——宣言经过8个月审慎讨论，由顶尖数学家领衔，获得了全球最高数学权威机构背书。它代表的是：一个学科在经历了AI的初步冲击后，开始系统性地思考"什么可以交给AI，什么必须人类自己来"。
对AI创业者来说，这意味着市场正在成熟：如果你的产品声称"AI可以替代数学家/律师/医生做专业判断"，你将面临越来越强的专业反弹。但如果你的定位是"AI辅助人类专家更高效地完成重复性工作"，这反而是明确的市场信号——专业领域正在寻找负责任、透明的AI工具。
第二，"别信炒作"不仅是给政策制定者的警告，也是给AI创业者的忠告。 宣言直接说："当前科技行业有强烈的商业动机去夸大其产品的能力。"AI创业者尤其需要警惕——你是在卖真实可用的工具，还是在借AI之名卖焦虑？宣言建议数学家"考虑非专有、节能、小规模系统是否足够"——这意味着小而专的AI工具反而更受专业领域欢迎。
第三，开源和公共基础设施的重要性被再次强调。 宣言呼吁支持公共研究实验室、投资公共计算基础设施。这与当前AI创业圈开源的呼声一致——对AI创业者来说，建立在封闭黑箱上的产品正在失去信任。
行动建议
如果你是AI工具开发者：花10分钟读宣言全文（leidendeclaration.ai），尤其是"对商业AI的建议"部分。它没有说"不要做"，而是说"至少遵守我们要求于同行的标准"——透明披露、尊重版权、允许员工自由表达对公司政策的关切。
▲ 数学的边界：人类判断 vs 机器生成
如果你是AI创业者：关注专业领域正在形成的"AI使用伦理标准"。数学界的莱顿宣言很可能成为其他学科（物理、生物、法律、医学）效仿的模板。提前理解这些标准，而不是等监管来临时再被动应对。特别关注三点：①工具使用必须透明披露 ②人类必须保留最终判断责任 ③数据来源必须尊重版权。
如果你是内容创作者或投资人：这是一个理解"AI的真实边界"的极佳入口。与其看科技公司的发布会吹嘘"AI又超越人类了"，不如读一读这些站在领域最前沿的专家们是怎么系统性思考AI的——他们的担忧和期待，比任何营销话术都更接近真相。
*本文参考资料：莱顿宣言全文（leidendeclaration.ai）、Science杂志报道、Hacker News讨论（54分/18评论）、IMU官方背书声明。本文由AI辅助创作，经人工审核编辑发布。*
#AI创业 #AI风向 #莱顿宣言 #数学界对AI的集体回应 #一人公司
本文由AI辅助创作，经人工审核编辑发布