的发现证明中存在的错误,总归是一件好事。
总比那些一错到底,把猜想证明成立最后却发现证明过程存在重大错误的情况要好很多。
既然无法反抗,那就乐观面对。
不就是爆肝嘛……他程诺不怕!
拿起第一摞的几张草稿,程诺低头便认真看起来。
设le,s是椭圆曲线e对应的hassewellfuncton。
事实上bsdconjecture包含下面两条.函数le,s在处taylor展开的阶等于椭圆曲线的mordellwelrank……那么就有le,10,~l'e,1\not0rghtarrowre1
无误!
下一部分证明过程。
那么就有le,10,~l'e,1\not0re1.由kolyvagn定理,得……
无误!
程诺的大脑宛若一台高速运转的机器。
一堆堆的公式,字符,在大脑内结合,运算,并产生逻辑结果。
仿佛不知疲倦般,程诺从尾到头的逐页翻看。
…………
时间,已经来到凌晨三点。
程诺放下手中的一页草稿纸,扭了扭脖子,一抬头,发现对面的方教授已经趴在桌子上睡着。
程诺淡淡笑了笑,在办公室内一旁的柜子中找了一张毛毯给方教授盖上,然后,便是继续的拿着写满公式的纸张继续埋头搜寻着错误点。
时间,一分一秒的流逝。
程诺目光一行行扫视。
突然,他的目光紧锁在一行算式上。
……在p11的条件下,设椭圆曲线是semstable的,便有ordle,1cordshae,gl2为……
这里,这里……为什么利用gl2的部分技术性证明条件去的得出下一部分证明工作的关键性条件。
不对,不应该是这样!
gl2公式的求解完全没必要,如果想要从逻辑上得到kolyvagnconjecture的话,应该用……
一瞬间,程诺灵光迸裂!
………………
………………
ps:一个字:热!!!