當前位置: UU看書 > 科幻 > 從黑科技到超級工程最新章節列表 > 第45章 AI的邏輯
選擇背景顏色: 選擇字體: 選擇字體大小:

第45章 AI的邏輯

孿生素數是什麼東西呢?

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

葉銘一愣:“臥槽,線上怎麼比?”

“據說是傳影片。”彭小飛也滿臉的不爽:“沒辦法,疫情原因。你說阿三那邊就算了,國內沒必要搞這麼嚴肅吧……”

一說到疫情,葉銘就知道沒的說了,他皺起眉:“如果傳影片的話,那就只能看哪個隊伍的R2機器人搭得更快,完全沒有對抗性了。”

彭小飛點頭:“是,所以我覺得,這他娘的是不是故意針對咱們……”

“……陳老師怎麼說?”

“就叫你去開會呢。”

“那走。”

……

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

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

大家齊齊笑了起來。

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

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

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

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

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

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

不得不說,姜還是老的辣。

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

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

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

而彭小飛則“刷”的一下往向了葉銘。

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

他想了想後道:“我想,我們或許可以從流程入手。”

陳老師馬上望向他:“怎麼說?”

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

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

“我知道!”

所有人再次望向他。

葉銘也笑眯眯地一揚下巴:“你知道啥?”

“檯球開球!”

“咦,聰明!”葉銘鼓了鼓掌。

眾人也隨即笑了起來。

“不錯,開球。”陳老師微微頜首,眼中全是讚賞:“開出一個利於R2搭建的最佳分佈,然後再最佳化R2的路徑。”

李東昇一拍巴掌:“還可以跟武大他們學!我們就是太老實了,一個積木一個積木地撿,這次,我們要一次性撿三個!”

陳老師略一沉吟後點頭:“但那要涉及到R2的任務機械臂改動,時間上來得及嗎?”

【新章節更新遲緩的問題,在能換源的app上終於有了解決之道,這裏下載 huanyuanapp.org 換源App, 同時查看本書在多個站點的最新章節。】

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

葉銘聳了聳肩。

當然來得及,半天的事。