第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組委會的通知，今年無論國內還是國際賽……可能都要改成線上舉辦了。」

本章未完，點選下一頁繼續閱讀。