計算機處理器高速運轉,L(E,s)在s1處泰勒展開,其展開的階等同于橢圓曲線E的哈塞韋伊rank
橢圓曲線上的有理點在計算機的指揮下跳起神秘舞蹈,看似雜亂無章,實則踏著節拍。
形如y2x3axb的簡單橢圓曲線亦有無窮多個有理點,而這樣的橢圓曲線無窮多。
模曲線的條件被趙天等三個學生限定死,因為在1999年,加藤和也證明了有理數域上所有的橢圓曲線都是模曲線。
這是一場數字與符號間的盛大舞會,素數p登場了,它們在數據海洋中旋轉跳躍,對某些橢圓曲線上的有理點的個數進行計數,轉化為對以素數p為模的解的個數進行計數。
計算機屏幕的背景色是黑色,深邃的如同宇宙深處。黑暗中的舞者是一群白色精靈,在ordp(L’(E,1)/CE)ordp(#Sha(E))的威壓下,p們快要控幾不住它們計幾,它們的呼吸變的急促,舞步繚亂接近瘋狂。
看著屏幕上不斷變化的數字與符號,小云頗為著迷:“這就是數學的美,這就是數學的力量,宇宙中的奧秘隱藏于此。”
“嗯。”曾寒贊同的點點頭。
驗算進度2。
即便是高性能計算機,對于歐葉構筑的理論假設也需驗證一個禮拜。
在小云和曾寒看來,海量的橢圓曲線、方程所組成的數學世界具有無與倫比的美感和力量感。
也許是前額葉皮層神經沒有學弟學妹那么發達,趙天只感受到有限的美和力量,更多的是繁雜的數據處理所造成的腦闊疼。
“你們不覺得有些奇怪嗎,給予葉子姐幫助和支持的,居然不是沈教授,而是周雨安周老師。”等待數據處理的時間,趙天扯起了題外話。
小云想了想說到:“或許是沈教授暗中安排周老師這么做?”
趙天搖搖頭:“這不合乎邏輯吧,沈教授干嘛不自己出面?試想,如果沈教授和葉子姐聯合證明BSD猜想,那么獲得菲爾茲獎的人是葉子姐,因為沈教授拿過菲獎了。菲獎規則和諾獎不同,菲獎只能拿一次。”
曾寒反駁道:“你這個邏輯不對,你認為葉子姐需要沈教授帶躺?”
趙天連連擺手:“葉子姐當然不需要沈教授帶躺!我就是好奇嘛,沈教授為啥如此不關心BSD猜想?”
小云說到:“大佬的心思你別猜,等你當大佬了,你可能才會明白。我個人覺得吧,沈教授其實非常關心葉子姐的BSD課題項目,他之所以刻意回避BSD猜想,是不想讓他的影子過多出現在葉子姐身上。他們夫妻間的事情,咱們就別瞎猜了。菲獎設定了40歲的年齡上限,除非再次出現安德魯懷爾斯超齡獲獎的特殊情況,否則葉子姐只剩兩次機會沖擊菲獎了,她嘴上不說什么,心中卻是對菲獎特別渴望。”
趙天貌似悟出了什么了不得的東西:“菲獎的評審具有不確定性,沈教授可能是在布局吧,他讓周老師也介入BSD猜想項目,是做雙保險?一旦BSD猜想被咱們證明了,葉子姐、周老師攜手沖擊菲獎,那就是保一爭二。”
小云不敢茍同:“根據菲獎評審慣例,同一個猜想如果被多人證明,也只有一個人能獲得菲獎。比如說費馬大定理其實是安德魯懷爾斯和理查德泰勒這對學術伙伴一起證明的,菲獎最終頒給了安德魯懷爾斯,而理查德泰勒想要獲得菲獎,只能依靠新的項目、新的研究成果去爭取。”
趙天面色變的飄忽不定:“這么說的話,周老師不應該介入咱們的BSD課題啊,萬一他把葉子姐的菲獎搶走了咋整?”
“如果周老師是得到了沈教授的授意介入葉子姐的BSD猜想項目,那么我覺得,很有可能周老師才是沈教授的真愛。”小云忽然興奮,她覺得自己的猜測不一定不靠譜,周老師有車有房有地位有身份,他三十幾歲了還不結婚,這是為什么呢?
“真愛個鬼,你們這些女生搞基文看多了吧?周老師怎么可能是基佬?就算周老師是基佬,正直的沈教授也絕不可能是基佬,國家和人民不允許他是基佬。到飯點了,曾寒你守著,我跟小云出去吃飯,跟你打個包回來。”趙天拉著小云離開了中心去外面吃飯。
天氣越來越炎熱,熱的不正常。
首都連續幾天的最高溫度達到40攝氏度,趙天、小云、曾寒三人沒了出去吃飯的欲望,他們三餐叫外賣,除了睡覺,三人的其他時間都泡在沈奇科研中心的計算機房里。
計算機連續不停的運轉,配合著空調風嗡嗡作響。
BSD猜想證明方案的上機驗算進入了關鍵節點,周雨安偶爾來計算機房問問情況,而沈奇科研中心的主任沈奇、以及這個項目的學術帶頭人歐葉從未來過計算機房。
歐葉不來計算機房是因為她在住院,她的心牽掛著計算機驗算結果,她每天都會在手機上和三位學生交流。
沈奇不來計算機房,是因為他最近一段時間連中心都沒來過。沈院士別墅、燕大人民醫院、幼兒園,這是沈奇近期出沒的地點。
首都的戶外最高氣溫歷史性的抵達41攝氏度,這是天氣預報給出的數據,氣象臺發出紅色高溫預警,提醒廣大市民注意降溫。
沈奇科研中心物理團隊測定的室外最高溫是44攝氏度,這特么可是北方啊,44度是什么概念?熱成狗了,狗都熱死了。
在這種反常的熱死狗的日子里,外賣小哥送一個單子,至少要多加15塊錢。
趙天、小云、曾寒三條數學狗連下樓取外賣的功夫都省了,計算機房里堆滿了各種食品,敞開的食品包裝袋散發出復雜的氣味,各種牌子的速溶咖啡以每小時消耗一包的速度迅速減少。
這天午時,驕陽似火的天空忽然烏云密布,五米多寬的閃電不斷刷新,隨之而來的是滾滾雷聲。
電閃雷鳴,暴雨傾瀉,地獄般難熬的酷暑一周終于結束。
雨點啪啪擊打計算機房的玻璃,連續工作了一個星期的計算機終于給出了計算結果。
“這是……”趙天、小云、曾寒三人瞪大眼盯著屏幕,心情激動,卻又疑惑。