好不容易把這位貌似自己粉絲的漂亮學姐應付過去，龐學林有些疲憊地返回房間。
看著書桌上一堆關于BSD猜想的稿紙，龐學林撓了撓頭。
當年他和自己的導師陶哲軒打賭，然后一頭栽入BSD這個大坑里，中間雖然也出了成果，但龐學林非常清楚，他距離BSD猜想的最終證明，依舊遙遙無期，甚至可以稱得上是有生之年系列。
BSD猜想是數論領域非常重要的猜想，被美國克雷研究所列為千禧年七個數學問題之一，可見其的重要性。
從上世紀八十年代到現在，無數天才數學家前赴后繼，想要越過BSD猜想這座高山，但至今為止，最多只能算是攀登到半山腰。
1986年，約翰·科茨(懷爾斯的導師)和安德魯·懷爾斯對rank=0的一類曲線證明了BSD猜想。
1987年，本尼迪克·格羅斯（Gross）和Zagier證明了一個關于rank=1曲線的定理，這個定理引出了rank<=1的BSD猜想的證明。
1989年，科利瓦金（Kolyvagin）利用他發明的Euler工具，在Gross-Zagier證明的analytik=1的基礎上，推出algebraik=1。
1991年，卡爾·魯賓利用科利瓦金的Euler工具簡化了巖澤主猜想的證明，同時他還證明了虛二次域情況下的巖澤主猜想證明，從而給出了BSD猜想的部分結果。
2013年，任教于芝加哥大學數學系的中國數學家張瑋在一些前置條件下證明了Kolyvagin猜想。
次年，張瑋與Skinner合作證明了Gross-Zagier和Kolyvagin逆命題的定理。
2018年，龐學林給出了極化阿貝爾簇André-Oort猜想證明。
……
但是迄今為止，數學家們依舊無法確定R是否有界，對于沙群III，也不知道它的勢是否有限。
而沙群是理解數學對象的算術性質的核心之一，只有解決BSD猜想，才可以描述出代數數域上的信息在多大程度上可由所有的局部域上的信息粘合過來，這無論對數論還是代數幾何，都意義重大。
過去兩年，龐學林把大部分精力都放在了研究BSD猜想上，也取得了不錯的進展。
可最近幾個月，龐學林的研究卻有種走入死胡同的感覺。
他隱隱意識到，想要徹底解決BSD猜想，以數學界當前的思路，恐怕已經走到頭了。
除非自己創造一個全新的數學工具，或者換個角度重新證明。
否則的話，短時間內都別想有任何進展。
龐學林嘆了口氣，現在不是考慮BSD猜想的時候，還是先想辦法解決腦中出現的那個莫名其妙的聲音再說吧。
他去沖了個澡，洗去一身的汗味，然后躺在床上閉上了眼睛。
……
晚上十一點半，龐學林被定好的手機鬧鐘吵醒。
龐學林起床洗了把臉，又從冰箱里拿出一罐牛奶咕嚕嚕喝了一大杯。
而后，他靠在床頭，一邊玩手機，一邊等待著零點的到來。
微信有兩條消息，第一條就是老媽發過來的語音。
“兒子，你還記得姚冰夏不？就是小時候和你爺爺住一個院的那姚老頭的孫女，后來他們家不是搬到京城了嗎？今天我和你爸在首都去了你姚叔叔家，看見那姑娘了，長得特別漂亮，學舞蹈出身的，還在北舞念書，沒有男朋友，我要來了小夏的手機號，你記得加一下。135********。”