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