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