好不容易把这位貌似自己粉丝的漂亮学姐应付过去，庞学林有些疲惫地返回房间。
看着书桌上一堆关于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********。”
庞学林有些无语，自从回国后，老妈三天两头给自己介绍对象，生怕自己找不到女朋友似的。
要知道自己现在才22岁周岁，虚岁也就23岁，还早着呢！
不过对于老妈说的那个一直擦着鼻涕跟在自己身后的小丫头，庞学林倒有点印象，就那咋咋呼呼的小丫头，成大美女了？
庞学林才不信！
除了老妈这条信息外，还有一条信息，居然是今天刚认识的那位叫齐昕的美女学姐发的。
“学弟，家里给我寄了一些干果过来，我一个人吃不完，分一点给你，刚才敲门没人应，我把干果放在门口了。”
庞学林微微一愣，下意识地点开齐昕的朋友圈看了看。
最新一条朋友圈就是她与自己的合影。
齐昕站在他身前，摆了个可爱的剪刀手，自己则站在身后，有些尴尬地笑着。
配文是：回校第一天，偶遇传说中的学神庞学林教授，嘻嘻，比我想象得还要平易近人，今天多亏了他帮忙把我那一百多斤的箱子扛到八楼，否则我就悲剧了。
庞学林笑了笑，起身从卧室出来，打开房门，便发现门把手上挂着一个塑料袋，里面都是一些包装好的葡萄干、榛子、巴旦木、核桃、碧根果等干果。
庞学林取出几个一边吃，一边给齐昕回信息：“学姐，谢谢你的干果，味道很不错。”
没过一会儿，手机叮咚一声响了。
“学弟，这么晚你还没睡？”