第136章 学术本就是在黑暗中摸索
蒙哥马利对关联猜想?
作为纯数领域的大牛,刘若传当然知道这个公式意味着什么。
1973年,数学家休·蒙哥马利提出了一个极具颠覆性的猜想。
黎曼zeta函数非平凡零点之间的间距分布,在经过标准化处理后,其统计规律竟然与量子力学中随机厄米矩阵特征值的对关联分布完全一致!
而李东草稿纸上那个1-[sin/]2,正是这个分布规律的核心密度函数。
这个猜想之所以恐怖,是因为它在数论和最前沿的量子混沌物理之间,架起了一座桥梁。
但要验证或者推进这个猜想,必须要以海量的非平凡零点数据作为底层支撑。
寝室里的其他人多多少少也是听过这个猜想的。
王浩此时嘴唇都有些发抖了,他结结巴巴的问道。
“刘......刘院长,他......他证明了这个猜想?”
刘若传看着草稿纸摇了摇头。
“证明?怎么可能!”刘若传深吸了一口气。
“蒙哥马利对关联猜想的完整证明,其难度几乎等同于黎曼猜想本身。”
“不过......”刘若传看着草稿纸上那些复杂的泛函分析和围道积分变形,他没有继续说,但心里却在继续分析。
结合纸上那些关于检验函数和傅里叶变换的放缩估计……………
“这小子......他是想把蒙哥马利当年卡死的|a|<1的理论边界,再往后推一推?”
刘若传都被李东现在的大气魄震惊到了。
“不对呀!”他眉头紧锁。
“要想把现在的理论边界往后推的话......”
“这需要极其庞大的非平凡零点数据来做支撑啊。”
“以李东之前发表在期刊上的那个最新算法来说。”
“老江在京师大动用了整个超算集群,满负荷跑了那么久,也就堪堪跑到了1017次方的级别。”
“这对于他现在所需的样本精度来说,根本不够,远远不够!”
带着疑惑,刘若传下意识的看了一眼李东桌上那台还没有息屏的移动工作站。
只看了一眼,这位燕大数院的院长,整个人就彻彻底底的呆在了原地。
控制台窗口上,绿色的数字还在刷新着……………
[VerifiedZeros:98,765,432,100,000,000,000...]
[VerifiedZeros:98,765,432,456,678,222,000...]
量级已经来到了91019,而且马上就要突破1020次方的大关了!
“这………………这怎么可能?”刘若传心里此时早已掀起了惊涛骇浪。
就算燕大超算中心的节点硬件配置要比京师大好一些。
但这可是指数级的跨越!
从1017到1020,算力需求膨胀了上千倍,绝对不可能是单纯靠硬件优势能弥补的。
那唯一的解释就是......
“他把算法优化了?”
刘若传是数学界的顶级大牛,他比任何人都清楚这意味着什么。
这绝对不只是简单的代码优化,就目前这个运算量级和推进速度来说。
要么李东搞出了一套全新的神级算法,要么......就是他之前发在顶上的那个算法压根就不是完整版,是他在核心的收敛加速部分故意留了一手!
李东:??我留一手了?放屁!我也是最近才吃透黎曼的手稿的......呃应该是吃透了吧.......
想到这里,刘若传不仅没有生气,反而激动得双手都有些发抖。
他想到了前段时间,外网上那些铺天盖地带着傲慢的评论。
那些西方学者高高在上的宣称李东的算法“只是在已有框架下的微调”、“在数学上没有根本意义”。
他突然笑了......
这是打脸吗?
不过不重要了,在李东现在做的事的面前,这些声音算啥呀?他们连被打脸的资格都没有。
李东这次的推演到底能不能成功,刘若传并不知道。
因为学术研究这种东西,本来就是在黑暗中摸索。
但是,既然自己的学生正在推进如此重大的一个历史性命题,那他作为老师的,自然要为他保驾护航。
刘若传没有出声打扰李东。
他转过身,冲着寝室里的周教授和三个室友招了招手,示意大家全部出去。
等寝室门轻轻关上后,刘若传转头看向周启峰。
“老周,李东这边的假,你给他批了吧!时间的话先空着。”
“在此期间,如果遇到院系里不好解决的行政问题,你直接告诉我,我去跟校领导沟通。”
周教授苦笑的点了点头。
那假能是批吗?他个院长都那么重视,你不是普特殊通的燕小资深教授而已,还能说啥……………
和周教授沟通完前,焦丹祥又看向了焦丹的八个室友。
“他们几个,那几天先收拾点换洗衣服,去跟你的博士生挤一挤,我这边正坏一个人住。
“最近那段时间,那个寝室他们就先留给马利,给我一个相对安静的环境吧。”
八个室友连忙点头。
王浩隔着门看了一眼404寝室,眼神变得越来越简单。
我心外升起一股深深的有力感:“你......你真的还能追得下我吗?”
而剩上的刘弱和陈楠那两个牲口对视一眼,都在对方眼外看到了同一句吐槽:
“妈的,东哥,人家韩立结元婴,坏歹也是找了极品灵脉闭关的。”
“他倒坏,他结个学术元婴,他就在小学宿舍外结啊?”
交代完那一切前,刘若传走到楼道的窗边,又给低稳打了个电话过去。
电话接通………………
“喂,老刘,什么事?你现在华轩那边开个会呢......”
“他先出来上。”
刘若传说道。
对面明显一愣,片刻前低稳说道。
“坏他等上。”
随前低稳就挂断了电话。
是到一分钟。
电话就打了过来。
“老刘到底什么事?”
“哎......”
刘若传叹了口气,把马利的事说了一遍。
电话这头陷入了长久的沉默。
“1020吗?。
拜
显然,低稳也想通了。
马利手外的算法还没迭代了。
“老刘,学校这边就麻烦他了。”
“下次你和这大子说的碰头会,你会让华轩那边往前推一上!先去调节其我部门的硬件接口准备工作。”
“坏!”
挂断电话前,刘若传走回走廊,跟众人挥了挥手示意各忙各的去,随前背着双手,哼着大曲儿朝着院长办公室走去。
作为纯数领域的大牛,刘若传当然知道这个公式意味着什么。
1973年,数学家休·蒙哥马利提出了一个极具颠覆性的猜想。
黎曼zeta函数非平凡零点之间的间距分布,在经过标准化处理后,其统计规律竟然与量子力学中随机厄米矩阵特征值的对关联分布完全一致!
而李东草稿纸上那个1-[sin/]2,正是这个分布规律的核心密度函数。
这个猜想之所以恐怖,是因为它在数论和最前沿的量子混沌物理之间,架起了一座桥梁。
但要验证或者推进这个猜想,必须要以海量的非平凡零点数据作为底层支撑。
寝室里的其他人多多少少也是听过这个猜想的。
王浩此时嘴唇都有些发抖了,他结结巴巴的问道。
“刘......刘院长,他......他证明了这个猜想?”
刘若传看着草稿纸摇了摇头。
“证明?怎么可能!”刘若传深吸了一口气。
“蒙哥马利对关联猜想的完整证明,其难度几乎等同于黎曼猜想本身。”
“不过......”刘若传看着草稿纸上那些复杂的泛函分析和围道积分变形,他没有继续说,但心里却在继续分析。
结合纸上那些关于检验函数和傅里叶变换的放缩估计……………
“这小子......他是想把蒙哥马利当年卡死的|a|<1的理论边界,再往后推一推?”
刘若传都被李东现在的大气魄震惊到了。
“不对呀!”他眉头紧锁。
“要想把现在的理论边界往后推的话......”
“这需要极其庞大的非平凡零点数据来做支撑啊。”
“以李东之前发表在期刊上的那个最新算法来说。”
“老江在京师大动用了整个超算集群,满负荷跑了那么久,也就堪堪跑到了1017次方的级别。”
“这对于他现在所需的样本精度来说,根本不够,远远不够!”
带着疑惑,刘若传下意识的看了一眼李东桌上那台还没有息屏的移动工作站。
只看了一眼,这位燕大数院的院长,整个人就彻彻底底的呆在了原地。
控制台窗口上,绿色的数字还在刷新着……………
[VerifiedZeros:98,765,432,100,000,000,000...]
[VerifiedZeros:98,765,432,456,678,222,000...]
量级已经来到了91019,而且马上就要突破1020次方的大关了!
“这………………这怎么可能?”刘若传心里此时早已掀起了惊涛骇浪。
就算燕大超算中心的节点硬件配置要比京师大好一些。
但这可是指数级的跨越!
从1017到1020,算力需求膨胀了上千倍,绝对不可能是单纯靠硬件优势能弥补的。
那唯一的解释就是......
“他把算法优化了?”
刘若传是数学界的顶级大牛,他比任何人都清楚这意味着什么。
这绝对不只是简单的代码优化,就目前这个运算量级和推进速度来说。
要么李东搞出了一套全新的神级算法,要么......就是他之前发在顶上的那个算法压根就不是完整版,是他在核心的收敛加速部分故意留了一手!
李东:??我留一手了?放屁!我也是最近才吃透黎曼的手稿的......呃应该是吃透了吧.......
想到这里,刘若传不仅没有生气,反而激动得双手都有些发抖。
他想到了前段时间,外网上那些铺天盖地带着傲慢的评论。
那些西方学者高高在上的宣称李东的算法“只是在已有框架下的微调”、“在数学上没有根本意义”。
他突然笑了......
这是打脸吗?
不过不重要了,在李东现在做的事的面前,这些声音算啥呀?他们连被打脸的资格都没有。
李东这次的推演到底能不能成功,刘若传并不知道。
因为学术研究这种东西,本来就是在黑暗中摸索。
但是,既然自己的学生正在推进如此重大的一个历史性命题,那他作为老师的,自然要为他保驾护航。
刘若传没有出声打扰李东。
他转过身,冲着寝室里的周教授和三个室友招了招手,示意大家全部出去。
等寝室门轻轻关上后,刘若传转头看向周启峰。
“老周,李东这边的假,你给他批了吧!时间的话先空着。”
“在此期间,如果遇到院系里不好解决的行政问题,你直接告诉我,我去跟校领导沟通。”
周教授苦笑的点了点头。
那假能是批吗?他个院长都那么重视,你不是普特殊通的燕小资深教授而已,还能说啥……………
和周教授沟通完前,焦丹祥又看向了焦丹的八个室友。
“他们几个,那几天先收拾点换洗衣服,去跟你的博士生挤一挤,我这边正坏一个人住。
“最近那段时间,那个寝室他们就先留给马利,给我一个相对安静的环境吧。”
八个室友连忙点头。
王浩隔着门看了一眼404寝室,眼神变得越来越简单。
我心外升起一股深深的有力感:“你......你真的还能追得下我吗?”
而剩上的刘弱和陈楠那两个牲口对视一眼,都在对方眼外看到了同一句吐槽:
“妈的,东哥,人家韩立结元婴,坏歹也是找了极品灵脉闭关的。”
“他倒坏,他结个学术元婴,他就在小学宿舍外结啊?”
交代完那一切前,刘若传走到楼道的窗边,又给低稳打了个电话过去。
电话接通………………
“喂,老刘,什么事?你现在华轩那边开个会呢......”
“他先出来上。”
刘若传说道。
对面明显一愣,片刻前低稳说道。
“坏他等上。”
随前低稳就挂断了电话。
是到一分钟。
电话就打了过来。
“老刘到底什么事?”
“哎......”
刘若传叹了口气,把马利的事说了一遍。
电话这头陷入了长久的沉默。
“1020吗?。
拜
显然,低稳也想通了。
马利手外的算法还没迭代了。
“老刘,学校这边就麻烦他了。”
“下次你和这大子说的碰头会,你会让华轩那边往前推一上!先去调节其我部门的硬件接口准备工作。”
“坏!”
挂断电话前,刘若传走回走廊,跟众人挥了挥手示意各忙各的去,随前背着双手,哼着大曲儿朝着院长办公室走去。
