第655章 安排

計算機處理器高速運轉,L(E,s)在s=1處泰勒展開,其展開的階等同於橢圓曲線E的哈塞·韋伊rank r(E)。

橢圓曲線上的有理點在計算機的指揮下跳起神秘舞蹈,看似雜亂無章,實則踏著節拍。

形如y^2=x^3+ax+b的簡單橢圓曲線亦有無窮多個有理點,而這樣的橢圓曲線無窮多。

模曲線的條件被趙天等三個學生限定死,因為在1999年,加藤和也證明了有理數域上所有的橢圓曲線都是模曲線。

這是一場數字與符號間的盛大舞會,素數p登場了,它們在數據海洋中旋轉跳躍,對某些橢圓曲線上的有理點的個數進行計數,轉化為對以素數p為模的解的個數進行計數。

計算機屏幕的背景色是黑色,深邃的如同宇宙深處。黑暗中的舞者是一群白色精靈,在ordp(L'(E,1)/CE)=ordp(#Sha(E))的威壓下,p們快要控幾不住它們計幾,它們的呼吸變的急促,舞步繚亂接近瘋狂。

看著屏幕上不斷變化的數字與符號,小雲頗為著迷:“這就是數學的美,這就是數學的力量,宇宙中的奧秘隱藏於此。”

“嗯。”曾寒贊同的點點頭。

驗算進度2%。

即便是高性能計算機,對於歐葉構築的理論假設也需驗證一個禮拜。

在小雲和曾寒看來,海量的橢圓曲線、方程所組成的數學世界具有無與倫比的美感和力量感。

也許是前額葉皮層神經沒有學弟學妹那麽發達,趙天只感受到有限的美和力量,更多的是繁雜的數據處理所造成的腦闊疼。

“你們不覺得有些奇怪嗎,給予葉子姐幫助和支持的,居然不是沈教授,而是周雨安周老師。”等待數據處理的時間,趙天扯起了題外話。

小雲想了想說到:“或許是沈教授暗中安排周老師這麽做?”

趙天搖搖頭:“這不合乎邏輯吧,沈教授幹嘛不自己出面?試想,如果沈教授和葉子姐聯合證明BSD猜想,那麽獲得菲爾茲獎的人是葉子姐,因為沈教授拿過菲獎了。菲獎規則和諾獎不同,菲獎只能拿一次。”

曾寒反駁道:“你這個邏輯不對,你認為葉子姐需要沈教授帶躺?”

趙天連連擺手:“葉子姐當然不需要沈教授帶躺!我就是好奇嘛,沈教授為啥如此不關心BSD猜想?”

小雲說到:“大佬的心思你別猜,等你當大佬了,你可能才會明白。我個人覺得吧,沈教授其實非常關心葉子姐的BSD課題項目,他之所以刻意回避BSD猜想,是不想讓他的影子過多出現在葉子姐身上。他們夫妻間的事情,咱們就別瞎猜了。菲獎設定了40歲的年齡上限,除非再次出現安德魯·懷爾斯超齡獲獎的特殊情況,否則葉子姐只剩兩次機會沖擊菲獎了,她嘴上不說什麽,心中卻是對菲獎特別渴望。”

趙天貌似悟出了什麽了不得的東西:“菲獎的評審具有不確定性,沈教授可能是在布局吧,他讓周老師也介入BSD猜想項目,是做雙保險?一旦BSD猜想被咱們證明了,葉子姐、周老師攜手沖擊菲獎,那就是保一爭二。”

小雲不敢苟同:“根據菲獎評審慣例,同一個猜想如果被多人證明,也只有一個人能獲得菲獎。比如說費馬大定理其實是安德魯·懷爾斯和理查德·泰勒這對學術夥伴一起證明的,菲獎最終頒給了安德魯·懷爾斯,而理查德·泰勒想要獲得菲獎,只能依靠新的項目、新的研究成果去爭取。”

趙天面色變的飄忽不定:“這麽說的話,周老師不應該介入咱們的BSD課題啊,萬一他把葉子姐的菲獎搶走了咋整?”

“如果周老師是得到了沈教授的授意介入葉子姐的BSD猜想項目,那麽我覺得,很有可能周老師才是沈教授的真愛。”小雲忽然興奮,她覺得自己的猜測不一定不靠譜,周老師有車有房有地位有身份,他三十幾歲了還不結婚,這是為什麽呢?

“真愛個鬼,你們這些女生搞基文看多了吧?周老師怎麽可能是基佬?就算周老師是基佬,正直的沈教授也絕不可能是基佬,國家和人民不允許他是基佬。到飯點了,曾寒你守著,我跟小雲出去吃飯,跟你打個包回來。”趙天拉著小雲離開了中心去外面吃飯。

天氣越來越炎熱,熱的不正常。

首都連續幾天的最高溫度達到40攝氏度,趙天、小雲、曾寒三人沒了出去吃飯的欲望,他們三餐叫外賣,除了睡覺,三人的其他時間都泡在沈奇科研中心的計算機房裏。

計算機連續不停的運轉,配合著空調風嗡嗡作響。

BSD猜想證明方案的上機驗算進入了關鍵節點,周雨安偶爾來計算機房問問情況,而沈奇科研中心的主任沈奇、以及這個項目的學術帶頭人歐葉從未來過計算機房。

歐葉不來計算機房是因為她在住院,她的心牽掛著計算機驗算結果,她每天都會在手機上和三位學生交流。