第136章 學術本就是在黑暗中摸索
第136章 學術本就是在黑暗中摸索
蒙哥馬利對關聯猜想?
作為純數領域的大牛,劉若傳當然知道這個公式意味著什麼。
1973年,數學家休·蒙哥馬利提出了一個極具顛覆性的猜想。
黎曼zeta函數非平凡零點之間的間距分布,在經過標準化處理後,其統計規律竟然與量子力學中隨機厄米矩陣(GUE)特徵值的對關聯分布完全一致!
而李東草稿紙上那個1—[sin(πu)/(πu)]^2,正是這個分布規律的核心密度函數。
這個猜想之所以恐怖,是因為它在數論和最前沿的量子混沌物理之間,架起了一座橋樑。
𝕾𝕿𝕺𝟝𝟝.𝕮𝕺𝕸提醒您查看最新內容
但要驗證或者推進這個猜想,必須要以海量的非平凡零點數據作為底層支撐。
寢室里的其他人多多少少也是聽過這個猜想的。
王浩此時嘴唇都有些發抖了,他結結巴巴的問道。
「劉——劉院長,他——他證明了這個猜想?」
劉若傳看著草稿紙搖了搖頭。
「證明?怎麼可能!」劉若傳深吸了一口氣。
「蒙哥馬利對關聯猜想的完整證明,其難度幾乎等同於黎曼猜想本身。」
「不過————」劉若傳看著草稿紙上那些複雜的泛函分析和圍道積分變形,他沒有繼續說,但心裡卻在繼續分析。
結合紙上那些關於檢驗函數和傅立葉變換的放縮估計————
「這小子————他是想把蒙哥馬利當年卡死的α&It: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嗎?。」
顯然,高穩也想通了。
李東手裡的算法已經疊代了。
「老劉,學校那邊就麻煩你了。」
「上次我和那小子說的碰頭會,我會讓華軒這邊往後推一下!先去調節其他部門的硬體接口準備工作。
7
「好!」
掛斷電話後,劉若傳走回走廊,跟眾人揮了揮手示意各忙各的去,隨後背著雙手,哼著小曲兒朝著院長辦公室走去。