以至于拿到建模国一奖的消息，都没有冲淡程诺心头的忧虑。
又是过了三天，情况依旧如此。
渐渐的，方教授和程诺意识到，两人的研究方向，可能出现了错误。
……
地点：数学院方教授办公室。
时间：2021年11月27号晚10点。
人物：方若愚，程诺。
办公桌上，摆着整整三大摞的草纸。这些，便是两人这段时间关于bsd猜想的全部心血。
明亮的灯光下，面色有些憔悴的程诺开口，“教授，你说到底是哪个步骤我们出现了问题？”
方教授推推老花镜，叹口气，“很难说。数学证明，本就是一步错，步步错。我们很难知道，到底是前面哪个环节出现问题，导致造成如今这个局面。”
“因此，想要让证明工作继续进行下去的话，我们只好从尾到头的排查一遍。”
方教授说出了一个最麻烦，但对现在的情况最为有效的解决方案。
程诺苦笑着点点头，表示知晓。
虽然早知道在世界级的猜想证明过程中会遇到这种情况，但当事实真的发生在你面前时，还是有些难以接受。
其实，乐观上讲，他们能够及时的发现证明中存在的错误，总归是一件好事。
总比那些一错到底，把猜想证明成立最后却发现证明过程存在重大错误的情况要好很多。
既然无法反抗，那就乐观面对。
不就是爆肝嘛……他程诺不怕！
拿起第一摞的几张草稿，程诺低头便认真看起来。
【设l（e，s）是椭圆曲线e对应的hasse-weil l-function。事实上bsd njecture包含下面两条函数l（e，s）在处taylor展开的阶等于椭圆曲线的ordell-weil rank……那么就有l（e，1）=0~l'（e，1）not=0 rightarrow r（e）≥1】
无误！
下一部分证明过程。
【那么就有l（e，1）=0~l'（e，1）not=0≥r（e）=1由kolyvag定理，得……】
无误！
程诺的大脑宛若一台高速运转的机器。
一堆堆的公式，字符，在大脑内结合，运算，并产生逻辑结果。
仿佛不知疲倦般，程诺从尾到头的逐页翻看。
……
时间，已经来到凌晨三点。
程诺放下手中的一页草稿纸，扭了扭脖子，一抬头，发现对面的方教授已经趴在桌子上睡着。
程诺淡淡笑了笑，在办公室内一旁的柜子中找了一张毛毯给方教授盖上，然后，便是继续的拿着写满公式的纸张继续埋头搜寻着错误点。
时间，一分一秒的流逝。
程诺目光一行行扫视。
突然，他的目光紧锁在一行算式上。
【……在≥11的条件下，设椭圆曲线是sei-stable的，便有ord（l（e，1）c）=ord（sha（e），gl2为……】
这里，这里……为什么利用gl2的部分技术性证明条件去的得出下一部分证明工作的关键性条件。
不对，不应该是这样！
gl2公式的求解完全没必要，如果想要从逻辑上得到kolyvag njecture的话，应该用……
一瞬间，程诺灵光迸裂！
第三百三十六章 你怎么知道的？
如果cl2公式的求解并非必要条件的话，那么，后续的推导过程，未尝不能做进一步的优化……
灵感这玩意儿，就像爱情一样，说来就来！
无数的想法在程诺的脑海里碰撞，闪现。
而他竭力想做的，就是努力抓住那一闪而逝的灵光。
eisenste series理论？对，就是这个东西！
程诺脑海里突然冒出这个词汇，然后他整个人便因为激动而身躯有些微微颤抖。
什么是全纯维数1中的eisenste级数关于非全纯情况？简单来讲，它其实是一个特别的模形带着无穷级数可以直接写入的扩展，最初的定义是一个模群。
一般来讲，放任t做一个复数严格肯定虚部。定义全纯eisenste级数g2k（t）重量2k，在哪里k≥2是一个整数，是由以下系列组成：
又是过了三天，情况依旧如此。
渐渐的，方教授和程诺意识到，两人的研究方向，可能出现了错误。
……
地点：数学院方教授办公室。
时间：2021年11月27号晚10点。
人物：方若愚，程诺。
办公桌上，摆着整整三大摞的草纸。这些，便是两人这段时间关于bsd猜想的全部心血。
明亮的灯光下，面色有些憔悴的程诺开口，“教授，你说到底是哪个步骤我们出现了问题？”
方教授推推老花镜，叹口气，“很难说。数学证明，本就是一步错，步步错。我们很难知道，到底是前面哪个环节出现问题，导致造成如今这个局面。”
“因此，想要让证明工作继续进行下去的话，我们只好从尾到头的排查一遍。”
方教授说出了一个最麻烦，但对现在的情况最为有效的解决方案。
程诺苦笑着点点头，表示知晓。
虽然早知道在世界级的猜想证明过程中会遇到这种情况，但当事实真的发生在你面前时，还是有些难以接受。
其实，乐观上讲，他们能够及时的发现证明中存在的错误，总归是一件好事。
总比那些一错到底，把猜想证明成立最后却发现证明过程存在重大错误的情况要好很多。
既然无法反抗，那就乐观面对。
不就是爆肝嘛……他程诺不怕！
拿起第一摞的几张草稿，程诺低头便认真看起来。
【设l（e，s）是椭圆曲线e对应的hasse-weil l-function。事实上bsd njecture包含下面两条函数l（e，s）在处taylor展开的阶等于椭圆曲线的ordell-weil rank……那么就有l（e，1）=0~l'（e，1）not=0 rightarrow r（e）≥1】
无误！
下一部分证明过程。
【那么就有l（e，1）=0~l'（e，1）not=0≥r（e）=1由kolyvag定理，得……】
无误！
程诺的大脑宛若一台高速运转的机器。
一堆堆的公式，字符，在大脑内结合，运算，并产生逻辑结果。
仿佛不知疲倦般，程诺从尾到头的逐页翻看。
……
时间，已经来到凌晨三点。
程诺放下手中的一页草稿纸，扭了扭脖子，一抬头，发现对面的方教授已经趴在桌子上睡着。
程诺淡淡笑了笑，在办公室内一旁的柜子中找了一张毛毯给方教授盖上，然后，便是继续的拿着写满公式的纸张继续埋头搜寻着错误点。
时间，一分一秒的流逝。
程诺目光一行行扫视。
突然，他的目光紧锁在一行算式上。
【……在≥11的条件下，设椭圆曲线是sei-stable的，便有ord（l（e，1）c）=ord（sha（e），gl2为……】
这里，这里……为什么利用gl2的部分技术性证明条件去的得出下一部分证明工作的关键性条件。
不对，不应该是这样！
gl2公式的求解完全没必要，如果想要从逻辑上得到kolyvag njecture的话，应该用……
一瞬间，程诺灵光迸裂！
第三百三十六章 你怎么知道的？
如果cl2公式的求解并非必要条件的话，那么，后续的推导过程，未尝不能做进一步的优化……
灵感这玩意儿，就像爱情一样，说来就来！
无数的想法在程诺的脑海里碰撞，闪现。
而他竭力想做的，就是努力抓住那一闪而逝的灵光。
eisenste series理论？对，就是这个东西！
程诺脑海里突然冒出这个词汇，然后他整个人便因为激动而身躯有些微微颤抖。
什么是全纯维数1中的eisenste级数关于非全纯情况？简单来讲，它其实是一个特别的模形带着无穷级数可以直接写入的扩展，最初的定义是一个模群。
一般来讲，放任t做一个复数严格肯定虚部。定义全纯eisenste级数g2k（t）重量2k，在哪里k≥2是一个整数，是由以下系列组成：