真正的贡献，来自于一篇他未曾发表的论文稿。
在这份论文稿里，沈奇随手画了一张图。
他原本是想画一条比目鱼，然后看图说话给诺菲讲故事。
结果画着画着，沈奇把鱼画成了坐标系和曲线。
这条奇丑无比的“鱼”，欧叶是看过的。沈奇试图用群论的思路，去解释椭圆曲线里的秩。
但沈奇也没彻底解释清楚椭圆曲线里秩的规律以及计算原则，他画完“鱼”之后就没有下文了。
反倒是欧叶深受启发，她从这条“鱼”里悟出了一种新的思路。
欧叶在白板上写到：
e（q）≡z^rxe（q）f
e（q）{（-d，0），（0，0），（d，0）
这里的e（q）实际上是一个交换群，即阿贝尔群。z是在加法下的无穷整数集。
bsd猜想的定义不难理解，难的是证明推导过程。
bsd猜想的证明推导是非常复杂繁琐的一件事情，需要许多储备知识。
数论、群论、椭圆曲线、黎曼zeta函数、欧拉乘积、哈塞-韦伊函数乃至二次数域的高斯猜想所需的知识量太多了。
好在赵天、小云、曾寒三人是学生里的精英，他们仨的知识储备量还算ok。
科学研究表明，学渣花在学习上的时间远多于学霸。
赵天、小云、曾寒三位学霸花在学习上的时间反而多于学渣，他们是超级勤奋的学霸，所以他们有资格在这里跟着叶子姐一起攻克bsd猜想。
聪慧的小云很快理解了欧叶的战略意图：“所以说，我们要以群论为突破口？”