第45章 AI的逻辑（1 / 2）

孪生素数是什么东西呢？

它指的是（3，5）（5，7）（9，11）……（857，859）（881，883）……等等两个相差为2的素数对，写出来就是（P，P+2）。

在1849年，阿尔方·德·波利尼亚克提出了猜想：对所有自然数k，存在无穷多个素数对（p，p+2k）。k=1的情况就是孪生素数猜想。

在1900年国际数学家大会的报告上，著名的德国数学家戴维·希尔伯特正式在第八个问题上提出了它，并进行了规范描述。

存在无穷多个素数p，使得p+2是素数。

这就是孪生素数猜想。

由于其于哥德巴赫猜想的高度相关性，使得近百年来，无数数学家不断地朝发起挑战，而最近的一次阶段性胜利，是张益唐提出了一种有限间隔的方法，证明了“无穷多个素数p，p+7000万”。而随后一众大神们根据他的方法，把7000万缩小成了246。

而别说要证明它，就算把它“找”出来，也需要耗费数不清的算力。

利用多台计算机进行分布式网络计算的GIMPS，就专门干这活儿。虽然是它用来找梅森素数的，但素数就那么些，找谁不是找啊？

这说明了，要找素数，不是一件容易的事。

但伊塔，居然能够用她口中“打个盹”的时间，就随便穷举出了已知最大的孪生素数对往后的532对……

这种算力上的差距，叶铭已经没有了直观的理解。

如果非要对比一下，那就是她的运算速度，大概比目前最强的超算，小鬼子的“富岳”强上几个指数级的“九章”吧。

……

“人类传统计算机，是利用电路的断开和连接来表示0或者1，从而实现二进制数字上的表达和计算。”

叶铭盘膝坐在床上，闭上眼睛，在脑海中轻声说着。

一眼望去，就像在练什么神功。

脑海中传来伊塔的声音：“你是在给我复习电路知识吗？”

“不，我接下来教你什么叫逻辑门。”

随着叶铭回答，他也集中注意力，在脑海中“画”出一个标准的与门结构。

“能看到吗？”

“可以。”

伊塔也重复画了一个。

“与门，当输入端A和B同时处于高电平状态1时，它输出端的值取1，其他时候都取0。”

“记下了。”

“你排列几个不同的与门，得出答案。”

“小看我。”伊塔就仿佛一个不服气的天才小学生，回了一句后立刻在脑海中生成了一长排的与门：“10101011001”

“转成10进制。”

“1369”

“嗯。”叶铭不动声色：“继续，接下来是非门，或门……与非门……”

“为什么要有这么多门？”

“因为……有这么多逻辑。”

……

宿舍的门被无声地推开，彭小飞探出个脑袋，他见叶铭盘膝坐在床上，手里抱着本书，紧锁着眉头，嘴里还念念有词……

先是吓了一跳，随后他才轻手轻脚地走到叶铭面前。

当看到书的封皮上是集成电路设计时，他才松了口气。

“叶铭！”

“咋？”

“老子还以为你丫练神功呢……”彭小飞笑着拿起书：“这是下学期学的吧？你现在都打算背了？”

叶铭一把抢回书：“说正事儿。”

“正事儿就是，今天上午才接到RC组委会的通知，今年无论国内还是国际赛……可能都要改成线上举办了。”