正当办公室内氛围有些压抑时,张鲁平已经戴上自己的眼镜提醒一句。
“先继续往下看吧。”
这话也顿时让郑以中反应过来,当即平复情绪把注意力全部投到论文中。
毕竟证明归证明,但结果是否正确,过程是否符合逻辑还不确定。
若无法满足上述任何一项,那么公式便不成立。
数学是严谨的学科,对各种猜想问题的证明,更会被无数数学家不断验证。
只有经过这些洗礼,猜想才算能够变成定理。
接下来的时间,当张鲁平和郑以中两人,见识到徐铭优化的多尺度解析筛法框架,以及详细的数值验证作为辅助支撑后脸上不断闪过惊喜。
后面更是忍不住连连赞叹。
“引入具有尺度特性的解析尺度函数,用来作为动态滤波器。”
“太精妙了。”
“多尺度解析筛法关键突破,是解析设计和积分路径的巧妙选择,精确抵消了奇偶性问题的破坏性影响。”
“误差估计也比传统筛法优越的多。”
“将筛法首次从离散组合求和,提升到复平面的解析积分框架才是根本性创新。”
两人毫不掩饰自己脸上的兴奋,直接在根据论文中的式子边手动验算边讨论,尤其确定了数值验证的结果更加确定此筛法的价值。
毫无疑问这将会是数论界中,全新的筛法工具。
对数论的研究具有潜在作用。
不夸张的讲,纵使没有对斐波那契数的证明,单凭多尺度解析筛法都有资格发表到数论领域顶刊。
关键这还只是一篇本科生的毕业论文。
可以想象若这个消息传出去,肯定能够让燕大数院成为国际数学界讨论的话题。
尤其郑以中的是心情更是复杂。
本以为徐铭这么快就完成的毕业论文,优化的筛法不可能有太大价值。
结果却是如此大的惊喜。
同时他也更加后悔,当初没有和张鲁平据理力争。
白白错过一位真正的数学天才学生。
当然他们家任务还没结束,尽管确定了多尺度解析筛法的价值,那更需验证斐波那契数无穷性问题是否解决。
这里面蕴含着非比寻常的意义。
如果没有成功证明,那么多尺度解析筛法的含金量就会大打折扣。
只具有潜在应用价值。
但若真的彻底解决了无穷性问题,便代表多尺度解析筛法在处理素数分布上,存在非常大的应用价值,届时势必会掀起数论界新的热潮。
徐铭也将变成国际数学界关注的焦点。
念头停留在这里,郑以中和张鲁平对视一眼,直接把桌面上的东西挪开共同进行验证。
直至时间来到中午饭点,在脑力持续消耗下,大家的肚子相继传来响声。
张鲁平暂时停下手上动作,摘掉眼镜揉了揉,看向还在发呆的刘新杰喊了句。
“小刘。”
“你去食堂带点饭菜上来,我们直接在办公室吃。”
说完更是直接掏出张百元大钞。
刘新杰看到大家都在忙,只有自己无所事事,心里面不免有些不好意思。
可又想知道最终结果不愿提前离开,被迫坐在椅子上发呆干熬。
眼看终于有了自己用武之地,回过神来后脸上顿时堆出灿烂笑容。
临出发前还不忘特意询问起徐铭。
“那个师弟,你想吃什么?”
他算是已经看出来,徐铭的这篇论文肯定发表,到时便不再是燕大校园里的风云人物。
而是进入国际数学界的圈子。
作为师兄肯定要和师弟打好关系抱紧大腿,说不定以后能有机会也到国际上混混。
徐铭闻言倒是没想太多,直接说出自己平时吃的。
“土豆牛腩盖饭,再加一份小炒肉吧,麻烦刘师兄了。”
“好嘞。”
刘新杰响亮的回了嗓子,下秒没有任何迟疑,立刻朝着办公室外面走去。
再说郑以中和张鲁平两位教授这边,中午在办公室简单吃完饭,当时间来到下午三点多的时候才算停下。
张鲁平研究的数学方向更偏向应用,对于理论数论的研究自认为不如郑以中。
所以他忙询问道:
“怎么样老郑,能确定小徐的证明过程吗?”
“借助多尺度解析筛法,经过问题转化对斐波那契数的无穷性证明,关于证明步骤和结果公式,我没有发现存在明显的逻辑漏洞或错误。”
郑以中微皱着眉头,将自己的验证结果,如实告知给面前的张鲁平。
“但是否彻底解决斐波那契数的无穷性问题,我现在还无法给出确切判断。”
“不过这绝对是一篇,能够发表在数学年刊上的数论领域重大突破论文。”