第三百三十五章 遇到麻烦（2 / 3）
等程诺的心神从数学海洋游回岸边的时候，一抬头，发现窗外已经夕阳西下。
匆匆告别了方教授，程诺离开数院大楼。
…………
之后一个月的时光，程诺除了每天的课程之外，便是把剩余的时间全部倾注在弱bsd猜想的证明工作上。
但取得的成果……并不可喜！
准确的说，最近一周，研究进程可以用寸步为艰来形容。
证明进度一直卡在56%这个坎上迈不过去。
以至于拿到建模国一奖的消息，都没有冲淡程诺心头的忧虑。
又是过了三天，情况依旧如此。
渐渐的，方教授和程诺意识到，两人的研究方向，可能出现了错误。
…………
地点：数学院方教授办公室。
时间：2021年11月27号晚10点。
人物：方若愚，程诺。
办公桌上，摆着整整三大摞的草纸。这些，便是两人这段时间关于bsd猜想的全部心血。
明亮的灯光下，面色有些憔悴的程诺开口，“教授，你说到底是哪个步骤我们出现了问题？”
方教授推推老花镜，叹口气，“很难说。数学证明，本就是一步错，步步错。我们很难知道，到底是前面哪个环节出现问题，导致造成如今这个局面。”
“因此，想要让证明工作继续进行下去的话，我们只好从尾到头的排查一遍。”
方教授说出了一个最麻烦，但对现在的情况最为有效的解决方案。
程诺苦笑着点点头，表示知晓。
虽然早知道在世界级的猜想证明过程中会遇到这种情况，但当事实真的发生在你面前时，还是有些难以接受。
其实，乐观上讲，他们能够及时的发现证明中存在的错误，总归是一件好事。
总比那些一错到底，把猜想证明成立最后却发现证明过程存在重大错误的情况要好很多。
既然无法反抗，那就乐观面对。
不就是爆肝嘛……他程诺不怕！
拿起第一摞的几张草稿，程诺低头便认真看起来。
【设l(e，s)是椭圆曲线e对应的hasse-weil l-function。事实上bsd conjecture包含下面两条.函数l(e，s)在处taylor展开的阶等于椭圆曲线的mordell-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.由kolyvagin定理，得……】 ↑返回顶部↑
匆匆告别了方教授，程诺离开数院大楼。
…………
之后一个月的时光，程诺除了每天的课程之外，便是把剩余的时间全部倾注在弱bsd猜想的证明工作上。
但取得的成果……并不可喜！
准确的说，最近一周，研究进程可以用寸步为艰来形容。
证明进度一直卡在56%这个坎上迈不过去。
以至于拿到建模国一奖的消息，都没有冲淡程诺心头的忧虑。
又是过了三天，情况依旧如此。
渐渐的，方教授和程诺意识到，两人的研究方向，可能出现了错误。
…………
地点：数学院方教授办公室。
时间：2021年11月27号晚10点。
人物：方若愚，程诺。
办公桌上，摆着整整三大摞的草纸。这些，便是两人这段时间关于bsd猜想的全部心血。
明亮的灯光下，面色有些憔悴的程诺开口，“教授，你说到底是哪个步骤我们出现了问题？”
方教授推推老花镜，叹口气，“很难说。数学证明，本就是一步错，步步错。我们很难知道，到底是前面哪个环节出现问题，导致造成如今这个局面。”
“因此，想要让证明工作继续进行下去的话，我们只好从尾到头的排查一遍。”
方教授说出了一个最麻烦，但对现在的情况最为有效的解决方案。
程诺苦笑着点点头，表示知晓。
虽然早知道在世界级的猜想证明过程中会遇到这种情况，但当事实真的发生在你面前时，还是有些难以接受。
其实，乐观上讲，他们能够及时的发现证明中存在的错误，总归是一件好事。
总比那些一错到底，把猜想证明成立最后却发现证明过程存在重大错误的情况要好很多。
既然无法反抗，那就乐观面对。
不就是爆肝嘛……他程诺不怕！
拿起第一摞的几张草稿，程诺低头便认真看起来。
【设l(e，s)是椭圆曲线e对应的hasse-weil l-function。事实上bsd conjecture包含下面两条.函数l(e，s)在处taylor展开的阶等于椭圆曲线的mordell-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.由kolyvagin定理，得……】 ↑返回顶部↑