好不容易把這位貌似自己粉絲的漂亮學姐應付過去，龐學林有些疲憊地返回房間。
看著書桌上一堆關於BSD猜想的稿紙，龐學林撓了撓頭。
當年他和自己的導師陶哲軒打賭，然後一頭栽入BSD這個大坑裏，中間雖然也出了成果，但龐學林非常清楚，他距離BSD猜想的最終證明，依舊遙遙無期，甚至可以稱得上是有生之年係列。
BSD猜想是數論領域非常重要的猜想，被美國克雷研究所列為千禧年七個數學問題之一，可見其的重要性。
從上世紀八十年代到現在，無數天才數學家前赴後繼，想要越過BSD猜想這座高山，但至今為止，最多隻能算是攀登到半山腰。
1991年，卡爾·魯賓利用科利瓦金的Euler工具簡化了岩澤主猜想的證明，同時他還證明了虛二次域情況下的岩澤主猜想證明，從而給出了BSD猜想的部分結果。
2013年，任教於芝加哥大學數學係的中國數學家張瑋在一些前置條件下證明了Kolyvagin猜想。
次年，張瑋與Skinner合作證明了Gross-Zagier和Kolyvagin逆命題的定理。
2018年，龐學林給出了極化阿貝爾簇André-Oort猜想證明。
……
但是迄今為止，數學家們依舊無法確定R是否有界，對於沙群III，也不知道它的勢是否有限。
而沙群是理解數學對象的算術性質的核心之一，隻有解決BSD猜想，才可以描述出代數數域上的信息在多大程度上可由所有的局部域上的信息粘合過來，這無論對數論還是代數幾何，都意義重大。
過去兩年，龐學林把大部分精力都放在了研究BSD猜想上，也取得了不錯的進展。
可最近幾個月，龐學林的研究卻有種走入死胡同的感覺。
他隱隱意識到，想要徹底解決BSD猜想，以數學界當前的思路，恐怕已經走到頭了。
除非自己創造一個全新的數學工具，或者換個角度重新證明。