第五十三章 BSD艰难如斯

    之后一个月的时光，慕依雪除了每天的课程之外，便是把剩余的时间全部倾注在弱BSD猜想的证明工作上。

    但取得的成果……并不可喜！

    准确的说，最近一周，研究进程可以用寸步为艰来形容。

    证明进度一直卡在56%这个坎上迈不过去。

    又是过了三天，情况依旧如此。

    渐渐的，慕依雪和叶星辰意识到，两人的研究方向，可能出现了错误。

    …………

    地点：自习室

    时间：2021年11月27号晚10点。

    人物：慕依雪，叶星辰

    办公桌上，摆着整整三大摞的草纸。这些，便是两人这段时间关于BSD猜想的全部心血。

    明亮的灯光下，面色有些憔悴的慕依雪开口，“星辰，你说到底是哪个步骤我们出现了问题？”

    叶星辰，叹口气，“很难说。数学证明，本就是一步错，步步错。我们很难知道，到底是前面哪个环节出现问题，导致造成如今这个局面。”

    “因此，想要让证明工作继续进行下去的话，我们只好从尾到头的排查一遍。”

    叶星辰说出了一个最麻烦，但对现在的情况最为有效的解决方案。

    慕依雪苦笑着点点头，表示知晓。

    虽然早知道在世界级的猜想证明过程中会遇到这种情况，但当事实真的发生在你面前时，还是有些难以接受。

    其实，乐观上讲，他们能够及时的发现证明中存在的错误，总归是一件好事。

    总比那些一错到底，把猜想证明成立最后却发现证明过程存在重大错误的情况要好很多。

    既然无法反抗，那就乐观面对。

    不就是爆肝嘛……他慕依雪不怕！

    拿起第一摞的几张草稿，慕依雪低头便认真看起来。

    【设L(E，s)是椭圆曲线E对应的Hasse-eilL-function。事实上BSDconjecture包含下面两条.函数L(E，s)在处Taylor展开的阶等于椭圆曲线的Mordell-eilrank……那么就有L(E，1)=0，~L'(E，1)\not=0Rightarror(E)≥1】

    无误！

    下一部分证明过程。

    【那么就有L(E，1)=0，~L'(E，1)\not=0≥r(E)=1.由Kolyvagin定理，得……】

    无误！

    慕依雪的大脑宛若一台高速运转的机器。

    一堆堆的公式，字符，在大脑内结合，运算，并产生逻辑结果。

    仿佛不知疲倦般，慕依雪从尾到头的逐页翻看。

    …………

    时间，已经来到凌晨三点。

    慕依雪放下手中的一页草稿纸，扭了扭脖子，一抬头，发现对面的叶星辰已经趴在桌子上睡着。

    慕依雪淡淡笑了笑，在自习室内一旁的柜子中找了一张毛毯给叶星辰盖上，然后，便是继续的拿着写满公式的纸张继续埋头搜寻着错误点。

    时间，一分一秒的流逝。

    慕依雪目光一行行扫视。

    突然，他的目光紧锁在一行算式上。

    【……在p≥11的条件下，设椭圆曲线是se... -->>
本章未完，点击下一页继续阅读