一件有点反常的事：数学界没有等AI真正“统治数学”，就先出来划线了。

16名数学专家发布《莱顿人工智能与数学宣言》，国际数学联盟背书，全球个人和机构可以签署。它没有喊停AI，也没有把机器当敌人。它盯住的是更麻烦的东西：当AI能写证明、造论文、提猜想，谁来确认它是真的？谁该署名？谁来承担审稿成本？

相比最初那条“国际数学联盟背书宣言”的简短消息，后续报道把问题补得更实：风险不只在解题正确率，而在论文系统、学术激励和工具不平等。数学争的不是机器会不会算，而是谁有资格把一个结论变成共同体承认的知识。

发生了什么：IMU背书《莱顿人工智能与数学宣言》

这份宣言的核心信息可以压缩成几条：

  • 发起者.16名数学专家。
  • 文件.《莱顿人工智能与数学宣言》。
  • 背书方.国际数学联盟，数学界最重要的国际组织之一。
  • 立场.不禁止AI进入数学研究，但要求建立使用规则。
  • 焦点.证明核验、论文质量、署名归属、审稿负担、伦理用途。

宣言针对的不是计算器式的AI辅助。数学家早就用计算、检索、形式化验证工具。Lean这类形式化证明系统，DeepMind的AlphaGeometry这类几何推理模型，都已经让“机器帮忙做数学”不再只是演示视频。

压力来自更通用的推理模型。OpenAI上月报告称，一款新通用推理模型独立解决了一项有80年历史的著名猜想。这里必须加一句：这是OpenAI报告称，不等于数学界已经完成确认。但信号够清楚了，AI正在逼近研究前沿，不只是刷竞赛题。

为什么重要：数学怕的不是错答案，而是劣币化

数学论文不是把答案贴出来就完事。

一个证明要能读、能查、能传下去。它要解释为什么这样想，关键思想在哪里，后人能不能复用。数学共同体承认的不是“看起来像证明的一段文本”，而是一套可核验、可讨论、可继承的知识。

AI最擅长的恰好是放大产量。低成本生成论文、证明草稿、研究线索，甚至看起来很完整的论证。问题来了：如果这些东西大量涌入预印本平台、期刊和会议，审稿人就会被迫替模型打扫战场。

这不是想象中的科幻危机，是很具体的制度成本。

问题过去的AI辅助数学现在的风险点
工具用途计算、检索、验证生成证明、论文、猜想
核验方式人类逐步检查大量文本先进入论文系统
归属判断人使用工具人、模型、提示、训练数据混在一起
真正成本学工具审稿、署名、披露、伦理全要重写

宣言最清醒的地方，是没有把AI问题讲成“机器抢数学家的饭碗”。数学家真正怕的是评价系统先失守。

“天下熙熙，皆为利来。”放到学术里，利不一定是钱，也可能是论文数、引用、职位、基金、公司展示页。商业AI公司要速度、规模和可展示成果；数学共同体要慢判断、严核验和可传承。两套激励撞上，论文系统最先吃苦。

谁受影响：审稿人和年轻研究者先被推上前线

普通读者暂时不用担心“AI证明了什么我该不该信”。真正直接受影响的是两类人。

一类是审稿人、编辑和期刊。

他们以后要判断的可能不只是结论是否成立，还包括：作者是否披露AI使用；AI生成部分是否可核验；模型贡献是否达到署名标准；证明有没有真正的数学解释，而不是漂亮的语言包装。

这些工作不会因为AI更强而消失。它只会从作者端转移到审稿端。

另一类是博士生、博士后和年轻教师。

资深数学家把AI当检索、验算、找反例的工具，问题不大。年轻研究者要面对的更残酷：谁能拿到更好的模型，谁会用更强的工具链，谁所在机构有更好算力，谁写作速度更快。论文竞争可能变成隐形军备赛。

宣言还提到伦理风险。数学成果可能进入军事或监控相关AI系统的训练链条。基础数学家过去常把自己放在“远离应用”的位置上，现在这道距离被模型训练缩短了。你未必造武器，但你的材料可能成为能力堆栈的一块砖。

这句话不该被夸大。基础研究和具体应用之间仍有许多环节。但数学界开始谈这件事，本身说明旧边界变薄了。

我的判断：规矩不是给AI设路障，是给数学留刹车

我赞成这次划线。

原因很简单：AI进入数学，最危险的阶段不是机器很弱，而是机器半强不强。它能产出足够像样的文本，足以骗过粗读；又不够透明，不能让共同体放心把判断外包给它。

这会制造一种很糟的局面：模型看着更强，论文系统反而更脆。

数学界当然不能假装AI不存在。禁止使用AI大概率没用，也不聪明。真正有效的路线，是把AI使用纳入披露、审稿、署名和验证规则。谁用了，怎么用的，用在哪一步，哪些部分经过形式化验证，哪些部分只是模型建议，都要讲明白。

这不是保守派害怕新工具。恰恰相反，这是一个成熟共同体面对强工具时该有的反应。

铁路刚出现时，争论不只是火车跑多快，还包括轨距、时刻表、信号系统和事故责任。没有这些规则，速度越快，事故越大。AI数学也是一样。证明速度提高，不代表知识生产自动变好。

接下来有三个变量值得盯紧：

  • 签署者会不会从少数专家扩展到更多主流数学机构。
  • 国际数学联盟、期刊和预印本平台会不会拿出AI使用披露规则。
  • 费城国际数学家大会是否把宣言变成审稿、署名和伦理指南。

现在它还不是强制制度，只是一道提前画出的线。但这道线很重要。因为等低质AI论文灌满系统，再来补规则，代价会高得多。

数学不缺聪明答案。数学缺的是共同体愿意承认的可信证明。AI能加速前者，却不能自动替代后者。

这才是《莱顿宣言》真正打中的地方：数学的护城河不在题目难，而在验证严。