莎拉不是没天分。
她只是……在解析数论上，没天分而已。
良久，彭罗斯深深叹了口气，看着莎拉。
“随你吧。”
“不过，往后咱们可能得自己更拼一点了，别指望旁人。”
就在这时，李东咳嗽了一声。
“那个……我打断你俩一下。”
“我最近，在弄一个AI大模型。”
“等它出来，应该能解决莎拉的问题。”
第416章 钱该怎么用呢？
从彭罗斯的办公室出来以后，李东就一直在想一个问题。
莎拉是个好苗子吗？
毫无疑问。
哪怕在李东见过的所有天才里面，单论天赋的话，莎拉也是最好的几个人之一，甚至比顾铭还要好一些。
额……当然比王浩也要好！！
而就这样的天赋，她差一点就连大学也上不了了，要不是彭罗斯的基金，她恐怕现在还在刷盘子呢。
李东心里忽然就冒出了一个念头。
美利坚有这样的苗子，那华夏呢？
要知华夏可有整整十四亿人啊，这样的苗子会少吗？
肯定不会少。
想到这里，李东突然就在心里算起了一笔账。
他现在有华轩的五个亿用电了一千万，然后单原子铁纳米酶从一代到二代，如果到了临床他还有一大笔钱，最后就是他的大模型要是落地，以后的进账恐怕就更多了。
虽然李东爱钱如命，但那也是因为从小穷怕了，他们家受了很多的白眼，所以他才爱钱，钱能给他安全感。
可现在真到了不缺钱的时候，他才发现自己好像没什么地方能够花钱的。
“要不……我也搞个基金？”
这个念头一冒出来，他自己都觉得有点意思。
当然，他不会照着彭罗斯那个路子来。
彭罗斯资助的是那些连大学都念不起的穷孩子。
可华夏和美利坚毕竟不一样。
华夏这边的基础教育，扎实得多，一个孩子只要肯念，总归是有学上的。
所以那种基金意义不大，华夏这边真正差的是做科研的人。
多少做科研的，被一个钱字，捆住了手脚。
一个方向有没有前途，没人敢拿自己的前程去赌。
试错的代价太大了，一篇文章发不出来，一个项目结不了题，那就没有任何的收入了。
所以限制科研的，从来都不是聪明不聪明，而是现实。
他自己是幸运的，有青龙学习小组，有关爱的师长和学校，他这辈子顺极了！
可他知道，这世上绝大多数做学问的人，是没有他这份运气的，一个好想法常常就死在了没经费上。
所以他要搞就要搞一个像克雷数学研究所那样的基金。
纯靠私人捐资，不背任何商业指标，不催论文，也不数项目。
然后挑出几个最好的年轻人，给足钱给足时间，让他们什么杂事都不必管，只管去啃那些最硬，十年八年都未必能啃的下来的问题。
让他们能踏踏实实地试错，不必为了一口饭，向现实低头。
当然，眼下他也只是一个想法，距离落地，他身上这点钱算个屁。
就在这时，李东的手机响了。
是林伟打过来的，李东接了起来，半开玩笑地问道。
“林总，几天就弄完啦？”
电话那头的林伟，都被他给整无语了。
“……李东教授，这才几天？您把基底当成什么了？”
从零搭一套基底，换了别人，几年都未必听得见个响。
也就是李东那套代码实在太完整，就剩个适配的活儿。
可就算是这样，几个月的时间也是少不了的。
“现在还没好，是我们这边……出了点问题。”
“您最近，方便来一趟魔都吗？我们这边有几个工程师，想跟您当面聊聊。”
李东愣了一下。
小黑的代码，出问题了？
不可能！这套大模型成型时是什么样子，他是亲眼见过的。
所以那就只能是适配上出了岔子。
“行。”
“我明天过来。”
……
次日，魔都。
李东和老张刚出机场，就看见林伟已经等在了外头了。
两人也没墨迹，直接就上了车。
车上林伟看了一眼李东旁边的老张，到底没在车上提那些事，只东拉西扯地聊了些不相干的话题。
车很快停在了华轩科技的大楼底下。
林伟为难的看了一下老张，李东自然知道，这牵扯到了商业机密，所以朝着老张说道。
“张老师。”
“那您稍微等我一会儿。”
老张点了点头。
一个前台的姑娘很快迎了上来，把他领去了一间休息室。
李东这才跟着林伟进了电梯。
进了电梯，林伟这才对李东说道。
“李东教授具体的我也不太清楚，只是听我们的工程师说，应该是代码里的几个算子落不到加速卡上去。”
“哎……”
他叹了口气，似乎是因为这件事耗费了很大的精力。
李东点了点头，现在林伟说的他也没有概念，只等到了地方问问工程师他才能知道问题具体处在哪。
很快电梯停在了一层实验区。
两人推门进去，里面的人都在各忙各的事。
有人在看屏幕上的波形和时序，也有人围着一块插满了飞线的板子在量……
实验室里一股焊锡味一直没散去，看的出来大家已经连轴转了好些天了。
林伟招了招手，从人群里走出来一个人。
“李东教授，给您介绍一下，这位是王勍王工，咱们这个项目的总工。”
这位王工，在华轩可不是个寻常的角色。
华轩是国威的子公司半导体设备加七纳米加速卡，是华夏在这条线上的顶梁柱之一。
而王勍，正是上一代加速卡的架构负责人，从指令集到片上互联，几乎是他一手操办起来的。
后来那场七纳米良率的攻坚，整条线卡在最后一道坎上小半年，谁都束手无策，也是他带着一帮人，没日没夜地泡在产线上，硬生生把那个数字，从个位数拉到了能量产的水平。
在国威内部，这是个真正打过硬仗、立过大功的人。
“王工，您好。”
李东伸出手，跟他握了握。
林伟在旁边开口道。
“王工，你跟李东教授，说说具体的问题吧。”
王勍也不绕圈子指了指那面画满框图的白板。
“李东教授，您这套架构，上面那几层算子，我们都翻译过来了，也跑通了。”
“可一到最底下那几个精确算子，就落不到卡上去。”
李东的这套模型，骨子里不是拟合，是精确的符号推理。
那几个最核心的算子，全都要在很大的有限环上做精确运算的，一个比特都不能丢。
因为在他这套范式里，浮点是会撒谎的，差一点点大模型跑到后面，那答案能飞到大西洋去。
第417章 你全家都低阶
可华轩这块七纳米加速卡，它原生的数据通路，是为稠密矩阵乘法而生的。
满阵的脉动单元，吞进去的是低精度的浮点和定点，乘加，乘加，一刻不停。
拿它去做矩阵乘法是完全没问题的。
可是它就是不会做大模数的精确运算。
这些卡上压根就没有这样的原生指令。
想在这块卡上，把那几个算子跑起来，就只能拿现成的乘加单元，去软件模拟那种上千比特的大整数运算。
一条精确的乘法，拆解下去，就是成百上千条指令，片上那点SRAM，转眼就会被撑爆。
更要命的是……大整数运算那条长长的进位链是一环扣着一环的，必须挨个往下捋根本并行不起来。
而加速卡赖以为生的，恰恰就是并行呀。
一条进位链压下去，满阵的脉动单元大半都得在那儿干等着。
再加上他这套符号归约，走到哪一步读哪一块内存，全都是临时才定的，而且数据相关访存又散。
说到底，基底能把他这一整套框架完整地表达出来，可是一旦跑到最底层那几个算子上，就是没办法落到加速卡的原生通路里，只能靠模拟路径来运行。
所以跑是能跑，可那个速度跟没开会员的百度网盘一样。
“这条模拟的路子，我们试过了。”王勍补了一句，“拿整块卡去跑您一个最小的算例，比一台老掉牙的服务器还慢。”
李东听完沉默了。
他确实没料到，会卡在这么个地方。
适配会麻烦，他是有准备的。
可他没想到有这么麻烦呀。
他那套为精确而生的东西，和这块为矩阵乘法而生的加速卡，从最底层的原生指令开始就根本不匹配。
这不是改几行代码，调几个参数，就能解决的事。
换一块卡？
上一篇：我家艺人太没上进心了
下一篇：挨打永久加防御，神魔都打不动我