第45章 AI的邏輯

  孿生素數是什麼東西呢？

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

  葉銘一楞：「臥槽，線上怎麼比？」

  「據說是傳視頻。」彭小飛也滿臉的不爽：「沒辦法，疫情原因。你說阿三那邊就算了，就算去咱們也有點心虛，國內沒必要搞這麼嚴肅吧……」

  <div class="contentadv">

  一說到疫情，葉銘就知道沒的說了，他皺起眉：「如果傳視頻的話，那就只能看哪個隊伍的R2機器人搭得更快，完全沒有對抗性了。」

  彭小飛點頭：「是，所以我覺得，這他娘的是不是故意針對咱們……」

  「……陳老師怎麼說？」

  「就叫你去開會呢。」

  「那走。」

  ……

  十分鐘後，兩人一同出現在備賽館。

  在簡單說明了情況後，陳老師笑著望向葉銘：「我和彭小飛的意見一樣，估計是組委會看咱們的自瞄和防守太BUG了，所以刻意改成了線上。」

  大家齊齊笑了起來。

  陳老師這句話當然是開玩笑的。

  「不過既然都已經決定了要改到線上進行，那就意味著我們不用再管觀瞄和防守，全力優化搭積木的方案即可——其實這也是之前我說的，RC比賽看重的是最終任務的完成的。」

  「如果我們把最終完成積木塔看成是機器人在現實中的任務，那麼拋球，躲球，只是對這個任務的干擾。」

  「現在，只是沒有了干擾，讓我們能夠專心致志地完成任務。」

  聽著陳老師的分析，大家都默默點頭。

  老陳擔任指導老師後，他並沒有給戰隊帶來多少技術上的支持，畢竟那時候大家都已經完成了最後的升級。他提供更多的，還是競賽的理念。因此，也才有了最後面對武大，葉銘不求打掉對方，而是圍繞著干擾對方R2來制定戰術，最終贏得了比賽。

  不得不說，薑還是老的辣。

  「你們說下，可以從幾個方面入手。」陳老師說完後便笑著望向眾人。

  大家紛紛沉默，最終望向彭小飛。

  ——彭小飛是隊裡的操作手，重壓全在他身上。

  而彭小飛則「刷」的一下往向了葉銘。

  看著好友的求助目光，葉銘笑著搖了搖頭。

  他想了想後道：「我想，我們或許可以從流程入手。」

  陳老師馬上望向他：「怎麼說？」

  「大家看。」葉銘說著回頭，指向場內搭好的積木塔：「我們先從塔被擊倒後五塊積木的分布開始，得出一個最佳的擊塔角度和力度——就有點類似於……」

  葉銘話音還沒落下，彭小飛便瞬間跳了起來。

  「我知道！」

  所有人再次望向他。

  葉銘也笑眯眯地一揚下巴：「你知道啥？」

  「撞球開球！」

  「咦，聰明！」葉銘鼓了鼓掌。

  眾人也隨即笑了起來。

  「不錯，開球。」陳老師微微頜首，眼中全是讚賞：「開出一個利於R2搭建的最佳分布，然後再優化R2的路徑。」

  李東升一拍巴掌：「還可以跟武大他們學！我們就是太老實了，一個積木一個積木地撿，這次，我們要一次性撿三個！」

  陳老師略一沉吟後點頭：「但那要涉及到R2的任務機械臂改動，從設計到完善……時間上來得及嗎？」

  聽了這話，所有人便再次望向葉銘。

  葉銘眼睛眯起，看著R2機器人，又想到李東升說的一次性撿三個，片刻後他聳了聳肩。

  當然來得及。

  無非就是個叉車嘛。

  半天的事兒。