献，来自于一篇他未曾发表的论文稿。
在这份论文稿里，沈奇随手画了一张图。
他原本是想画一条比目鱼，然后看图说话给诺菲讲故事。
结果画着画着，沈奇把鱼画成了坐标系和曲线。
这条奇丑无比的“鱼”，欧叶是看过的。沈奇试图用群论的思路，去解释椭圆曲线里的秩。
但沈奇也没彻底解释清楚椭圆曲线里秩的规律以及计算原则，他画完“鱼”之后就没有下文了。
反倒是欧叶深受启发，她从这条“鱼”里悟出了一种新的思路。
欧叶在白板上写到：
e≡z^rxef
eo{，，……
这里的e实际上是一个交换群，即阿贝尔群。z是在加法下的无穷整数集。
bsd猜想的定义不难理解，难的是证明推导过程。
bsd猜想的证明推导是非常复杂繁琐的一件事情，需要许多储备知识。
数论群论椭圆曲线黎曼zeta函数欧拉乘积哈塞o韦伊函数乃至二次数域的高斯猜想……所需的知识量太多了。
好在赵天小云曾寒三人是学生里的精英，他们仨的知识储备量还算ok。