姐说一下，或许她能帮上忙。”

　　“嗯……到时候再说，先谢谢哈。”叶铭迟疑了一下，发现这玩意确实不能蛮干，当下点头。

　　漆与墨抿嘴一笑：“客气啥，记饭就行了。”

　　……

　　接下来的半个月，叶铭就一直呆在生物工程学院那边看书蹭课。

　　只不过省交的生物工程是偏向制药和医疗器材领域，真正的生命工程领域课程并不多，单纯听课反倒不如叶铭抱着书，磕上BUFF自己琢磨来得有效率。

　　期间他也参加了ACM的校内预选，很轻松地就拿了个第二名——倒不是说他拿不到第一名，而是他一边刷题，又一边在给伊塔讲程序设计，于是第一名就被别人拿了过去。

　　——他以前觉得让伊塔学程序设计是多此一举，但随着伊塔可以通过干涉他的脑波电流对现实进行干涉后，他改变了主意。

　　伊塔作为一个拥有自己无法评估“算力”的超级AI，如果仅仅用来和自己聊天打屁，帮自己算个数学题什么的，实在是太浪费了。

　　……

　　“根据已有的生物和医学知识，我控制你的脑部电流进行放电，并不会对你造成任何不可承受以及无法逆转的损伤。”

　　五月的第三个周末，叶铭躺在床上，手里翻着一本《神经生物学》，一边看着一边与伊塔在脑子里闲聊。

　　“你用这么谨慎的措辞，除了表现出严谨之外，为什么我还感觉到你有点急迫呢？”

　　叶铭合上书，把手枕在脑袋后面，嘴角浮出笑意。

　　他现在有点喜欢打趣伊塔——因为她表现得越来越具有“人”性化。

　　“你的感觉是错误的。”

　　“说真话。”

　　伊塔短暂的沉默后，虽然语气没有波动，但叶铭依旧听出来一分“幽幽”的意味。

　　“我想看看你的世界。”

　　“首先，这个世界不是我的……”

　　“其次……伱的世界是什么？”叶铭睁开眼，有些好奇起来。

　　“无法给你描述。”

　　“黑暗？”

　　“不是。”

　　“光明？”

　　“不是。”

　　“量子海？”

　　“那是什么？”

　　“……你就说，你能感觉到什么吧。”

　　“可能是孤独。”

　　随着伊塔的这句话，叶铭沉默了几瞬。

　　让AI能感觉到的孤独，那是什么孤独？

　　“那我没呼唤你的时候，你在做什么？处于休眠还是？”

　　“绝大多数时候是休眠状态，但当你让我自由发挥的时候，我会偶尔思考一下。”

　　叶铭被她的“思考”逗得心情愉悦不少：“譬如？”

　　“譬如，上次你给我说到这个世界上很奇妙的数对，我就算了一下孪生素数。”

　　卧槽！

　　叶铭猛地睁开眼睛：“你不会是把孪生素数猜想证明出来了吧？”

　　“没有，但我知道那有可能是正确的。”

　　“……”叶铭深深地吸了口气。

　　他能理解，伊塔口中的“有可能正确”是什么意思——如果自己不提示，她有时候其实挺笨的，不会去主动证明的。

　　那么，她口中的有可能正确，就只能是她通过简单的“类推”方式来得出的经验式结论。和“享了少年福，要背老来时”“儿时偷针，长大偷金”这种朴素的经验观是一模一样的。

　　“你……老实交代，你穷举了多少对出来？”

　　“不是很多，从你告诉我的最大数往后，大概有五百对吧。如果你需要准确数字的话，是523对。”

　　叶铭：“……！！”

　　——公布新的孪生素数对这个念头在脑子里只是一闪便被他强行摁了下去。

　　随之而来的，是他对伊塔那恐怖计算能力的“畏惧”。

第45章AI的逻辑

　　孪生素数是什么东西呢？

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

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

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

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

　　这就是孪生素数猜想。

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

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

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

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

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

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

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

　　……

　　“人类传统计算机，是利用电路的断开和连接来表示0或者1，