之后一个月的时光,慕依雪除了每天的课程之外,便是把剩余的时间全部倾注在弱bsd猜想的证明工作上。
但取得的成果……并不可喜!
准确的说,最近一周,研究进程可以用寸步为艰来形容。
证明进度一直卡在56这个坎上迈不过去。
又是过了三天,情况依旧如此。
渐渐的,慕依雪和叶星辰意识到,两人的研究方向,可能出现了错误。
…………
地点自习室
时间2021年11月27号晚10点。
人物慕依雪,叶星辰
办公桌上,摆着整整三大摞的草纸。这些,便是两人这段时间关于bsd猜想的全部心血。
明亮的灯光下,面色有些憔悴的慕依雪开口,“星辰,你说到底是哪个步骤我们出现了问题?”
叶星辰,叹口气,“很难说。数学证明,本就是一步错,步步错。我们很难知道,到底是前面哪个环节出现问题,导致造成如今这个局面。”
“因此,想要让证明工作继续进行下去的话,我们只好从尾到头的排查一遍。”
叶星辰说出了一个最麻烦,但对现在的情况最为有效的解决方案。
慕依雪苦笑着点点头,表示知晓。
虽然早知道在世界级的猜想证明过程中会遇到这种情况,但当事实真的发生在你面前时,还是有些难以接受。
其实,乐观上讲,他们能够及时的发现证明中存在的错误,总归是一件好事。
总比那些一错到底,把猜想证明成立最后却发现证明过程存在重大错误的情况要好很多。
既然无法反抗,那就乐观面对。
不就是爆肝嘛……他慕依雪不怕!
拿起第一摞的几张草稿,慕依雪低头便认真看起来。
设le,s是椭圆曲线e对应的hasseeilnn。事实上njecture包含下面两条函数le,s在处taylor展开的阶等于椭圆曲线的ordelleil rank……那么就有le,10,~l'e,1\not0n re≥ 1
无误!
下一部分证明过程。
那么就有le,10,~l'e,1\not0≥nlyvag定理,得……
无误!
慕依雪的大脑宛若一台高速运转的机器。
一堆堆的公式,字符,在大脑内结合,运算,并产生逻辑结果。
仿佛不知疲倦般,慕依雪从尾到头的逐页翻看。
…………
时间,已经来到凌晨三点。
慕依雪放下手中的一页草稿纸,扭了扭脖子,一抬头,发现对面的叶星辰已经趴在桌子上睡着。
慕依雪淡淡笑了笑,在自习室内一旁的柜子中找了一张毛毯给叶星辰盖上,然后,便是继续的拿着写满公式的纸张继续埋头搜寻着错误点。
时间,一分一秒的流逝。
慕依雪目光一行行扫视。
突然,他的目光紧锁在一行算式上。
……在≥11的条件下,设椭圆曲线是seistardshae,gl2为……
l2的部分技术性证明条件去的得出下一部分证明工作的关键性条件。
不对,不应该是这样!l2公式的求解完全没必要,如果想要从逻辑上得到kolyvagnnjecture的话,应该用……
一瞬间,慕依雪灵光迸裂!
如果cl2公式的求解并非必要条件的话,那么,后续的推导过程,未尝不能做进一步的优化……
灵感这玩意儿,就像爱情一样,说来就来!
无数的想法在慕依雪的脑海里碰撞,闪现。
而他