格的余体积。
第三步,用 galois群把假设的短向量化成本原向量。
第四步,transference不等式给出 hermite常数的下界。
到这里为止,论文里的每一步都有依有据,挑不出任何的毛病。
李东也越看越快倒不是因为他在跳读,而是因为韦伯的证明节奏好得让人几乎不需要停下来验算,你只需要跟着他的思路走就行了。
“嘶……这家夥确实有两下子啊。”
李东靠回椅背,捏了捏鼻梁。
“要是换自己的话,也只能省下一步而已。”
他拿起桌上的水杯喝了一口,水已经凉透了,他也没在意。
第五步、第六步,最後证毕。
整篇论文从头到尾,逻辑是通的。
每一个关键断言都有支撑,跳跃也能找到锚点,引理和定理之间的衔接也没有出现那种“读者请自证”式的偷懒。
这篇论文给李东留下了两个字的印象——考究。
李东看了看时间,这篇论文他只是粗略地跑了下逻辑,时间也才过去一个来小时。
所以,bsd猜想被证明了吗?
如果按照这篇论文所写的,毫无疑问,它确实被韦伯证明了。
可李东老是觉得哪不对头。
他的思维沙盘里,这篇论文并不能完全通过,但是沙盘也没有给出错误点在哪。
这种感觉让人很不舒服,就好像有根小刺紮在了指头上,你知道它在,但你就是看不到它的具体位置。
李东知道,这是自己还没有完全啃透这篇论文的结果。
所以现在,只有直觉,没有证据。
李东皱了皱眉,正打算从头再看一遍的时候,他的手机响了。
他拿起来一看,是刘若传打过来的。
“李东,韦伯在 arxiv上挂的那篇论文,你看了吗?”
电话一接通,刘若传就急不可耐地问道。
“刚看完。”
“你现在在哪?”
“在家呢。”
“行,那你等我,我马上过来。”
随後刘若传就挂断了电话。
李东放下手机,摇了摇头。
刘若传急成这样他能理解,毕竟刘若传做的就是 p进霍奇理论和岩泽理论。
而这两样东西,恰恰是过去三十年里数学家进攻 bsd猜想
本章未完,请点击下一页继续阅读!