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