候选程序的等价性判定和逐字符的精确符号归约。
这三个原语，就是这套范式的心脏。
李东的心一下子沉了下去……
地球上所有的ai芯片，从英伟达到华轩，押的全是另一个原语：gemm，通用矩阵乘法。
所以让现在的硬件来跑这三个原语，那怎麽可能跑得懂。
不过李东还是不死心，他挑了个入口文件丢进工作站，然後执行——报错！
接着他又换了一个工具，还是报错。
而且报错的点都是一样的：未知指令，无法识别。
李东看着屏幕上的报错从牙缝里挤出俩字。
“基底。“
要知道代码这种东西，想在芯片上直接跑是不可能的。
他们中间还隔着编译器、算子库和运行时。
它们分别负责把代码翻成芯片认得的指令、把最核心的那几种运算调到最优解、指挥成百上千张卡一起干活。
这三样加起来就叫做基底。
而现在最牛逼的基底就是英伟达的cuda。
2006年动工到现在已经整整二十年了。
全球九成以上的开源ai项目、两万多个模型，全站在它上面。
所以英伟达真正的护城河，从来不是芯片，而是cuda。
也就是因为cuda，英伟达才能坐上全球市值第一的交椅。
像amd那样的巨头，追了快十年，现在也没追上。
更别说国内的摩尔线程的musa还是照着cuda的来做的。
库一对一地替换，代码翻译过来跑。
说白了，就是在别人的地基上，盖自己的房子。
当然国内也有像华卫昇腾cann全是自己东西的基底，可问题是……
cuda那里住着两万三千多个模型，cann这边，一百六十多个。
而华轩的话……有没有基底，李东都不知道。
可不管是cuda，还是国产这几套基底，他们其实全是同一种东西：矩阵乘法。
所有的卡、所有的框架都是围着“怎麽把矩阵乘法做快“搞出来的。
而小黑这份代码得原语压根就不是矩阵乘法。
所以小黑给的原型代码谁的地基都用不了。
它现在之所以能跑是小黑拿自己的身体在跑，可小黑不能见光，李东又搞不懂小黑的“身体”。
所以要让这套代码跑起来就只剩一条路了。
从零开始给它打一副自己的地基。
打地基这活，谁来干？
李东第一时间还是将目光投向了黑奴小黑。
【主人？你的眼神好奇怪呀】
小黑身子一抖说道。
（本章未完，请点击下一页继续阅读）