計算機處理器高速運轉,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猜想證明方案的上機驗算進入了關鍵節點,周雨安偶爾來計算機房問問情況,而沈奇科研中心的主任沈奇、以及這個項目的學術帶頭人歐葉從未來過計算機房。
歐葉不來計算機房是因爲她在住院,她的心牽掛着計算機驗算結果,她每天都會在手機上和三位學生交流。
沈奇不來計算機房,是因爲他最近一段時間連中心都沒來過。沈院士別墅、燕大人民醫院、幼兒園,這是沈奇近期出沒的地點。
首都的戶外最高氣溫歷史性的抵達41攝氏度,這是天氣預報給出的數據,氣象臺發出紅色高溫預警,提醒廣大市民注意降溫。
沈奇科研中心物理團隊測定的室外最高溫是44攝氏度,這特麼可是北方啊,44度是什麼概念?熱成狗了,狗都熱死了。
在這種反常的熱死狗的日子裡,外賣小哥送一個單子,至少要多加15塊錢。
趙天、小云、曾寒三條數學狗連下樓取外賣的功夫都省了,計算機房裡堆滿了各種食品,敞開的食品包裝袋散發出複雜的氣味,各種牌子的速溶咖啡以每小時消耗一包的速度迅速減少。
這天午時,驕陽似火的天空忽然烏雲密佈,五米多寬的閃電不斷刷新,隨之而來的是滾滾雷聲。
電閃雷鳴,暴雨傾瀉,地獄般難熬的酷暑一週終於結束。
雨點啪啪擊打計算機房的玻璃,連續工作了一個星期的計算機終於給出了計算結果。
“這是……”趙天、小云、曾寒三人瞪大眼盯着屏幕,心情激動,卻又疑惑。