好不容易把这位貌似自己粉丝的漂亮学姐应付过去，庞学林有些疲惫地返回房间。
看着书桌上一堆关于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********。”