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