好不容易把这位貌似自己粉丝的漂亮学姐应付过去，庞学林有些疲惫地返回房间。
看着书桌上一堆关于BSD猜想的稿纸，庞学林挠了挠头。
当年他和自己的导师陶哲轩打赌，然后一头栽入BSD这个大坑里，中间虽然也出了成果，但庞学林非常清楚，他距离BSD猜想的最终证明，依旧遥遥无期，甚至可以称得上是有生之年系列。
BSD猜想是数论领域非常重要的猜想，被美国克雷研究所列为千禧年七个数学问题之一，可见其的重要性。
从上世纪八十年代到现在，无数天才数学家前赴后继，想要越过BSD猜想这座高山，但至今为止，最多只能算是攀登到半山腰。
1986年，约翰·科茨(怀尔斯的导师)和安德鲁·怀尔斯对rank=0的一类曲线证明了BSD猜想。
1987年，本尼迪克·格罗斯（Gross）和Zagier证明了一个关于rank=1曲线的定理，这个定理引出了rank<=1的BSD猜想的证明。
1989年，科利瓦金（Kolyvagin）利用他发明的Euler工具，在Gross-Zagier证明的analyticrank=1的基础上，推出algebraicrank=1。
1991年，卡尔·鲁宾利用科利瓦金的Euler工具简化了岩泽主猜想的证明，同时他还证明了虚二次域情况下的岩泽主猜想证明，从而给出了BSD猜想的部分结果。
2013年，任教于芝加哥大学数学系的中国数学家张玮在一些前置条件下证明了Kolyvagin猜想。
次年，张玮与Skinner合作证明了Gross-Zagier和Kolyvagin逆命题的定理。
2018年，庞学林给出了极化阿贝尔簇André-Oort猜想证明。
……
但是迄今为止，数学家们依旧无法确定R是否有界，对于沙群III，也不知道它的势是否有限。
而沙群是理解数学对象的算术性质的核心之一，只有解决BSD猜想，才可以描述出代数数域上的信息在多大程度上可由所有的局部域上的信息粘合过来，这无论对数论还是代数几何，都意义重大。
过去两年，庞学林把大部分精力都放在了研究BSD猜想上，也取得了不错的进展。
可最近几个月，庞学林的研究却有种走入死胡同的感觉。
他隐隐