第045章 AI的邏輯

葉銘盤膝坐在床上,閉上眼睛,在腦海中輕聲說著。
「小看我。」伊塔就彷彿一個不服氣的天才小學生,回了一句后立刻在腦海中生成了一長排的與門:「10101011001」
在1849年,阿爾方·德·波利尼亞克提出了猜想:對所有自然數k,存在無窮多個素數對(p,p+2k)。k=1的情況就是孿生素數猜想。
「可以。」
葉銘一把搶回書:「說正事兒。」
「就叫你去開會呢。」
伊塔也重複畫了一個。
「……陳老師怎麼說?」
李東升一拍巴掌:「還可以跟武大他們學!我們就是太老實了,一個積木一個積木地撿,這次,我們要一次性撿三個!」
……
大家齊齊笑了起來。
「大家看。」葉銘說著回頭,指向場內搭好的積木塔:「我們先從塔被擊倒后五塊積木的分佈開始,得出一個最佳的擊塔角度和力度——就有點類似於……」
「1369」
大家紛紛沉默,最終望向彭小飛。
一眼望去,就像在練什麼神功。
這種算力上的差距,葉銘已經沒有了和_圖_書直觀的理解。
它指的是(3,5)(5,7)(11,13)……(857,859)(881,883)……等等兩個相差為2的素數對,寫出來就是(P,P+2)。
聽了這話,所有人便再次望向葉銘。
隨著葉銘回答,他也集中注意力,在腦海中「畫」出一個標準的與門結構。
一說到疫情,葉銘就知道沒的說了,他皺起眉:「如果傳視頻的話,那就只能看哪個隊伍的R2機器人搭得更快,完全沒有對抗性了。」
腦海中傳來伊塔的聲音:「你是在給我複習電路知識嗎?」
「不錯,開球。」陳老師微微頜首,眼中全是讚賞:「開出一個利於R2搭建的最佳分佈,然後再優化R2的路徑。」
葉銘也笑眯眯地一揚下巴:「你知道啥?」
葉銘一楞:「卧槽,線上怎麼比?」
眾人也隨即笑了起來。
如果非要對比一下,那就是她的運算速度,大概比目前最強的超算,小鬼子的「富岳」強上幾個指數級的「九章」吧。
由於其于哥德巴赫猜想的高度相和圖書關性,使得近百年來,無數數學家不斷地朝發起挑戰,而最近的一次階段性勝利,是張益唐提出了一種有限間隔的方法,證明了「無窮多個素數p,p+7000萬」。而隨後一眾大神們根據他的方法,把7000萬縮小成了246。
陳老師略一沉吟後點頭:「但那要涉及到R2的任務機械臂改動,從設計到完善……時間上來得及嗎?」
但伊塔,居然能夠用她口中「打個盹」的時間,就隨便窮舉出了已知最大的孿生素數對往後的532對……
在1900年國際數學家大會的報告上,著名的德國數學家戴維·希爾伯特正式在第八個問題上提出了它,並進行了規範描述。
……
陳老師這句話當然是開玩笑的。
「能看到嗎?」
半天的事兒。
……
十分鐘后,兩人一同出現在備賽館。
宿舍的門被無聲地推開,彭小飛探出個腦袋,他見葉銘盤膝坐在床上,手裡抱著本書,緊鎖著眉頭,嘴裏還念念有詞……
「嗯。」葉銘不動聲色:「繼續,接下來是非門,或門……與非www.hetubook•com.com門……」
聽著陳老師的分析,大家都默默點頭。
「葉銘!」
「那走。」
彭小飛點頭:「是,所以我覺得,這他娘的是不是故意針對咱們……」
葉銘話音還沒落下,彭小飛便瞬間跳了起來。
在簡單說明了情況后,陳老師笑著望向葉銘:「我和彭小飛的意見一樣,估計是組委會看咱們的自瞄和防守太BUG了,所以刻意改成了線上。」
「正事兒就是,今天上午才接到RC組委會的通知,今年無論國內還是國際賽……可能都要改成線上舉辦了。」
看著好友的求助目光,葉銘笑著搖了搖頭。
「不,我接下來教你什麼叫邏輯門。」
「老子還以為你丫練神功呢……」彭小飛笑著拿起書:「這是下學期學的吧?你現在都打算背了?」
「轉成10進位。」
「咦,聰明!」葉銘鼓了鼓掌。
葉銘眼睛眯起,看著R2機器人,又想到李東升說的一次性撿三個,片刻后他聳了聳肩。
「你排列幾個不同的與門,得出答案。」
所有人再次望向他。
——彭小飛是隊里的和圖書操作手,重壓全在他身上。
當然來得及。
當看到書的封皮上是集成電路設計時,他才鬆了口氣。
「檯球開球!」
而別說要證明它,就算把它「找」出來,也需要耗費數不清的算力。
「你們說下,可以從幾個方面入手。」陳老師說完后便笑著望向眾人。
「不過既然都已經決定了要改到線上進行,那就意味著我們不用再管觀瞄和防守,全力優化搭積木的方案即可——其實這也是之前我說的,RC比賽看重的是最終任務的完成的。」
「為什麼要有這麼多門?」
「咋?」
「據說是傳視頻。」彭小飛也滿臉的不爽:「沒辦法,疫情原因。你說阿三那邊就算了,就算去咱們也有點心虛,國內沒必要搞這麼嚴肅吧……」
「因為……有這麼多邏輯。」
「我知道!」
無非就是個叉車嘛。
而彭小飛則「刷」的一下往向了葉銘。
孿生素數是什麼東西呢?
不得不說,姜還是老的辣。
「人類傳統計算機,是利用電路的斷開和連接來表示0或者1,從而實現二進位數字上的表達和計算。」
他想了和_圖_書想后道:「我想,我們或許可以從流程入手。」
老陳擔任指導老師后,他並沒有給戰隊帶來多少技術上的支持,畢竟那時候大家都已經完成了最後的升級。他提供更多的,還是競賽的理念。因此,也才有了最後面對武大,葉銘不求打掉對方,而是圍繞著干擾對方R2來制定戰術,最終贏得了比賽。
存在無窮多個素數p,使得p+2是素數。
「與門,當輸入端A和B同時處於高電平狀態1時,它輸出端的值取1,其他時候都取0。」
「現在,只是沒有了干擾,讓我們能夠專心致志地完成任務。」
利用多台計算機進行分散式網路計算的GIMPS,就專門干這活兒。雖然是它用來找梅森素數的,但素數就那麼些,找誰不是找啊?
這說明了,要找素數,不是一件容易的事。
「記下了。」
「如果我們把最終完成積木塔看成是機器人在現實中的任務,那麼拋球,躲球,只是對這個任務的干擾。」
這就是孿生素數猜想。
陳老師馬上望向他:「怎麼說?」
先是嚇了一跳,隨後他才輕手輕腳地走到葉銘面前。
上一頁