有关。
经过长时间大量的计算与资料收集，贝赫和斯维纳通-戴尔观察出一些规律与模式，因而提出bsd猜想：设e是定义在代数数域 k 上的椭圆曲线，e(k)是 e 上的有理点的集合，已经知道 e(k)是有限生成交换群。记 l(s，e)是 e 的hasse-weil l函数。则e(k)的秩恰好等于l(e，s)在s=1处零点的阶，并且后者的taylor展开的第一个非零系数可以由曲线的代数性质精确表出。
前半部分通常称为弱bsd猜想，后半部分则是bsd猜想分圆域的类数公式的推广。
目前，数学家们仅仅证明了rank=0和1的弱bsd猜想成立，对于rank≥2部分的强bsd猜想，依旧无能为力。
此前庞学林也是沿着格罗斯、科茨走的那条路线，尝试在rank=0和1的基础上，推出rank≥2的bsd猜想，却发现渐渐走进了死胡同。
最近半年内，他始终没有任何进展。
因此，他非常好奇，系统给出的证明过程，到底采用了什么思 路。
庞学林打开bsd猜想证明论文，看了起来。
bsd猜想的证明一共有六十多页，