第459章 心酸的刘若传 (第2/3页)

格实现为分数理想，搭上 minkowski度量和迹形式。

    第二步，用导手判别式公式算格的余体积。

    第三步，用 galois群把假设的短向量化成本原向量。

    第四步，transference不等式给出 hermite常数的下界。

    到这里为止，论文里的每一步都有依有据，挑不出任何的毛病。

    李东也越看越快倒不是因为他在跳读，而是因为韦伯的证明节奏好得让人几乎不需要停下来验算，你只需要跟着他的思路走就行了。

    “嘶……这家夥确实有两下子啊。”

    李东靠回椅背，捏了捏鼻梁。

    “要是换自己的话，也只能省下一步而已。”

    他拿起桌上的水杯喝了一口，水已经凉透了，他也没在意。

    第五步、第六步，最後证毕。

    整篇论文从头到尾，逻辑是通的。

    每一个关键断言都有支撑，跳跃也能找到锚点，引理和定理之间的衔接也没有出现那种“读者请自证”式的偷懒。

    这篇论文给李东留下了两个字的印象——考究。

    李东看了看时间，这篇论文他只是粗略地跑了下逻辑，时间也才过去一个来小时。

    所以，bsd猜想被证明了吗？

    如果按照这篇论文所写的，毫无疑问，它确实被韦伯证明了。

    可李东老是觉得哪不对头。

    他的思维沙盘里，这篇论文并不能完全通过，但是沙盘也没有给出错误点在哪。

    这种感觉让人很不舒服，就好像有根小刺紮在了指头上，你知道它在，但你就是看不到它的具体位置。

    李东知道，这是自己还没有完全啃透这篇论文的结果。

    所以现在，只有直觉，没有证据。

    李东皱了皱眉，正打算从头再看一遍的时候，他的手机响了。

    他拿起来一看，是刘若传打过来的。

    “李东，韦伯在 arxiv上挂的那篇论文，你看了吗？”

    电话一接通，刘若传就急不可耐地问道。

    “刚看完。”

    “你现在在哪？”

    “在家呢。”

    “行，那你等我，我马上过来。”

    随後刘若传就挂断了电话

    （本章未完，请点击下一页继续阅读）

『加入书签，方便阅读』