全都是实数。
所以只要有人走完这条路，黎曼猜想也就被证明。
但这条路不是一步就能跨过去，它其实是要有两步。
而且一步比一步难。
第一步是要把这个算子构造出来，让它谱和零点对得上。
第二步呢，要严格的证明它谱不多不少，刚好就是全体非平凡零点。
这个谱里不能多一个零点，也不能少一个零点，相差一个，整个证明就全部作废。
第一步已经难住整个数学界100多年了。
至於第二步嘛。
整个数学界还没有人有资格谈论它。
从那以後，几乎每一代数学家都在找这个算子。
塞尔伯格是走得最远的一个。
他用迹公式在另一类曲面上证明了谱和几何之间存在精确的对偶关系。
这等於是在一个简化版模型里，把这条路走通了。
虽然不能直接照搬到黎曼zeta函数上，但他至少证明了这条路的方向没有错。
蒙哥马利也在70年代从另一个角度提供了证据。
他算出零点之间的统计间距规律，发现和物理学里一类随机矩阵特征值间距一模一样。
如果说零点背後真的没有算子，那这种巧合是无法解释的。
不过蒙哥马利当年只是证明了一个有限区间内情况。
而李东当年的论文则把这个结论推到了完整区间，这就更加坐实这件事并不是巧合。
零点间距分布和特征值间距分布，背後必然有一个算子。
100多年，一代又一代人接力地往前推着。
但到现在为止，也没有人真正构造出过这个算子。
李东当然也没有，他自己试过七套候选定义去破解那个符号。
结果全都失败了。
可现在小黑刚才说的那3个条件，突然给了他一个完全不同角度。
小黑并没有从空间出发，而是从需求出发的。
它告诉李东，这个算子谱必须满足什麽样的性质？
能级位置被显式公式锁定。
相邻能级相互排斥。
间隙有可证下界。
如果把黎曼zeta函数全体非平凡零点视为这个算子谱。
那麽零点位置就被黎曼，冯曼戈尔特显式公式全部锁死。
零点之间的统计间距也服从gue排斥。
…。。