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