一步一难。

虽然进展缓慢，可许青舟已经有了一个基本的证明思路。

首先在证明中引进了三个proposition不等式。

通过不等式之间的耦合，理想的情况下就能发现，如果朗道-西格尔零点成立，那就会有一个矛盾。

说得通俗一点。

对于一个有限的实数序列χn，怎么样证明它并不是非负的？

这就是需要证明其中至少有一个χn不会小于0。

就举个简单的例子，现在存在一个偶数n，现在可以用p（n）定义这样的特征函数。

在这里n是素数，ρ(n)等于1，反之，ρ(n)就等于0，这样就会得到一个序列。

事实上，在解析数论中有许多东西都可以归结到这个问题上面。

总之，最后的就是，许青舟需要证明推算出来的结果是小于0的。

就比如哥德巴赫猜想，最终也可以回归到一个有序列上，可以推算序列里是不是有这么一个小于0的数，如果有的话，哥德巴赫猜想就是对的。

当然，目前这也仅仅是理论上如此，真要像许青舟想的这么简单，哥德巴赫猜想不会成为世纪难题。

但很遗憾，无法证明它小于0的，最多就是能发现zn接近0，许青舟还发现，推算出来的结果会小于一个ε乘上一个东西。

甚至能发现很多zn。

这几天，许青舟打算像变分法，用积分方程去找最大特征根。

尽管看起来困难重重，可许青舟心态很好。

打个比方。

假如需要解决的黎曼猜想的各种难题是一个巨大的土堆，朗道-西格尔零点猜想就算得上是一台挖掘机，解决它，拆掉这个土堆的速度就会成数倍的增长。

许青舟现在做的这个弱化版的朗道-西格尔零点猜想，就相当于一把铲子。

用它来解决黎曼猜想这个土堆会非常缓慢，甚至可以说效率低下，但总算是有点的进展。

周一早上。

许青舟刚打开电脑，就看到一封新的邮件。

【许，听说你来麻省理工学习，恭喜，最近，我在看数据时，发现了些有趣的现象，也许和未发现的新粒子有关，如果你有兴趣的话，我们可以进行合作。】

【我将在波士顿大学出差4天，如果你感兴趣，我