数学带来世界末日?
2017-1-11 04:27:44 浏览1500次

由阿莱克斯·吉布内撰写和执导的新记录片《零日》(ZERO DAYS)无疑是本世纪最重要的电影。它同时与数学高度相关,因为这部电影的重点在于数学使我们可以通过一些算法就可以在几周内终结所有人的生命。

理论上,我们在上世纪90年代中期就已经知道这些。然而,这部电影已经清晰地告诉我们,这一切已经不再是假设。我们已经可以做到这些了。

这部电影表面上是关于计算机病毒“震网”的创造和分布,该病毒在2011导致了许多伊朗核计划中离心机的自毁。事实上,这也正是电影前四分之三部分的主题。

大部分被表述的内容都会被那些理解了这个迷人的故事的人所熟知,因为它是由一些与商业网络安全组织的调查记者揭露出来的。然而,在这件事情的处理上,让我感到有些奇怪的是,美国情报部门似乎已经和电影制作人合作,基本上承认了镜头中描述的“震网”是美国和以色列的联合项目,正如被外界广泛猜测却并未得到证实的那样。

电影的最后20分钟揭示了这种意料之外的坦白的原因。在发现用一小段计算机代码建造末日武器是真实可能的之后,一些现代网络战的核心参与者意识到在世界范围内引起对当前形势的警醒迫在眉睫,并希望可以在如何处理这一情况的问题上达成全球的协定。正如一位高排位的贡献者所说,对全球核战可能导致人灭绝的认识导致了一个不安定,却稳固的制衡的建立,这一平衡从上世纪50年代持续至今。这位贡献者表示,我们需要对网络战做的事。

在过去几千年中,数学一直是战争的主角。这一关系至少可以追溯到阿基米德公元在前250年所设计的用于与罗马作战的武器。

在上世纪40年代,当数学家与物理学家合作研发核武器时,数学驱动的武器发展达到了令人惊恐的程度。人类第一次拥有了可以灭绝人类的武器。

现如今,四分之三个世纪过去,计算机工程师可以用数学建造至少有着相同破坏力的网络战武器。

计算机代码如此危险的原因就在于,在当今社会,我们生活中主要依赖的基础建设是建于数学之上的。我们使用的大部分的技术系统和设备的内部是数以千计被称为“可编程逻辑控制器”(Programmable Logic Controllers ,PLC)的固态计算机。这些控制器基于传感器的输入,可以自主决策。

“震网”病毒则可以将自身嵌入进控制伊朗离心机的控制器,引起离心机持续加速并超过安全范围,从而导致离心机解体。与此同时,“震网”病毒向在控制室中的工程师发送系统正常的信号。

想象一下,现在有许多相似的代码以相同的方式引起关键系统的失效,如:电网系统,交通信号灯系统,供水系统,输气管网系统,医院系统,航线网络系统等。即使是你的汽车——以及其他任何由发动机驱使的车辆——都可能彻底停止工作。可编程逻辑控制器同样在这些设备和网络中起作用。

事实上,想象一下,这些破坏可以以这种灾难性且相互联系的方式被施加,并且需要几周的时间才能恢复被破坏的系统。在没有电力、水力、交通与通讯的情况下,几百万人会在短短几天内开始死去,开始是成千上万的飞机,汽车与火车事故,随之而来的就是世界范围内的暴乱。

可以肯定的是,现在的情况还未及于此,企图传播病毒的国家在摧毁不同系统的路上所需要克服的困难依然相当大——尽管这些系统的相互依存关系在一定程度上会降低他们的安全系数。另外,当自主的代码被释放出来,这些代码倾向于向多方向传播,就像所有电脑用户迟早会发现的那样。因此,释放病毒的国最终也会毁灭。

但是,“震网”病毒展示出了电影中的场景在不久的将来可能变为现实。如果你可以实现这一切一次,你就可以重复造出这些武器。毕竟,这种武器不过是一种数学结构;一段代码罢了。设计这种武器则是个数学问题。不像核弹,数学家们不需要将他们的结果交给那些大型的资金充足的组织来造出这种武器。他们只需要自己敲击键盘即可。

这种原动力正是数学的本质,因为我们的祖先在几千年前就开始发展这门学科。我中那些数学专业的人一直知道这一点。看起来,这种力量已经到了新的水平,其可怕程度已经不亚于核弹了,而吉布内的电影的本意就是让更多的观众意识到这种力量。并不是说我们正面临着算法带来的人类的濒临灭绝,而是我们正处于一个数学的新纪元。