助教的工作也要9月份才开始。
他现在偶尔去罗伯茨教授那边请教数学问题，其它时间基本都在图书馆看资料，或者就是做黎曼猜想的计算。
两周时间过去。
一步一难。
虽然进展缓慢，可许青舟已经有了一个基本的证明思路。
首先在证明中引进了三个proposition不等式。
通过不等式之间的耦合，理想的情况下就能发现，如果朗道-西格尔零点成立，那就会有一个矛盾。
说得通俗一点。
对于一个有限的实数序列χn，怎么样证明它并不是非负的？
这就是需要证明其中至少有一个χn不会小于0。
就举个简单的例子，现在存在一个偶数n，现在可以用p（n）定义这样的特征函数。
在这里n是素数，ρ(n)等于1，反之，ρ(n)就等于0，这样就会得到一个序列。
事实上，在解析数论中有许多东西都可以归结到这个问题上面。
总之，最后的就是，许青舟需要证明推算出来的结果是小于0的。
就比如哥德巴赫猜想，最终也可以回归到一个有序列上，可以推算序列里是不是有这么一个小于0的数，如果有的话，哥德巴赫猜想就是对的。
当然，目前这也仅仅是理论上如此，真要像许青舟想的这么简单，哥德巴赫猜想不会成为世纪难题。
但很遗憾，无法证明它小于0的，最多就是能发现zn接近0，许青舟还发现，推算出来的结果会小于一个ε乘上一个东西。
甚至能发现很多zn。
这几天，许青舟打算像变分法，用积分方程去找最大特征根。
尽管看起来困难重重，可许青舟心态很好。
打个比方。
假如需要解决的黎曼猜想的各种难题是一个巨大的土堆，朗道-西格尔零点猜想就算得上是一台挖掘机，解决它，拆掉这个土堆的速度就会成数倍的增长。
许青舟现在做的这个弱化版的朗道-西格尔零点猜想，就相当于一把铲子。
用它来解决黎曼猜想这个土堆会非常缓慢，甚至可以说效率低下，但总算是有点的进展。
周一早上。
许青舟刚打开电脑，就看到一封新的邮件。
【许，听说你来麻省理工学习，恭喜，最近，我在看数据时，发现了些有趣的现象，也许和未发现的新
…。。