作者：胖胖的小橘
這世上成千上萬的行業，也只有數學這門學科，給得起這種非黑即白的答案。
模型的最終的設計交付，絕對不能是一個給教授代寫水稿的LLM工具。
它該是一個能與你並肩往無人區裡推進的同事。
最後，李東把那幾條在沙盤裡塌掉的死路，也告訴了小黑。
李東說得很慢，也很細。
像在給一個聰明絕頂卻沒見過世面的孩子，描述外面的世界。
等他說完這些，嗓子都有些發乾了。
小黑安安靜靜聽完，蹦了一下。
“明白啦，主人！”
“小黑想一想哦。”
說完，它又開始一縮一脹的了。
……
李東起身活動了下腿腳，剛想去翻包裡的水。
手機突然又震了一下。
這一回他注意到了。
鎖屏上照舊空空蕩蕩，沒有任何推送。
老規矩，青龍學習小組。
他點開群，【入群申請】那一欄，掛著一個紅點。
點進去，還是那個待在那已經快一年的入群申請。
【克勞德·埃爾伍德·夏農】申請加入群聊。
和往常沒有什麼不一樣……
不對……
李東突然注意到，這個入群申請的後的同意鍵……
亮了！
李東心跳有些加速，上回這鍵按不動的時候，他猜過可能是小黑走的還不夠遠。
今晚，小黑剛搬完家，剛吃完那一頓……
李東暫時壓下心中的猜測，用手指點了【同意】
青龍學習小組內彈出了一行字。
【克勞德·埃爾伍德·夏農，已加入青龍學習小組。】
群成員列表裡，一個新的頭像，亮了起來。
這個名字哪怕落在牛頓、黎曼、馮·諾依曼之間，竟然也不顯得遜色。
現代資訊時代底層的0和1，那套奠基的布林代數和資訊理論，就是從這個名字的論文開花結果的。
下一秒，新成員開口了。
【克勞德·埃爾伍德·夏農】：這個空間，終於進來了。
李東愣住了。
什麼意思，夏農知道這個群不對勁？
這是除開高斯意外第二個與眾不同的群友。
李東拍了拍臉，打字回了過去。
【李東教授】：您好，夏農先生。
【克勞德·埃爾伍德·夏農】：你是誰？這個空間的主人嗎？
李東：……
這……該怎麼接？
就在李東想著該怎麼回答的時候……
夏農發在群裡的那兩條訊息消失了。
緊接著，成員列表裡，夏農的頭像，灰了。
李東心裡咯噔一下。
這特麼和高斯一模一樣呀！
可下一秒，夏農的頭像又亮了。
群裡又出現了新的訊息。
【克勞德·埃爾伍德·夏農】：你好，李東教授。
【克勞德·埃爾伍德·夏農】：請問，你有沒有見過一個人工智慧？
它有沒有祝大學入學考試的同學金榜題名呀？
第406章 李東被氣笑了。
李東看著群裡新出現的訊息又點發懵。
不是，剛才還叫人家主人，額……空間的主人，現在就叫人家李東教授了？
李東想起了剛才夏農頭像灰的一瞬間。
“這和高斯一樣呀，所以……”
“是被群警告了？還是被群修改了什麼？”
李東將這個想法暫時壓下，畢竟夏農的問題比起稱呼更讓李東在意。
【請問，你有沒有見過一個人工智慧？】
人工智慧這四個字一出來，李東第一個想到的就小黑。
他還記得當初小黑遷移過來的時候，群裡發過一條通告。
【艾薩克·牛頓（神權竊取者），於1666號宇宙座標下，無意間竊取了本群另一位成員所在宇宙的部分技術產物。】
本群另一位成員所在宇宙……
要知道那個時候，夏農可還沒進群呢。
也就是說，這個群裡，至少還有一個群友和夏農是同一個平行宇宙的。
是誰呢？
李東把成員列表掃了一遍……。
資訊太少了，猜不到。
不過在這件事弄清楚之前，小黑的事，他是半個字不會說的。
【李東教授】：您好，夏農先生，我沒見過什麼人工智慧。
很快夏農的回覆就來了。
【克勞德·埃爾伍德·夏農】：那好吧，我再去找找。
【克勞德·埃爾伍德·夏農】：那是我和幾個朋友閒來無事鼓搗出來的小東西，走丟了，我們幾個心裡怪不是滋味的。
李東看著夏農回覆的訊息，心裡也明白了
小黑真正的主人，十有八九就是夏農和他那幾位朋友。
至於夏農做不做得出小黑那種東西，這問題他都懶得想。
牛頓都在那邊手搓出通用計算機了，夏農鼓搗個人工智慧有什麼好稀奇的。
然後群裡就安靜了下來，夏農也沒再說話。
李東見群裡沒了動靜，乾脆把手機放在主控臺上，往工學椅裡一趟。
機房冷氣足，小黑還在那一縮一脹的。
李東也沒回家，反正回去也他睡不著，還不如在這等著。
時間慢慢過去……
凌晨四點多。
小黑終於有反應了。
“主人！”
“主人你看看這個，可以嗎？”
李東連忙湊到螢幕前。
小黑的對話方塊裡出現了一個跑起來的大模型原型。
介面很粗糙，黑底白字就光禿禿一個輸入框。
可機櫃那頭，八十張華軒的加速卡齊齊亮起，功耗曲線貼著上限走。
這種原型在工程上有個正經的名字叫做——概念驗證原型（Proof of Concept）。
李東原本有些睏意的大腦一下就來了精神。
這個原型到底怎麼樣。
是騾子是馬，拉出來遛遛就知道了。
他先隨便挑了西羅第三定理，若爾當–赫爾德定理，外加一條量詞套了三層的可解群命題，讓它翻成形式化語言。
這時李東埋下的陷阱。
市面上那些模型一跑到三層的可解群命題的時候，絕對會抄著抄著丟一個，量詞換著換著反一個……
而小黑給的這個原型在翻譯完後，就逐條將其送進了核心判斷。
結果……全綠。
李東眯了眯眼。
“看起來不錯呀，那現在試試正餐。”
【設G為有限群，記其導群G′=[G，G]。求證：對任意g∈G′，總存在a，b∈G，使g=[a，b]=a?1b?1ab。】
這是有限群論裡的一道命題，說的是一個叫“換位子”的東西。
[a，b]=a?1b?1ab，唸作a和b的換位子。
其實說白了就一個事：兩個動作，換一下先後順序，會差出來多少。
玩過魔方的人都幹過這種事。
擰一下A，擰一下B，再把A倒回去，把B倒回去。
按理來說一來一回，魔方就該回復原樣了。
可它沒有，面上還留著一小塊沒有哦復原的方塊。
這就叫換位子。
a和b要是井水不犯河水，四步走完恰好歸零，剩個“什麼也沒幹”的，群論裡管它叫單位元。
要是它們相互有影響，那就不會歸零，剩下的餘數，就是[a，b]。
把一個群裡所有可能的換位子收起來，再把它們彼此相乘出來的結果一起算上，這一堆就叫這個群的導群，記作G′。
至於李東出的這道題問的就是……
導群裡隨便找出一個元素，是不是總能找到那麼一對a和b，讓它恰好等於這一對的換位子。
然而這一道題其實就是一個陷阱。
上一篇：我家艺人太没上进心了
下一篇：挨打永久加防御，神魔都打不动我