算下来的话，距离BSD猜想证明项目开题，已经过去将近四个月的时间。

在这个四个月的时间内，程诺和张伟两人，总算搞定了BSD猜想的第一块拼图。

证明BSD猜想的终极目标，进度1/3。

差的两块拼图，分别是阿贝尔簇，和莫代尔群。

按照框架，下一块需要搞定的拼图是莫代尔群。

莫代尔群，在BSD猜想中是一个有限生成的交换群，和椭圆曲线一样，同样的存在于整体