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