京都地铁4號线。
秦飞靠在座椅上,他今天特意去了一趟佛香阁。
他在北理工的成绩和复习进度,考研上岸已经是板上钉钉的事了。
但他这人多少有点玄学信仰,这次去纯粹是去还愿的,顺便求菩萨保佑自己的毕业设计能顺顺利利。
列车速度降了下来,广播里传来报站声。
“前方到站,燕大东门站————”
车门缓缓打开。
秦飞抬起头,隨意的看向刚进来的人群,其中有一个身影很是眼熟。
“咦?”
秦飞衝著那个正在找座位的男生招了招手。
“哎!李东!”
听到有人喊自己的名字,李东回过头望去。
看清是秦飞后,脸上闪过一丝尷尬。
自从上次在高铁上加了微信好友之后,这位学长没少给他发信息。
大部分都是旁敲侧击的问一些算法上的事。
李东怎么可能和他说,所以他乾脆就直接意念回復了。
结果谁能想到,这刚开学没几天,居然在地铁上被本尊给碰到了!
不过李东毕竟是拿过一百万奖金、见过院士,尿尿贏过二妞的猛人,心理素质极佳。
他非常自然的走了过去,坐在了秦飞旁边。
“哎呀,秦哥,真巧真巧!”李东打著哈哈。
“今天晴天居然还出了太阳,哈哈————”
秦飞看著他这副强行转移话题的模样,心里跟明镜似的。
大家都是搞技术的,谁还不懂谁啊?
人家那是不想泄露核心算法的机密,没回微信太正常了。
他秦飞又不是那低情商的人,自然也不会挑破。
“是挺巧的。”秦飞笑了笑。
“你这是准备去哪儿啊?”
“哦,我去一趟中关村。”
“中关村?”
秦飞一听这个地名,顿时来了精神。
在京都,特別是对於他们这群学计算机的学生来说,中关村那可是太熟了。
买配件、配电脑、淘二手伺服器,谁没在那儿混过几天?
“去中关村干嘛?配电脑啊?”秦飞问道。
李东点了点头:“嗯,买台电脑做算力测试。”
秦飞是个热心肠,而且他和李东又都是川渝老乡。
“买电脑啊?那地方水可深了,专门坑不懂行的小白!”
秦飞说道.
“正好我今天也没事,我陪你去吧!我对那边熟。”
李东心想我做过攻课了,怎么可能被几个电脑城的老板坑?
但他脑中突然想到自己那台完全开不了机的联想————
“行,那就辛苦你了。”別人的好心怎么能辜负。
听到李东答应,秦飞也很开心。
就在这时,他脑子里突然反应过来一个细节。
等等!
李东刚才是在哪一站上的车来著?燕大东门站?!
“你————”秦飞试探性的问道。
“你在燕大读书?”
“嗯,是燕大的。”李东平静的承认了。
“难道是燕大信科院里,某位院士带头搞出的最新底层算法架构?”
秦飞在心里暗自脑补。
不过他很知趣,知道有些涉密的东西不能乱问。
既然不能问算法的核心机密,那问问进度总没问题吧?
“那个————你那套验证黎曼zeta函数非平凡零点的程序,现在跑到多少了?”
李东倒没有隱瞒,很坦诚的回答。
“最近这两天借用了学校通用机房的电脑跑了一下,大概跑到了百亿了吧。
秦飞听完,不自觉的鬆了一口气。
百亿级。
这个数据听起来虽然也很多,但在高性能计算领域,还算是一个比较正常、符合人类常识的数字。
毕竟用学校机房的商用台式机,跑个百亿级,一般来说一个把月也就跑下来了。
於是他又隨便问了一句,准备彻底结束这个话题。
“燕大的机房晚上不断电吗?能跑这么久?”
李东嘆了口气。
“关门啊,九点半就拉闸了,我昨天只跑了三个多小时就被赶出来了。
,话音刚落。
秦飞脸上的笑容直接就僵住了,他呆呆的看著著李东。
“嘶”
秦飞直接倒吸了一口黎曼。
“多————多久?!”
秦飞的声音都有些颤抖了。
“三个多小时啊,怎么了?”
李东是高三最后那一个多月才看是猛啃计算机的,虽然一些常识他知道,但是非零点的验算,这个时间这个量级代表著什么他確实不是很清楚。
“你用学校机房那种普通商用台式机,跑了三个多小时————就算出了百亿级的非平凡零点?”秦飞感觉自己的三观正在崩塌。
为了让自己死得明白一点,他再次確认道。
“你这百亿级,是利用区间跳跃估算的,还是————一个不漏、从零开始硬算出来的?”
李东理所当然的说道。
“当然是一个不漏啊。”
“我主要是想验证一下我那套多点求值网格算法的內存分配会不会出问题,所以必须从零开始进行全量验证。”
秦飞彻底麻木了。
三个小时!全量验证!百亿级!
这怎么可能?
要不是想到李东是燕大的学生,他指定会指著李东骂一句“你个民科!”
但现在,他只能在心里默默流泪。
人比人,真的得死。
秦飞深吸了好几口气,才强行把碎了一地的学术自尊心给拼凑起来。
他终於明白李东为什么要去买电脑了。
“所以,你今天去中关村买电脑,就是为了回寢室接著跑这个项目对吧?”秦飞问道。
李东点了点头:“嗯,机房时间限制太死,很不方便。”
“那你高铁上用的那台笔记本呢?”秦飞下意识的问道。
李东眼神一飘,面不改色的撒了个谎。
“哦,那个啊————前两天不小心掉了。”
秦飞:
掉个屁啊!
你那个破电脑现在是开不了机了吧。
但秦飞也懒得拆穿他了,他现在已经被那“三个小时跑百亿级”的恐怖效率给彻底震慑住了。
他语气中带上了一丝对学术大佬的敬畏。
“大佬,冒昧问一句,你这套算法验证完之后,是准备发刊吗?”
“要的。”李东点了点头。
这是他准备拿来换奖金和学分的,当然要发。
李东此时也正好想到,自己对计算机领域的顶刊还不太了解,於是虚心请教道。
“你觉得我这套算法如果整理成论文,去投哪个期刊比较合適?我对计算机领域的顶刊不太熟。”
秦飞沉吟了片刻。
“说实话,你这套成果,核心是黎曼零点计算的数学底层突破,纯计算机顶刊不是不能投,但大概率过不了初审一人家收的是计算机本身的创新,不是用计算机实现数学公式的案例。”
“目前国际上这个领域的所有里程碑成果,全都是发数学刊的。”
“包括法国数学家xaviergourdon的团队在2004年创下的。”
“10的13次方个非平凡零点。”
“也是纯数学成果。”
秦飞看著李东。
“所以,如果你这套算法能在时间复杂度上碾压0s算法,哪怕没破世界纪录,这个领域的顶刊《putation》都稳了。”
“要是真能打破10^13次方的纪录,数论顶刊《actaarithmetica》隨便投,要是能顺带把你这套底层数学框架的理论突破写清楚,连《annalsofmathematics》这种全球顶级数学顶刊,都有了敲门的资格。”
“退一步说,如果你只做了基础的算法优化,那国內的《数学学报》《计算数学》也完全够格。”
听完秦飞说完后,李东心里大概有数了。
果然,数学我还是比较爱你。
至於能不能打破10的13次方的世界纪录?
那他就想问问,你们能用几个月的时间,人力算出1104个非平凡零点吗?
开什么玩笑?
黎曼这套降维算法,在数学底层逻辑上,绝对是碾压当前所有主流算法的!
很快“中关村站”到了。
两人起身走出地铁站。
2023年的中关村,虽然不復当年电子卖场的热闹,但依然是国內硬体品牌的核心聚集地,不少高端工作站和定製配件的线下旗舰店都扎堆在这里。
一进去,李东就豪气的表示,自己准备组一台大型塔式伺服器,专门拿来跑高强度数据。
秦飞一听,赶紧一把將他拦住。
“大哥!你疯了吧!”
“你要在寢室跑长期高负载任务,塔式伺服器噪音能让你的室友把你杀了,而且宿舍断电就停跑,不如选带电池、噪音控制更好的移动工作站,还能兼顾便携性。”
秦飞作为內行人,立刻给出了最专业的建议。
“我建议你选戴尔的precision80。”
“处理器是i9—13950hx——————它的配置足够了。”
李东这个人主打一个听劝。
“行!就它了!”
“老板,刷卡!”
当销售员报出“三万五千八百元”的价格时,李东连眼睛都没眨一下,直接掏出银行卡“滴”的一声付了全款。
看的秦飞在旁边咽了咽口水。
一切搞定后,两人在电子城门口告別。
秦飞看著李东消失在人群中。
“此子,必將一鸣惊人!”
秦飞在心里中二的表示。
然而。
下一秒。
秦飞突然僵住了。
“等等————”
“我踏马的毕业设计————”
他为了准备大四的毕业论文和保研复试,选定的课题方向,正是基於0s算法的局部多线程並行优化!
如果李东这套全新fft加速框架,从数学底层彻底重构了零点计算逻辑、直接碾压了当前行业通用0s算法的全新成果一旦公开发表————
那他辛辛苦苦研究了大半年、准备拿来当毕业论文的心血————
不就直接变成了一堆毫无学术价值的歷史垃圾了吗?
“我日!!!”
>