作者：胖胖的小橘
【克勞德·埃爾伍德·夏農】：李東教授，我看完了，恕我直言。
【夏農】：這玩意兒也配叫人工智慧？簡直狗屁不通！
李東：……
您牛逼，等著！
李東熟練的披上馬甲。
【李東教授】：您說得是，我也覺得沒什麼意思，那是我一個侄子瞎玩的東西，我最近在研究一個數學猜想，實在是抽不出幾個小時去弄明白這些東西。
【李東教授】：不過我那侄子他們前些天，自己又折騰了個小玩意兒，路數不太一樣，您要是有興趣，也給瞧一眼？
他將那個幾百個G原始碼拖進了對話方塊。
不過就在他點擊發送以後，突然意識到……
我特麼還沒啃透呢！
李東嘆了口氣，等待著傳送失敗的提示。
然而，就在這個時候。
群提示出現了——傳送成功。
李東看著這四個字，半天沒回過神來。
最後他看了一眼小黑，心中吐槽。
小黑，你是群的親兒子？
這都能傳送成功？
就在李東瞎猜的時候，夏農發來了訊息。
【克勞德·埃爾伍德·夏農】：……有點意思。
【夏農】這東西離“人工智慧”四個字，還差的遠，不過比起你之前給我看的那堆狗屁不通的玩意兒，它至少踩在地上。
【夏農】：李東教授，這東西不錯，你可以獎勵你的侄子一個棒棒糖。
李東：？？？
第408章 主人，你腦子轉不過彎呀？
“把假設空間上的列舉搜尋、候選程式的等價性判定、逐字元的精確符號歸約，這三個原語貫徹下去，就是整套範式的核心，我這麼總結，對吧？”
“對哦，主人都問第三遍啦。”
“第一遍叫確認，第二遍叫複述，這一遍叫總結陳詞。”
“哦。”
“你這個哦，是什麼意思？”
“沒什麼意思呀，小黑只是在配合主人找回場子。”
李東深吸了一口氣，決定不和一個沒有實體的東西計較。
海淀，西北旺。
產業園的灰色小樓裡，主控臺上放著一臺筆記本，牆角橫七豎八的放滿了外賣袋。
李東已經在這個機房裡待了三天了。
第二天的時候他就想給林偉打電話了，可是他突然想到，這個程式碼自己都沒啃透，真送到了華軒那邊去，華軒的工程師要是問兩個問題，把他問啥了怎麼辦。
於是這幾天他就在機房裡向小黑學習。
“繼續，等價性判定這個東西，你做的是商集劃分，凡是判定意義下等價的候選程式，統統摺疊成同一個代表元。”
“可是程式的語義性質，按萊斯定理是不可判定的，你這臺判定器憑什麼停得了機？”
“因為小黑判定的從來就不是全體程式呀。”
“嗯？”
“列舉搜尋出來的每一個候選，都是關在資源受限的假設空間裡的，碼長封頂，步數也就了封頂。”
“在一個停機性被強制保證的空間裡做判定，萊斯定理它管不著哦。”
“所以……是搜尋這一層先把不可判定性掐死，判定這一層才行得通。”
“空間再被等價類這麼一折疊，組合爆炸也跟著壓了下去了？”
“主人好棒，獎勵主人一朵小紅花。”
李東：……
李東：問……（略）
“這個，昨天下午剛講過哦，主人記性真差！”
……
“主人，你好笨呀。”
“主人，要梯度做什麼呀？”
“主人，你腦子轉不過彎呀？”
“主人偶爾也能講出很聰明的話呢。”
……
就這樣的一問一答持續了整整三天。
三天裡，李東把那個原型程式碼，從入口順著呼叫鏈摸到了核心。
雖然最深處的細節他還沒有完全吃透，但整個大框架算是沒問題了。
不過代價是他被一個人工智慧罵了整整三天。
偏偏小黑的語氣又萌又乖，他連脾氣都沒處發。
……
第三天傍晚，李東走出了機房。
9月的陽光灑在他的臉上。
陽光，真好啊。
園區的路邊停著一輛黑色的轎車。
他朝那邊走了兩步，然後就看到了車的輪胎，心中一陣膈應。
他現在看見黑色的圓形物體，心裡就不舒服。
看到李東過來，老吳推開車門點了根菸，然後重重地鬆了口氣。
這三天，他是真怕這位死在裡面。
要不是每天都親眼看著外賣準時送進園區，他早就衝進去了。
李東慢慢走了過來，就站在旁邊，等老吳把這根菸抽完才說道。
“吳老師，麻煩你了，回一趟藍旗營。”
老吳點了點頭。
車子駛出園區，李東靠在後座上，看著窗外後退的廠房，在心裡罵了一句。
媽的，被一個不是人的玩意兒給鄙視了，這個氣，我一定要去開一節公開課給發出來！
……
藍旗營的兩居室裡，李東主要是回來洗漱的，三天沒洗澡，這大夏天的身上都快臭了，而且……
他看著鏡子裡的程冠希，下巴上已經有了一層青色的鬍渣了。
“看來就算是我，不收拾一下也都快變成趙本山了。”
洗漱完後，李東就揹著一臺新的筆記型電腦出了門，路上順便買了兩袋水果，朝著清華園走去。
清華園，歸根居的小院裡。
楊先生坐在藤椅裡，姚先生坐在他對面，兩人中間的石桌上擺著一壺茶。
翁博士站在旁邊，不聲不響地替他們續上了茶水。
“楊老啊，”姚先生端起茶杯，先開了口，“你這身子骨，是真沒事了吧？”
楊先生上個月又進了一趟醫院。
訊息傳出去的那幾天，可把方方面面都擔心壞了。
到了他這個歲數，每一回進醫院，都是闖生死關呀。
誰知道這位老先生又一次挺了過來，出院那天，精氣神看著竟比進去之前還好上了那麼一點點。
楊先生擺了擺手，笑呵呵地說道。
“我命硬，老天爺不收啊。”
兩位老人對視了一眼，一齊笑出了聲。
笑過之後，姚先生放下茶杯，像是忽然想起了什麼。
“對了，你上回跟我提的那個李東，前陣子來聽過我的課了，課後我們還聊了一下午。”
“哦？”
“那感覺怎麼樣啊？”
姚先生想了想才說道。
“忘年交啊。”
聽見他這麼說，楊先生倒是有些吃驚了。
要知道，老姚的學問做到了那個份上，眼界那可不是一般的搞，平日裡夸人頂天了就一句不錯。
忘年交這種話能從他嘴裡說出來，楊先生活了一百多歲，還是頭一回聽見。
不過他也沒有多問，只是笑著點了點頭。
就在這時，翁博士的手機響了。
她走到一旁接起來，聽了兩句捂住話筒回過身問道。
“門崗那邊說李東來了，讓他進來嗎？”
“當然啊，”楊先生笑著說道，“這裡還坐著他的忘年交呢。”
姚先生哈哈大笑。
翁博士忍著笑點了點頭，對著手機說了一聲，嗯，可以。
不一會兒，李東就揹著雙肩包，手裡提著兩袋水果走了進來，進門就挨個打招呼。
“楊先生，姚先生，翁博士。”
他把水果放在石桌上，先朝著楊先生問候道。
“聽說您老前一陣子又去了趟醫院？身子骨沒事吧？”
“沒事沒事。”楊先生擺擺手，笑眯眯地問道，“你今天，是來找我的，還是來找老姚的呀？”
“楊先生，我今天是來找姚先生的。”
楊先生點了點頭，端起茶杯，不再說話了。
姚先生倒是來了興致。
“哦？找我？什麼事啊？”
“我搓了一個大模型的原型出來。”
李東把筆記型電腦從包裡取了出來。
“想請您給把把關。”
上一篇：我家艺人太没上进心了
下一篇：挨打永久加防御，神魔都打不动我