第407章 你可以奖励你的侄子一个棒棒糖

第407章 你可以奖励你的侄子一个棒棒糖 (第1/2页)

李东苦笑着将同样的问题文给到了小黑给的原型。
　　
　　它的第一步，是把这行字原样翻译进了内核，“有限”两个字，强制置顶在了量词的最外层。
　　
　　然後才开始往下推导。
　　
　　小黑在屏幕的角落疯狂收缩，主控屏上，一棵搜索树铺开了。
　　
　　往“真”那头去的每一条支线，都卡死在同一个地方：它需要“换位子之积仍是换位子”这个“引理”，可内核不认。
　　
　　所以这个假的引理它造不出来。
　　
　　估分在那片区域一路塌到了底，支线一条接一条被剪断。
　　
　　二十分锺後，它证不了真，所以它掉头去证伪。
　　
　　有限群，其实是能数的。
　　
　　阶数从小往大数：8阶，五个群，16阶，十四个……每数出来一个，就将全部的导群数出来，再数出全部的换位子逐一比对……
　　
　　主控屏上的阶数，一级一级往上爬。
　　
　　李东看着那串数字。
　　
　　他没有个给原型圈过范围，也没给过任何提示。
　　
　　它只是认死理：可数的东西，就一个一个数过去，就行了。
　　
　　天色慢慢亮了起来，那串数字最後停在了【96】上。
　　
　　96阶，说的就是恰好有96个元素的群。
　　
　　这样的群一共有231个，彼此互不同构。
　　
　　然後从中选出一个群，把其中的96个元素，谁乘谁写一张乘法表……
　　
　　……略
　　
　　结果出来了：没有任何一对，能凑出g。
　　
　　g在导群里，却不是任何一个换位子。
　　
　　所以……【命题为假。】
　　
　　【附：反例构造及机器证书。】
　　
　　李东靠在椅背上，半天没动。
　　
　　就在这时小黑说话了。
　　
　　“主人。”
　　
　　“小黑做得好不好呀？”
　　
　　“……好得过分了。”
　　
　　李东缓缓出了一口气。
　　
　　这个原型的方向，规矩都是李东给的，但是真正落实下来的却是小黑。
　　
　　“小黑。”
　　
　　李东笑了。
　　
　　“把原型的代码给我吧。”
　　
　　“好哎！”
　　
　　下一秒，小黑就扔出了一个几百个g的原型代码(包含模型参数)。
　　
　　李东随手点开一个文件。
　　
　　居然，看得懂。
　　
　　这些代码的结构清清楚楚，连注释都给他标得整整齐齐的。
　　
　　李东越翻越顺，心里越舒畅，写过代码的人都知道，漂亮的代码和屎代码的区别。
　　
　　可随着他慢慢的往下翻，他的眉头慢慢皱了起来。
　　
　　这份代码所有的调用，一层层剥到底，最後全落在三个原语上。
　　
　　假设空间上的枚举搜索、候选程序的等价性判定和逐字符的精确符号归约。
　　
　　这三个原语，就是这套范式的心脏。
　　
　　李东的心一下子沉了下去……
　　
　　地球上所有的ai芯片，从英伟达到华轩，押的全是另一个原语：gemm，通用矩阵乘法。
　　
　　所以让现在的硬件来跑这三个原语，那怎麽可能跑得懂。
　　
　　不过李东还是不死心，他挑了个入口文件丢进工作站，然後执行——报错！
　　
　　接着他又换了一个工具，还是报错。
　　
　　而且报错的点都是一样的：未知指令，无法识别。
　　
　　李东看着屏幕上的报错从牙缝里挤出俩字。
　　
　　“基底。“
　　
　　要知道代码这种东西，想在芯片上直接跑是不可能的。
　　
　　他们中间还隔着编译器、算子库和运行时。
　　
　　它们分别负责把代码翻成芯片认得的指令、把最核心的那几种运算调到最优解、指挥成百上千张卡一起干活。
　　
　　这三样加起来就叫做基底。
　　
　　而现在最牛逼的基底就是英伟达的cuda。
　　
　　2006年动工到现在已经整整二十年了。
　　
　　全球九成以上的开源ai项目、两万多个模型，全站在它上面。
　　
　　所以英伟达真正的护城河，从来不是芯片，而是cuda。
　　
　　也就是因为cuda，英伟达才能坐上全球市值第一的交椅。
　　
　　

（本章未完，请点击下一页继续阅读）