我的学习群里全是真大佬 第98章

Hartshorne的《Algebraic Geometry》?

他妈的!我一个刚入学的大一新生,你让我直接去啃代数几何领域的终极噩梦?

王浩看着李东那副专注敲代码的背影,心里疯狂咆哮。

“你他妈到底是在给我装逼,还是装逼呢?”

“你说的概形理论和层上同调,我一个搞数竞的能不知道吗?问题是,我现在看得懂吗?”

……

晚上。

燕京大学,先进计算与关键软件全国重点实验室。

高稳院士正站在一台服务器机柜前,查看着最新的底层缓存命中率监控数据。

就在这时,他大褂口袋里的手机突然震动了起来。

高稳掏出手机,看了一眼屏幕上的来电显示:【华轩科技林伟】。

他露出一丝无奈的苦笑。

“这小子,你找我是真没用呀……”

高稳叹了口气,按下了接听键。

“喂,林总啊。”

电话那头,传来了林伟略带歉意的声音。

“高院士,实在是不好意思,这个时候又打电话来打扰您了。”

高稳一边往自己的办公室走,一边笑着说道。

“哎呀,你跟我还客气什么?什么打扰不打扰的,你一打电话,我就知道你为了什么事。”

走到办公桌前坐下,高稳语气变得语重心长起来。

“但是林总啊,我也跟您交过底了,这事儿,它真的急不来。”

电话那头的林伟,此刻正站在华轩科技研发总部的落地窗前,望着魔都的夜景,眼中满是焦虑。

他当然知道急不来,可是现实的刀已经架在脖子上了!

自从李东在华轩杯上提出了那个“同步调谐波长以补偿折射率”的构想后,华轩科技的研发团队就疯狂的推进模拟。

但在面对流体-热力学强耦合前馈控制上,张默的团队最开始说一两年,现在又变成了两三年,这让林伟越来越着急,要是看不到希望还好,可是明明希望就在前方呀。

在1200mm/s的极高扫描速度下,要对浸没液的N-S方程进行亚毫秒级的实时数值求解,现有的芯片架构和底层算法根本无法支撑这种恐怖的计算开销。

“高院士……”林伟在电话里的声音透着无力感。

“我刚才又去问了咱们国内最顶尖的几个应用数学团队,关于这种非线性偏微分方程的降维算法,他们那边也是毫无进展。”

林伟叹了口气。

“高院士,咱们真的等不起了。”

“这两年,外面卡脖子卡得太狠了。”

“先是极紫外光源被禁运,现在连成熟制程的浸没式光刻机零部件都在卡我们。”

“咱们国内那家顶尖的终端制造企业,现在甚至连正常的旗舰产品都没办法正常发布销售了。”

“整个产业链上下游,营业额较去年同期,直接腰斩,下降了整整 60%!”

林伟虽然没有直接点出那家企业的名字,但高稳心里跟明镜似的。

那家被大洋彼岸举倾国之力制裁的企业,此刻正经历着至暗时刻,每一个搞底层科研的华夏人,心里都在滴血。

听着林伟的话,高稳长长的叹了一口气。

“林总,你的难处,我怎么可能不知道?”

高稳的语气中透着一丝作为科研人的悲壮。

“但在半导体和底层计算这种硬核领域,落后一步,就意味着你要付出比先行者多十倍、甚至百倍的努力去追赶。”

“现阶段,我们在硬件算力上的物理瓶颈,短时间内确实无法突破。”

“但你放心,我这边的团队,会不惜一切代价,继续死磕到底的。”

“好,高院士,拜托您了!”

电话挂断了。

高稳放下手机,靠在椅背上,望着窗外的夜空,再次深深的叹了口气。

算力……算法……

第103章 (实习)倒计时

当林伟和高稳,还在为国产光刻机的流热耦合算法和底层算力瓶颈忧心忡忡的时候。

李东正坐在书桌前。

“噼里啪啦……”

他双眼看着屏幕,手上快速的敲着代码。

他之前在公共机房里写的程序,虽然已经用上了黎曼手稿里的多点求值降维思路,并且成功跑通了百亿级。

但在数学展开式的局部处理上,还是存在着算力冗余!

所以现在在寝室,没有了时间的限制,他也准备彻底的将这套新算法优化到完全体形态。

“在 FFT多点求值的架构基础上,要放弃学界通用的泰勒级数局部逼近思路,嗯……”

“应该用黎曼手稿里标注的切比雪夫插值来处理核心有理函数的多点求值,这样的逼近效率会高得多。”

“对了,还要用手稿里的迭代拆分恒等式,把核心求和公式里的奇数和偶数索引项彻底分离开。”

“这样就能直接砍掉近一半的重复求和项,应该能省出 43%左右的算力开销。

就在他全神贯注的优化着程序时,“吱呀”一声,寝室门被推开了。

刘强和陈楠一前一后走了进来。

已经躺在上铺的王浩探出头来。

“回来啦?去哪了?”

“我去图书馆查了点资料,想整理一下思路,看看能不能在一些比较简单的期刊上发一篇论文。”

陈楠觉得既然都到了燕大,那肯定不能浪费时间呀,燕大的图书馆那里啥没有,而且遇见不清楚的直接就可以问老师。

王浩点了点头,也没觉得有啥奇怪的,又问刘强。

“你也去啦?”

“没有,我去数院蹭了节代数几何的研讨课。”

刘强说完,又看着李东叫了两声。

“东哥?”

“东哥,吃饭没?”

然而,坐在电脑前的李东就像是完全没听见一样的,继续敲击着键盘。

“王浩,东哥在干嘛呢?走火入魔了?”

刘强奇怪的转头问道。

王浩叹了口气说道。

“在编那个跑黎曼Zeta函数非平凡零点的程序呢。”

王浩作为拿过CMO金牌的顶尖竞赛生,对计算机编程那一套自然不陌生。

搞数竞到了一定高度,往往需要用算法去验证猜想或者跑穷举,他自己高中时也写过类似的程序,只是没李东玩的这么高端,居然跑去算黎曼零点而已。

刘强和陈楠都是纯粹凭着高考裸分杀进元培的。

虽然都是学霸,但在大一刚开学的这个节点,他们对现代计算机编程接触得并不多。

听到王浩这么一提醒,两人顿时反应过来,恍然的点了点头。

“黎曼猜想啊……”陈楠看着李东的背影,若有所思的说道。

“看来咱们也得赶紧补一下,把计算机这一块给抓起来了。”

“毕竟现代数学,离不开这东西的辅助。”

刘强也深以为然的点了点头。

“既然这样……”王浩在床上也来了兴趣。

“那咱们明天上完《数学分析》后,一起去信科那边呗?”

“去听什么?”刘强问。

“去听信息科学技术学院的《数据结构与算法分析》啊!”

“我查过了,明天正好有刘天教授的课。”

刘天,燕大信科教授,虽然比不上身为院士的高稳,但也是数值计算领域的圈内大牛。

他讲的算法优化和数值计算实现,在全校都是出了名的硬核。

“行,到时候一起。”

刘强和陈楠都同意了,随后两人就去洗漱了。

等他们洗漱完回来,发现李东还在那里对着屏幕疯狂输出,连姿势都没怎么变。

看这样子应该是进入心流状态了。

刘强和陈楠在高中都体验过这样的状态,知道那种感觉是可遇而不可求的。

别说是在旁边说话了,你现在就是在他耳边敲个铜锣,他估计也得过好一会儿才能回过神来,一脸茫然的问一句。

“刚才谁在我旁边说爱我来着?”

所以他们也很识趣的放轻了动作,没有去打扰。

如果李东知道这几个室友此刻心里的想法,他只会淡淡的在心里回一句。

“可遇不可求吗?这不随便进进出出的吗?”

“当然如果你们说的是专注+1的体验卡的话,那确实是可遇不可求的。”

夜色渐深,马上就要到23:00了,宿舍也要熄灯了。

李东也敲下了最后一个回车。

他长长舒了一口气。

程序,终于彻底优化完了!

看着已经熄灯的寝室,他将电脑电源插头插进了书桌下的专用插座里。

燕大宿舍晚上十一点虽然会切断照明灯的电源,但书桌下面的墙插电源却是24小时不断电的。

“来吧,让我看看你的极限在哪里!”

李东眼中闪烁着兴奋的光芒,按下了运行键。

“如果数据表现完美,验证了这套算法的复杂度优势,就该立刻着手把底层的数学逻辑写成论文了。”

看着屏幕上开始疯狂滚动的数字,李东合上半个屏幕,起身去简单洗漱了一下,随后爬上床光速睡了过去。

黑夜中,Precision7780发出风扇的嗡嗡声。

屏幕上,临界线 Gram区间的 Z (t)函数值不断刷新,零点定位完成的计数正在批量跳涨!

之前在公共机房里,三小时才突破的百亿级大关,现在经过了极致的数学替换和求和项压缩,仅仅过了一两个小时。

那串绿色数字就毫无阻碍的跨过了百亿门槛,并且增速丝毫没有减弱的迹象。

与此同时。