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

  其他班的同学:???你礼貌吗?

  “好,大家下课吧。”刘教授拍了拍手上的粉笔灰。

  “黑板上的证明过程,大家下来有时间好好看一下,想想思路到底是怎么一回事。”

  随后他转头看向李东。“同学,你全名叫什么?”

  “我叫李东。”

  刘教授笑著点了点头。

  “李东是吧,大二分流的时候,可以重点考虑一下咱们数学科学学院的方向,到时候可以跟著我做课题呀。”

  “谢谢刘老师,我会考虑的。”李东礼貌的表示感谢,然后急匆匆的走下讲台。

  路过第一排时,他冲著同寝室的三个室友说道。

  “我先回去了啊,你们不用给我带饭了!”

  李东慌著回去整理数据写论文。

  虽然农园食堂的饭菜挺好吃的,但这个时候去挤食堂太浪费时间了。

  他打算直接去35栋地下随便买点吃的对付一口就好了。

  元培的35栋基础设超级好,不仅有简餐和咖啡,连健身馆、地下室、会议厅都一应俱全。

  直到李东消失在教室门口,陈楠和刘强才从黑板上的反例中回过神来。

  两人同时转过头,眼神复杂的看著王浩。

  “耗子……”

  “我记得东哥开学的时候跟我们说,他最喜欢的是物理,对吧?”

  王浩生无可恋的看著天花板。

  “嗯……”

第108章 目标《Math. Comp》

  李东回到35栋404寝室。

  他也没耽搁,把自己那台移动工作站塞进双肩包,又顺手拿上电源适配器和几张用来打草稿的A4纸。

  既然要正式开始撰写这篇关于黎曼Zeta函数非平凡零点算法的英文论文,寝室显然就不太合适了。

  他背著包出了35栋宿舍楼,来到了元培书房。

  相比于燕大那个常年人满为患的大图书馆,元培书房就要安静许多了。

  而且这里校园网信号拉满,可直连燕大图书馆购买的所有中外文顶级数据库,查阅文献这些也很方便。

  李东在书房里绕了一圈,找了个靠角落,带独立插座的位置坐下。

  插上电源,开机。

  李东最开始确实想过,要不要把这篇论文直接投给数学界的四大顶刊,比如《AnnalsofMathematics》之类的。

  但是他总觉得秦飞不太靠谱,所以他自己也去查了一下,然后就果断放弃了……

  数学四大顶刊的收录门槛是什么?

  那是必须解决数学界公认的重大公开问题。

  比如你直接把黎曼猜想给证明了,或者你在朗兰兹纲领的核心分支上取得了决定性的突破之类的。

  而李东现在手里握著的虽然是黎曼手稿中遗留的神级降维算法,但它本质上依然是一个计算方法。

  它并没有从根本上给出黎曼猜想的逻辑证明。

  “纯数领域的期刊肯定行不通,方向不匹配,初审就会被编辑毙掉。”

  李东最后将目光锁定在了一本由AMS主办的顶级期刊上。

  《MathematicsofComputation》。

  简称Math.Comp。

  这本期刊在计算数论和算法数学领域,也是天花板级别的!

  当年许多打破零点计算世界纪录的重磅论文,都是在这本期刊上首发的。

  确定了要投稿的期刊,李东便打开了TeXstudio编辑器……

  虽然黎曼的那套降维算法他已经在脑中推演得滚瓜烂熟了,而且还用C++完美的实现了它,但写学术论文毕竟不是写代码注释。

  他需要将19世纪的数学手稿思维,与21世纪的现代计算机科学术语无缝融合。

  各种英文的计算机专有名词、算法复杂度的标准表述,他都要查阅近几年的顶会文献,然后逐字的确认修改。

  【标题:一种用于临界线上黎曼Zeta函数多点求值的降维新算法】

  【摘要:本文提出了一种用于计算黎曼Zeta函数的突破性优化算法。】

  【与传统的Odlyzko-Schonhage(OS)算法相比,本算法通过引入基于切比雪夫插值与非线性FFT网格展开的降维策略,成功将时间复杂度从传统的O(t^(1/2))进一步压缩……并在单机移动工作站环境下,仅用48小时完成了千亿级非平凡零点的高效全量验证……】

  李东敲击著键盘……

  在论文的核心部分,他引用了多篇经典文献,其中自然也包括XavierGourdon在2004年发表的那篇创下10^13次方个零点纪录的著名论文。

  当然,引用的目的,是为了在后面的讨论中,优雅的展现降维打击。

  【尽管OS算法及其后续变体显著提升了黎曼-西格尔公式的求值效率,但其在处理极高阶区间时,仍不可避免的受制于内存碎片的指数级爆炸。】

  【而本文提出的算法模型,通过底层数学逻辑的重构……彻底规避了这一算力瓶颈……】

  时间一分一秒的流逝。

  元培书房里的学生换了一拨又一拨,李东却始终没动过。

  就在这时,一个穿著格子衬衫的男生,从李东的座位旁路过。

  他是元培学院大三的学生,目前已经顺利拿到了数院基础数学方向的直博保研资格。

  今天来元培书房,是为了查一些关于同调代数的文献。

  路过李东这桌时,他眼角的余光不经意的扫到了李东那台移动工作站,以及屏幕上满屏的英文和数学符号。

  “谑,好家伙,这是在写毕业设计吗?”

  “不对呀,高年级经常来的,我大多都见过,这是新生?”

  学长心里暗自嘀咕了一句,脚步微微放慢了一些。

  “FFT多点求值?算法复杂度分析?”

  男生心中大概有数了。

  在燕大数院,一直有著一条心照不宣的领域门槛。

  搞代数几何、拓扑等纯粹数学的,深耕的是基础理论的无人区。

  而搞计算数论的,不仅要吃透解析数论的硬核理论,还要啃得动大规模数值计算的硬骨头,是纯数与计算交叉的顶尖赛道,没点真本事根本碰不了。

  “谑,这学弟居然在啃黎曼ζ函数零点计算?”

  然而,当他看清了文档页眉处李东标注的拟投期刊名称——《Math.Comp.》时。

  他的脚步直接顿住了,他很清楚这本期刊的分量。

  作为AMS主办的计算数论天花板,别说一个大一新生了,就算是燕大数院里正儿八经的副教授、青年千人,想在上面发一

  篇一作论文。

  那也得经历漫长而痛苦的大修小修,还不一定能过。

  想当年他曾仗著竞赛金牌的底子心高气傲,直到在导师手底下搬了两年砖,被顶刊审稿人拒稿拒到怀疑人生,才深刻明白顶刊的门槛到底有多高。

  “这学弟……怕是没遭受过学术的毒打吧?”

  学长心里嘀咕了一句后就放轻脚步默默走开了,并没有出声去打扰李东。

  等他查完文献回到宿舍,刚推开门就对著正在敲代码的室友忍不住开口。

  “你们敢信?我刚才在元培书房,碰到个学弟,在写投《Math.Comp.》的论文,主题是黎曼ζ函数的零点计算算法。”

  室友一下子就乐了。

  “有啥大惊小怪的,我上次还看见有个学弟在证明黎曼猜想呢……”

  而李东,根本没注意到身后路过的学长。

  他在敲下一长串的误差分析边界条件后,突然冒出个想法……

  “这套算法在我的工作站上,单机跑几天就能突破千亿级……”

  “那如果,我把它部署到真正的超算集群上呢?”

  李东心里痒痒的。

  “这套降维算法到底能跑到多少个零点?能不能一举突破10^14甚至10^15次方的历史极限?”

  他太想知道这套算法的真正极限在哪里了!

  而且,他的潜意识里一直有一个疑问。

  “高斯留言说,让我提升权限……”

  “难道仅仅靠著把黎曼手稿里的这套算法跑出更高的量级就能提升权限?”

  李东眉头微皱。

  “总感觉没那么简单。”

  就在他满脑子胡思乱想的时候。

  “同学,不好意思打扰一下。”

  一个温和的声音在耳边响起。

  李东回过神,看到一个戴著红袖章的学长正站在他桌旁。

  元培书房的日常管理和闭馆清场,都是由学院的学生助理勤工俭学轮流负责的。

  “同学,已经晚上十点了,书房马上就要闭馆清场了。”

  管理员学长指了指墙上的钟表,好心的提醒道。

  李东愣了一下,看了一眼屏幕右下角的时间。

  “22:05。”

  “嘶——都这么晚了?”

  他感觉自己好像才坐下来没多久。

  “哦,不好意思啊学长,我没注意时间,我马上就收拾!”

  李东活动了一下酸痛的脖子。

  去通宵?

  算了吧,这篇论文的核心骨架和算法论证部分基本已经搞定了,剩下的排版和润色,明天再继续也赶趟。

  “谢谢学长,我不熬夜了,这就回寝室。”

第109章 查重率1%

  接下来的几天,李东除了必须签到的那几节通识课,几乎哪儿也没去,整个人都长在了元培书房里。

  论文的核心的骨架和算法论证早就搭好了,但他依然花了大量的时间去逐字逐句的润色。

  哪怕他现在的英语其实还算不错,但学术写作和日常英语完全是两码事。

  他仔细对照著《Math.Comp.》往期的过刊,一遍遍检查著时态切换、专业术语的准确性,以及图表排版的规范。

  然后,他将所有文档转成了符合期刊要求的PDF格式。

  李东还将自己那套C++核心代码,剔除了部分敏感的系统路径后,直接打包托管到了GitHub上。

  在论文最后的“数据与代码可用性声明”中,附上了开源链接。

  最后在进入AMS的EditorialManager投稿系统,按要求的填好作者信息……