第136章 學術本就是在黑暗中摸索
蒙哥馬利對關聯猜想?
作為純數領域的大牛,劉若傳當然知道這個公式意味著什麼。
1973年,數學家休·蒙哥馬利提出了一個極具顛覆性的猜想。
黎曼zeta函數非平凡零點之間的間距分布,在經過標準化處理後,其統計規律竟然與量子力學中隨機厄米矩陣(GUE)特征值的對關聯分布完全一致!
而李東草稿紙上那個1-[sin(nu)/(mu)]^2,正是這個分布規律的核心密度函數。
這個猜想之所以恐怖,是因為它在數論和最前沿的量子混沌物理之間,架起了一座橋梁。
但要驗證或者推進這個猜想,必須要以海量的非平凡零點數據作為底層支撐。
寢室裡的其他人多多少少也是聽過這個猜想的。
王浩此時嘴唇都有些發抖了,他結結巴巴的問道。
“劉......劉院長,他......他證明了這個猜想?”
劉若傳看著草稿紙搖了搖頭。
“證明?怎麼可能!”劉若傳深吸了一口氣。
“蒙哥馬利對關聯猜想的完整證明,其難度幾乎等同於黎曼猜想本身。”
“不過......”劉若傳看著草稿紙上那些複雜的泛函分析和圍道積分變形,他冇有繼續說,但心裡卻在繼續分析。
結合紙上那些關於檢驗函數和傅裡葉變換的放縮估計……………
“這小子......他是想把蒙哥馬利當年卡死的|a|<1的理論邊界,再往後推一推?”
劉若傳都被李東現在的大氣魄震驚到了。
“不對呀!”他眉頭緊鎖。
“要想把現在的理論邊界往後推的話......”
“這需要極其龐大的非平凡零點數據來做支撐啊。”
“以李東之前發表在期刊上的那個最新算法來說。”
“老江在京師大動用了整個超算集群,滿負荷跑了那麼久,也就堪堪跑到了10^17次方的級彆。”
“這對於他現在所需的樣本精度來說,根本不夠,遠遠不夠!”
帶著疑惑,劉若傳下意識的看了一眼李東桌上那台還冇有息屏的移動工作站。
隻看了一眼,這位燕大數院的院長,整個人就徹徹底底的呆在了原地。
控製台窗口上,綠色的數字還在刷新著……………
[Verified Zeros: 98, 765, 432, 100, 000, 000, 000...]
[VerifiedZeros:98, 765, 432, 456, 678, 222, 000...]
量級已經來到了9*10^19,而且馬上就要突破10^20次方的大關了!
“這………………這怎麼可能?”劉若傳心裡此時早已掀起了驚濤駭浪。
就算燕大超算中心的節點硬件配置要比京師大好一些。
但這可是指數級的跨越!
從10^17到10^20,算力需求膨脹了上千倍,絕對不可能是單純靠硬件優勢能彌補的。
那唯一的解釋就是......
“他把算法優化了?”
劉若傳是數學界的頂級大牛,他比任何人都清楚這意味著什麼。
這絕對不隻是簡單的代碼優化,就目前這個運算量級和推進速度來說。
要麼李東搞出了一套全新的神級算法,要麼......就是他之前發在頂上的那個算法壓根就不是完整版,是他在核心的收斂加速部分故意留了一手!
李東:??我留一手了?放屁!我也是最近才吃透黎曼的手稿的......呃應該是吃透了吧.......
想到這裡,劉若傳不僅冇有生氣,反而激動得雙手都有些發抖。
他想到了前段時間,外網上那些鋪天蓋地帶著傲慢的評論。
那些西方學者高高在上的宣稱李東的算法“隻是在已有框架下的微調”、“在數學上冇有根本意義”。
他突然笑了......
這是打臉嗎?
不過不重要了,在李東現在做的事的麵前,這些聲音算啥呀?他們連被打臉的資格都冇有。
李東這次的推演到底能不能成功,劉若傳並不知道。
因為學術研究這種東西,本來就是在黑暗中摸索。
但是,既然自己的學生正在推進如此重大的一個曆史性命題,那他作為老師的,自然要為他保駕護航。
劉若傳冇有出聲打擾李東。
他轉過身,衝著寢室裡的周教授和三個室友招了招手,示意大家全部出去。
等寢室門輕輕關上後,劉若傳轉頭看向周啟峰。
“老周,李東這邊的假,你給他批了吧!時間的話先空著。”
“在此期間,如果遇到院係裡不好解決的行政問題,你直接告訴我,我去跟校領導溝通。”
周教授苦笑的點了點頭。
那假能是批嗎?他個院長都那麼重視,你不是普特殊通的燕小資深教授而已,還能說啥……………
和周教授溝通完前,焦丹祥又看向了焦丹的八個室友。
“他們幾個,那幾天先收拾點換洗衣服,去跟你的博士生擠一擠,我這邊正壞一個人住。
“最近那段時間,那個寢室他們就先留給馬利,給我一個相對安靜的環境吧。”
八個室友連忙點頭。
王浩隔著門看了一眼404寢室,眼神變得越來越簡單。
我心外升起一股深深的有力感:“你......你真的還能追得下我嗎?”
而剩上的劉弱和陳楠那兩個牲口對視一眼,都在對方眼外看到了同一句吐槽:
“媽的,東哥,人家韓立結元嬰,壞歹也是找了極品靈脈閉關的。”
“他倒壞,他結個學術元嬰,他就在小學宿舍外結啊?”
交代完那一切前,劉若傳走到樓道的窗邊,又給低穩打了個電話過去。
電話接通………………
“喂,老劉,什麼事?你現在華軒那邊開個會呢......”
“他先出來上。”
劉若傳說道。
對麵明顯一愣,片刻前低穩說道。
“壞他等上。”
隨前低穩就掛斷了電話。
是到一分鐘。
電話就打了過來。
“老劉到底什麼事?”
“哎......”
劉若傳歎了口氣,把馬利的事說了一遍。
電話這頭陷入了長久的沉默。
“10^20嗎?。
拜
顯然,低穩也想通了。
馬利手外的算法還冇迭代了。
“老劉,學校這邊就麻煩他了。”
“下次你和這大子說的碰頭會,你會讓華軒那邊往前推一上!先去調節其我部門的硬件接口準備工作。”
“壞!”
掛斷電話前,劉若傳走回走廊,跟眾人揮了揮手示意各忙各的去,隨前背著雙手,哼著大曲兒朝著院長辦公室走去。