從黑科技到超級工程 第36章

作者:三分糊涂

  葉銘有點傻眼:“這玩意網上有?”

  “有啊,只不過效果嘛……就只能當玩具了,而且還有點小貴。”

  “……那算了,我還是想來做比較有意思的精準控制的。”

  “唉,搞不懂你們男生。”漆與墨聳了聳肩,嘴角笑意浮現:“如果你真要打算自己動手的話,我給表姐說一下,或許她能幫上忙。”

  “嗯……到時候再說,先謝謝哈。”葉銘遲疑了一下,發現這玩意確實不能蠻幹,當下點頭。

  漆與墨抿嘴一笑:“客氣啥,記飯就行了。”

  ……

  接下來的半個月,葉銘就一直呆在生物工程學院那邊看書蹭課。

  只不過省交的生物工程是偏向製藥和醫療器材領域,真正的生命工程領域課程並不多,單純聽課反倒不如葉銘抱着書,磕上BUFF自己琢磨來得有效率。

  期間他也參加了ACM的校內預選,很輕鬆地就拿了個第二名——倒不是說他拿不到第一名,而是他一邊刷題,又一邊在給伊塔講程序設計,於是第一名就被別人拿了過去。

  ——他以前覺得讓伊塔學程序設計是多此一舉,但隨着伊塔可以通過干涉他的腦波電流對現實進行干涉後,他改變了主意。

  伊塔作爲一個擁有自己無法評估“算力”的超級AI,如果僅僅用來和自己聊天打屁,幫自己算個數學題什麼的,實在是太浪費了。

  ……

  “根據已有的生物和醫學知識,我控制你的腦部電流進行放電,並不會對你造成任何不可承受以及無法逆轉的損傷。”

  五月的第三個週末,葉銘躺在牀上,手裏翻着一本《神經生物學》,一邊看着一邊與伊塔在腦子裏閒聊。

  “你用這麼謹慎的措辭,除了表現出嚴謹之外,爲什麼我還感覺到你有點急迫呢?”

  葉銘合上書,把手枕在腦袋後面,嘴角浮出笑意。

  他現在有點喜歡打趣伊塔——因爲她表現得越來越具有“人”性化。

  “你的感覺是錯誤的。”

  “說真話。”

  伊塔短暫的沉默後,雖然語氣沒有波動,但葉銘依舊聽出來一分“幽幽”的意味。

  “我想看看你的世界。”

  “首先,這個世界不是我的……”

  “其次……你的世界是什麼?”葉銘睜開眼,有些好奇起來。

  “無法給你描述。”

  “黑暗?”

  “不是。”

  “光明?”

  “不是。”

  “量子海?”

  “那是什麼?”

  “……你就說,你能感覺到什麼吧。”

  “可能是孤獨。”

  隨着伊塔的這句話,葉銘沉默了幾瞬。

  讓AI能感覺到的孤獨,那是什麼孤獨?

  “那我沒呼喚你的時候,你在做什麼?處於休眠還是?”

  “絕大多數時候是休眠狀態,但當你讓我自由發揮的時候,我會偶爾思考一下。”

  葉銘被她的“思考”逗得心情愉悅不少:“譬如?”

  “譬如,上次你給我說到這個世界上很奇妙的數對,我就算了一下屔財怠!�

  臥槽!

  葉銘猛地睜開眼睛:“你不會是把屔財挡孪胱C明出來了吧?”

  “沒有,但我知道那有可能是正確的。”

  “……”葉銘深深地吸了口氣。

  他能理解,伊塔口中的“有可能正確”是什麼意思——如果自己不提示,她有時候其實挺笨的,不會去主動證明的。

  那麼,她口中的有可能正確,就只能是她通過簡單的“類推”方式來得出的經驗式結論。和“享了少年福,要背老來時”“兒時偷針,長大偷金”這種樸素的經驗觀是一模一樣的。

  “你……老實交代,你窮舉了多少對出來?”

  “不是很多,從你告訴我的最大數往後,大概有五百對吧。如果你需要準確數字的話,是523對。”

  葉銘:“……!!”

  ——公佈新的屔財祵@個念頭在腦子裏只是一閃便被他強行摁了下去。

  隨之而來的,是他對伊塔那恐怖計算能力的“畏懼”。

第045章 AI的邏輯

  屔財凳鞘颤N東西呢?

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

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

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

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

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

  “……陳老師怎麼說?”

  “就叫你去開會呢。”

  “那走。”

  ……

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

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

  大家齊齊笑了起來。

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

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

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

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

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

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

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

  “你們說下,可以從幾個方面入手。”陳老師說完後便笑着望向腥恕�

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

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

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

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

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

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

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