第824頁
2023-09-30 01:18:05 作者： 術小城
「你們葉子姐挺有錢的，數院的人都知道，她是燕大首席富婆。但是，即便錢多的花不完，歐葉也應該避免自掏腰包購買科研設備。她犯了一個政治上的錯誤，她作為燕大的一位正教授研究員，不應該在不立項、不申請國家科研經費的情況下，自行開展BSD猜想的研究項目。」
「我說句難聽的話，歐葉這麼做會給別有用心的人一些藉口。試想，如果歐葉自掏腰包、不通過學校或國家立項，最後還真的證明了BSD猜想，那就是個人英雄主義，那就是犯錯誤。」
「我們必須清楚，公立大學和研究機構里的任何一個科研成果，都是在黨和國家的大力支持下取得的。」
「這點沈奇做的很好，他沒有任何破綻，沈奇科研中心做個兩萬塊錢的丟番圖方程基礎性研究項目，也是要走國家自然科學基金渠道的。」周雨安挺為歐葉操心的，他問：「話說你們三個優秀學生，入黨沒有？」
「沒……沒入黨。」三個學生聽完周雨安的一席話，既有政治上的緊迫感，亦產生了一些說不清道不明的緊張感。
周雨安苦笑搖搖頭：「好嘛，歐葉這個無黨派人士，帶著三個無黨派學生，在不經過黨和國家批准的情況下，私自進行重大數學問題的研究，要不得，要不得……我強烈建議，你們的這個強BSD猜想課題，必須馬上立項，去申請科研經費。哪怕是申請燕大內部的基礎理論研究資金，也是可以的，這個事情我會跟歐葉講的。你們三個也別用這幾台破電腦了，用這幾台破電腦進行驗證，要驗證到猴年馬月？從明天開始，你們仨來沈奇科研中心，我提供中心數學室最高性能的計算機給你們使用。」
「那感情好，謝謝周老師！」學生們感受到了組織的溫暖，周老師是個老黨員，老黨員的覺悟果然是高，老黨員考慮問題深刻而細緻。
於是在黨的安排下，趙天、小雲、曾寒來到沈奇科研中心大樓，他們利用中心的高性能先進計算機，對歐葉設定的橢圓曲線進行驗證。
BSD猜想與計算機有不解之緣。
20世紀60年代初期，計算機處於早期發展階段，世界上只有很少幾台，主要放在幾個重要的大學內。
英國數學家伯奇、斯溫納頓·戴爾是劍橋大學的教授，他倆利用當時世界上最強大的計算機之一「Cambridge EDSAC」，來計算和推演多項式方程可能存在的解。
兩位數學家遨遊在數據的海洋中，他倆從海量的計算機數據里敏銳的識別出一個新模式，從而提出了數學史上的千禧難題之一，BSD猜想。
在幾千年的數學史上，大多數提出猜想的人，往往不是證明猜想的人。
當代很多職業數學家最推崇的古代數學家是歐幾里得，歐幾里得用五個常識性的公理推導出了浩瀚而嚴謹的歐氏幾何體系。
伯奇和斯溫納頓·戴爾在20世紀，利用計算機提出了BSD猜想。
他倆對這個猜想的證明，其實沒有做出多少有效的貢獻。
我猜你證，你證出來你牛批，你證出來我也牛批……大概就是這種套路。
當然了，這也有歷史原因。
1995年之前，即安德魯·懷爾斯證明費馬大定理之前，國際數學界連BSD猜想是否有意義都沒整明白。
關於BSD猜想證明的有效貢獻，大多誕生於1995年之後。
當代國際數學界對BSD猜想的數學意義乃至哲學意義已認識的很深刻了，這個猜想肯定是有意義的，意義深遠，星辰大海。
國際數學界十分期待能有一位或幾位牛批的數學家，完成對BSD猜想的證明。
被國際數學界公認最有希望證明BSD猜想的數學家是沈奇，然而沈奇一直沒有正式向BSD猜想發起衝擊。
沈奇的老婆在這個猜想上倒是做出了實質性的研究成績。
與伯奇、斯溫納頓·戴爾最早提出BSD猜想那會兒類似，歐葉的三個學生採取上機操作的方法，首先通過暴力窮舉法排除掉不具備Kolyvagin定理、Gross-Zagier定理、Shafarevich-Tate群階數特徵的橢圓曲線。
這個操作並不難，就是挺耗時間的。
在加入哈塞·韋伊L函數特徵條件後，趙天不禁身子一抖：「多加一個基礎條件，運算量增加了10的12次方倍……好在周老師借給我們使用這組高性能計算機啊，否則我博士畢業了，也不可能算完葉子姐的手稿……」
第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們快要控幾不住它們計幾，它們的呼吸變的急促，舞步繚亂接近瘋狂。