第110章 苏齐望的震惊 (第2/2页)
「初生牛犊不怕虎啊,我倒要看看现在的国内本科生,能写出什麽东西来。」
带着一丝提携後辈的好奇心,苏齐望点开了这篇PDF文档。
一分钟过去了。
十分钟过去了。
一个小时过去了————
办公室里安静一点声音都没有。
只能隐约听到苏齐望粗重的呼吸声。
桌上那杯刚泡的浓咖啡,早已经凉透了。
「没有用传统的泰勒展开————他居然把核心有理函数的多点求值,全部替换成了切比雪夫插值?」
「非线性FFT网格展开?这是新的名词吗?」
「等等————这里他用了一个叠代拆分恒等式,直接把主和项里奇数和偶数索引项给彻底剥离了?」
苏齐望看着屏幕上那一行行优美到极致的英文推导公式,他多少年没感觉过头皮发麻的感觉了。
「这————这直接绕开了Odlyzko—Schonhag————
作为顶尖的计算数学大牛,他自然比一般的行业大牛更明白这套计算法背後的意义。
「从纯粹的数学底层逻辑出发,对现有的零点计算框架进行了一场彻头彻尾的降维打击吗?」
当苏齐望翻到论文最後的数据验证部分时,他忍不住揉了揉自己的眼睛,好像看到了什麽极度违背科学常识的画面。
「在单机移动工作站环境下————仅用了短短四天时间————」
「全量验证了988,102,445,112个非平凡零点?」
苏齐望向後一仰,连带着转椅都往後滑了半寸。
如果他没记错的话,当年法国数学家XavierGourdon创下10^13次方历史纪录时,动用了一个庞大的分布式PC计算网络,拼凑了无数台机器的算力,没日没夜的跑了好几个月!
「Precision7780?这垃圾的移动工作站,我连听都没听过————」
「不到一百个小时————」
「笃笃笃!」
就在这时,办公室的门突然被敲响了。
系里的助教推开半扇门,探进头来,小声提醒道。
「苏教授,马上有一场院系的学术研讨会需要您出席————」
然而,苏齐望一句话没说,只是极其不耐烦的冲着门口摆了摆手。
苏齐望在布朗大学应用数学系的地位那就是泰山北斗。
助教哪里敢多说半个字,赶紧轻手轻脚的关上门,跑下去重新安排人代开会议去了。
时间再次流逝。
直到一个半小时过後。
苏齐望终於看完了这片论文。
「真的假的————」
他喃喃自语。
凭藉他几十年的学术素养,他当然能看出这套降维算法的恐怖,论文里的每一条逻辑推导、每一个误差边界的证明,都完美得无懈可击。
但在计算数学这个领域,理论再漂亮,也必须能在机器上跑出同样惊艳的效果才算数。
单台笔记本四天跑出近万亿级零点,这效果实在好得太过魔幻了!
直觉告诉他这绝对是一场算法革命,但他必须亲自去验证!
苏齐望在论文末尾的「数据与代码可用性声明」里找到了一个GitHub的开源连结。
他迅速将这套名为「Riemann—Dimensionality—Reduction」的C++原始码下载到了本地。
打开源码文件,苏齐望快速的检查着内存指针的释放与FFT库的调用机制。
「代码乾净,内存复用机制写得很漂亮,没有任何逻辑漏洞————」
确认原始码没有任何问题後,苏齐望拨通了布朗大学高性能计算(HPC)中心的专线。
「喂?我是应用数学系的苏齐望。」
「帮我申请最高权限的超算节点集群!对,就是现在!把前面不紧急的排队任务给我往後稍一稍!」
挂断电话,苏齐望这才喝了一口已经凉了的咖啡。
如果这套代码在超级计算机上跑出来的线性扩展效率,真如论文中所推导的那样————
那不仅是《.》要迎来近年来最伟大的一篇神作,整个国际计算数学界,都将因为这个来自燕大的华夏本科生,迎来一场十级大地震!
>