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