BSD猜想與計算機有不解之緣。
20世紀60年代初期，計算機處于早期發展階段，世界上只有很少幾臺，主要放在幾個重要的大學內。
英國數學家伯奇、斯溫納頓-戴爾是劍橋大學的教授，他倆利用當時世界上最強大的計算機之一“CambridgeEDSAC”，來計算和推演多項式方程可能存在的解。
兩位數學家遨游在數據的海洋中，他倆從海量的計算機數據里敏銳的識別出一個新模式，從而提出了數學史上的千禧難題之一，BSD猜想。
在幾千年的數學史上，大多數提出猜想的人，往往不是證明猜想的人。
當代很多職業數學家最推崇的古代數學家是歐幾里得，歐幾里得用五個常識性的公理推導出了浩瀚而嚴謹的歐氏幾何體系。
伯奇和斯溫納頓-戴爾在20世紀，利用計算機提出了BSD猜想。
他倆對這個猜想的證明，其實沒有做出多少有效的貢獻。
我猜你證，你證出來你牛批，你證出來我也牛批……大概就是這種套路。
當然了，這也有歷史原因。
1995年之前，即安德魯-懷爾斯證明費馬大定理之前，國際數學界連BSD猜想是否有意義都沒整明白。
關于BSD猜想證明的有效貢獻，大多誕生于1995年之后。
當代國際數學界對BSD猜想的數學意義乃至哲學意義已認識的很深刻了，這個猜想肯定是有意義的，意義深遠，星辰大海。
國際數學界十分期待能有一位或幾位牛批的數學家，完成對BSD猜想的證明。
被國際數學界公認最有希望證明BSD猜想的數學家是沈奇，然而沈奇一直沒有正式向BSD猜想發起沖擊。
沈奇的老婆在這個猜想上倒是做出了實質性的研究成績。
與伯奇、斯溫納頓-戴爾最早提出BSD猜想那會兒類似，歐葉的三個學生采取上機操作的方法，首先通過暴力窮舉法排除掉不具備Kolyvagin定理、Gross-Zagier定理、Shafarevih-Tate群階數特征的橢圓曲線。
這個操作并不難，就是挺耗時間的。
在加入哈塞-韋伊L函數特征條件后，趙天不禁身子一抖：“多加一個基礎條件，運算量增加了10的12次方倍……好在周老師借給我們使用這組高性能計算機啊，否則我博士畢業了，也不可能算完葉子姐的手稿……”