数学家联署宣言：对AI能力炒作说不

最近，一场沉默了许久的数学界，突然用数字让外界清醒了一下。超过150位大学教授，来自欧洲、日本、美国等全球多地，签署了一份《莱顿宣言》。他们没有推出新公式，没有宣布某个猜想被攻克，而是严肃地请求所有人——尤其是各国政府——“别信炒作”。什么炒作？那些关于人工智能系统拥有惊人数学能力的宣发。这个事件本身就像个反直觉的数学题：当最懂逻辑的一群人，集体站出来让你怀疑逻辑机器，背后一定有值得追问的东西。

事情从周二开始发酵。国际数学联盟副主席乌尔里克·蒂尔曼亲自为宣言背书。她在声明里写得很直白：AI当然打开了激动人心的新可能，但也带来了不容无视的问题。用她的话说，“未来数学研究的航向，必须由人的判断、公平透明的实践，以及全球数学界共享的价值观来指引。”这还不是全部。宣言的核心句子更直接——AI开发商面临着“强大的商业诱因……去夸大自家产品的能力”。这句话像一把钥匙，插入了我们每天被算法、大模型、智能体刷屏的感受门锁里。你可能也好奇过，为什么这类宣发总感觉哪里不对，却又说不清。这群数学家替你说清了。

让我们按他们的逻辑拆开看。首先，节奏不对。AI公司发布成果，走的是“市场时间表”。这个术语听起来有点学术，但说人话就是：投资圈有融资窗口期，产品发布要赶在对手前面亮肌肉，一切跟着钱走。可是传统数学研究呢？一篇论文要经过人类审稿、反复验证、会议讨论，有时一个猜想拖上十几年才得到确认。当这两种节奏发生碰撞，问题就来了。宣言警告，AI宣传“会误导性地用特定的数学任务，作为衡量商业模型通用推理能力的指标”。换句话说，你看到一段视频里，某个大模型解出了一道国际奥数级难题，就以为它能像人类数学家一样推理。这种联想，就像因为一只鹦鹉能模仿“你好”，就认为它掌握了语言学。商业机构当然愿意你产生这样的联想，恰好他们握有数百亿美元投资金的争夺压力。

哥伦比亚大学教授迈克尔·哈里斯，宣言的共同作者之一，接受法新社采访时说得更透彻。“主要实验室之间在进行一场生死竞赛，它们正企图利用数学……来吸引投资，好让自己活到最后。”哈里斯描绘的图景里，数学不再是单纯的真理探索，而被当成一种炫技舞台。就在这几天，埃隆·马斯克旗下的SpaceX（含子公司xAI）以及Anthropic，都在朝着公开上市迈进，行业旗手OpenAI据信也紧追其后。难怪厂商挤破头也要让模型在数学赛道上秀成绩。哈里斯还专门提了一个案例：就在上周，OpenAI在社交媒体上发布了一段视频，主角是加州大学洛杉矶分校教授陶哲轩。陶教授是菲尔兹奖得主，数学界声望极高。视频里他称赞了OpenAI产品对研究支持的潜力。问题不出在陶教授本人，而在这个机制。哈里斯的原话很值得画上双线：“他是位非常慷慨的人，为数学界贡献极多，但一味转向同一个人，仿佛他就是数学界唯一的喉舌，这并不健康。”看到这里，你可能才察觉出那层细微的不对劲——数学共同体不是任何人的独角戏，更不该成为商业背书工具。

除了商业裹挟，宣言还拉出来另一串更致命的隐忧。AI系统有可能生成看似天衣无缝、实则错误的证明。对于人类审稿人，这种错很难查。就像你收到一封语法完美、措辞得体的诈骗邮件，如果不是真打电话去核实，第一眼几乎会信以为真。更要命的是，AI模型的构造建立在海量已有研究成果之上，但是否给予原始研究者应有的署名和致谢？目前还悬而未决。这群数学家担心，AI的介入会悄悄改变数学界的激励结构。追逐“风口”的研究大量涌现，因为利用新工具能在短时间内抛出大量论文，而那些需要深度思考、暂时没工具辅助的根本性问题，却被弃之脑后。同行评审体系可能遭到短接——当论文产量爆炸，审稿人力却不变，谁能保证质量不下滑？此外，一个更深层的担忧是：研究者的身份会不会逐步滑向AI开发者的服务提供方，而不是像大学里那样，拥有自由选题、独立探索的主动权。这些后果听起来抽象，但摊开都跟切身有关。数学从毕达哥拉斯时代开始，就是人类纯粹理智游戏和现实世界的桥梁。一旦桥梁的支柱被资本和算法悄悄挪动，你我对“可靠答案”的期待，或许就要打上一个大大的问号。

宣言也没跳过AI在战争领域的潜藏危害。文末的“warfar”一词，虽然原文没有展开，但足以让人联想到一系列灰色场景。当数学推理能力被整合进军事AI系统，错误的风险就不再只是论文被退稿，而是可能关乎生命安全。这大概也是数学家们急促发声的另一个脚注。

现在，我们把镜头拉远。这群签署者并不是反技术的老古董。蒂尔曼自己就承认，AI提供了激动人心的新可能。他们反对的，是信息不对称下的过度承诺，是用炫目技巧包装出的虚假能力感，是把数学当成资本游戏的啦啦队。宣言的名字取自签署地莱顿，却也隐喻着一种照亮：在这个人人都能秀一段自动生成的数学推导视频的年代，或许更需要一群不轻易鼓掌的数学守门人。他们的信号很清楚——AI的能力边界要放在人类公平审查、透明验证的桌面上谈，而不是由融资时间表的鼓点来定。你可能也会想，那么普通读者能做什么？一个简单的起点是：下次看到一个声称“模型证明了某数学猜想的视频”，别急着转发，先问一句，“哪个审稿人独立验证过？”保持这种追问，本身就是在帮忙维护数学界所说的“共享价值观”。

数学不只是解题，它是人类理性的地基。当150多位教授同时感到有必要出来说“地基需要我们自己来守护”，这件事本身就透露了一个值得深思的事实：算法虽然能算出越来越多答案，但该由谁来出题、谁来批卷，这个问题还远没到该交给算法的时刻。