第400章 你可以獎勵你的侄子一個棒棒糖
李東苦笑著將同樣的問題文給到了小黑給的原型。
它的第一步，是把這行字原樣翻譯進了內核，「有限」兩個字，強制置頂在了量詞的最外層。
然後才開始往下推導。
小黑在屏幕的角落瘋狂收縮，主控屏上，一棵搜索樹鋪開了。
往「真」那頭去的每一條支線，都卡死在同一個地方：它需要「換位子之積仍是換位子」這個「引理」，可內核不認。
所以這個假的引理它造不出來。
估分在那片區域一路塌到了底，支線一條接一條被剪斷。
二十分鐘後，它證不了真，所以它掉頭去證偽。
有限群，其實是能數的。
階數從小往大數：8階，五個群，16階，十四個……每數出來一個，就將全部的導群數出來，再數出全部的換位子逐一比對……
主控屏上的階數，一級一級往上爬。
李東看著那串數字。
他沒有個給原型圈過範圍，也沒給過任何提示。
它只是認死理：可數的東西，就一個一個數過去，就行了。
天色慢慢亮了起來，那串數字最後停在了【96】上。
96階，說的就是恰好有96個元素的群。
這樣的群一共有231個，彼此互不同構。
然後從中選出一個群，把其中的96個元素，誰乘誰寫一張乘法表……
……略
結果出來了：沒有任何一對，能湊出g。
g在導群里，卻不是任何一個換位子。
所以……【命題為假。】
【附：反例構造及機器證書。】
李東靠在椅背上，半天沒動。
就在這時小黑說話了。
「主人。」
「小黑做得好不好呀？」
「……好得過分了。」
李東緩緩出了一口氣。
這個原型的方向，規矩都是李東給的，但是真正落實下來的卻是小黑。
「小黑。」
李東笑了。
「把原型的代碼給我吧。」
「好哎！」
下一秒，小黑就扔出了一個幾百個g的原型代碼(包含模型參數)。
李東隨手點開一個文件。
居然，看得懂。
這些代碼的結構清清楚楚，連注釋都給他標得整整齊齊的。
李東越翻越順，心裡越舒暢，寫過代碼的人都知道，漂亮的代碼和屎代碼的區別。
可隨著他慢慢的往下翻，他的眉頭慢慢皺了起來。
這份代碼所有的調用，一層層剝到底，最後全落在三個原語上。
假設空間上的枚舉搜索、候選程序的等價性判定和逐字符的精確符號歸約。
這三個原語，就是這套範式的心臟。
李東的心一下子沉了下去……
地球上所有的ai晶片，從英偉達到華軒，押的全是另一個原語：gemm，通用矩陣乘法。
所以讓現在的硬體來跑這三個原語，那怎麼可能跑得懂。
不過李東還是不死心，他挑了個入口文件丟進工作站，然後執行——報錯！
接著他又換了一個工具，還是報錯。
而且報錯的點都是一樣的：未知指令，無法識別。
李東看著屏幕上的報錯從牙縫裡擠出倆字。
「基底。「
要知道代碼這種東西，想在晶片上直接跑是不可能的。
他們中間還隔著編譯器、算子庫和運行時。
它們分別負責把代碼翻成晶片認得的指令、把最核心的那幾種運算調到最優解、指揮成百上千張卡一起幹活。
這三樣加起來就叫做基底。
而現在最牛逼的基底就是英偉達的cuda。
2006年動工到現在已經整整二十年了。
全球九成以上的開源ai項目、兩萬多個模型，全站在它上面。
所以英偉達真正的護城河，從來不是晶片，而是cuda。
也就是因為cuda，英偉達才能坐上全球市值第一的交椅。
像amd那樣的巨頭，追了快十年，現在也沒追上。
更別說國內的摩爾線程的musa還是照著cuda的來做的。
庫一對一地替換，代碼翻譯過來跑。
說白了，就是在別人的地基上，蓋自己的房子。
當然國內也有像華衛昇騰cann全是自己東西的基底，可問題是……
cuda那裡住著兩萬三千多個模型，cann這邊，一百六十多個。
而華軒的話……有沒有基底，李東都不知道。
可不管是cuda，還是國產這幾套基底，他們其實全是同一種東西：矩陣乘法。
所有的卡、所有的框架都是圍著「怎麼把矩陣乘法做快「搞出來的。
而小黑這份代碼得原語壓根就不是矩陣乘法。
所以小黑給的原型代碼誰的地基都用不了。
它現在之所以能跑是小黑拿自己的身體在跑，可小黑不能見光，李東又搞不懂小黑的「身體」。
所以要讓這套代碼跑起來就只剩一條路了。
從零開始給它打一副自己的地基。
打地基這活，誰來干？
李東第一時間還是將目光投向了黑奴小黑。
【主人？你的眼神好奇怪呀】
小黑身子一抖說道。
李東沒理會他，不過也將這個想法打消了。
地基這種東西，得貼著晶片來專門定製。
指令集長什麼樣、每一級緩存什麼脾氣、固件那層開不開口子。
這些李東也是接觸不到的。
換句話說，全天下最適合打這副地基的不是別人。
正是造這塊晶片的華軒自己。
至於華軒想不想做？
只要李東漏出風聲去，林偉能現在出門打個飛的直接殺過來。
想到這裡，李東揉了揉臉。
行吧明天再聯繫林偉吧。
不過在那之前，他想先掂掂自己手裡這個東西，到底有幾斤幾兩。
群里，不是剛來了一位現成的祖師爺嗎？
至於怎麼和香農談這個話題，李東自由安排。
【李東教授】：@克勞德·埃爾伍德·香農
【李東教授】：香農先生，您找的那位「人工智慧」，我確實沒見過，不過我最近恰好也有些涉獵，您看看和你走丟的人工智慧有什麼區別。
跟著，他就把u盤裡的那些市面上關於ai的資料全發了上去。
沒一會香農的消息就發了過來。
【克勞德·埃爾伍德·香農】：李東教授，我看完了，恕我直言。
【香農】：這玩意兒也配叫人工智慧？簡直狗屁不通！
李東：……
您牛逼，等著！
李東熟練的披上馬甲。
【李東教授】：您說得是，我也覺得沒什麼意思，那是我一個侄子瞎玩的東西，我最近在研究一個數學猜想，實在是抽不出幾個小時去弄明白這些東西。
【李東教授】：不過我那侄子他們前些天，自己又折騰了個小玩意兒，路數不太一樣，您要是有興趣，也給瞧一眼？
他將那個幾百個g原始碼拖進了對話框。
不過就在他點擊發送以後，突然意識到……
我特麼還沒啃透呢！
李東嘆了口氣，等待著發送失敗的提示。
然而，就在這個時候。
群提示出現了——發送成功。
李東看著這四個字，半天沒回過神來。
最後他看了一眼小黑，心中吐槽。
小黑，你是群的親兒子？
這都能發送成功？
就在李東瞎猜的時候，香農發來了消息。
【克勞德·埃爾伍德·香農】：……有點意思。
【香農】這東西離「人工智慧」四個字，還差的遠，不過比起你之前給我看的那堆狗屁不通的玩意兒，它至少踩在地上。
【香農】：李東教授，這東西不錯，你可以獎勵你的侄子一個棒棒糖。
李東：？？？