素数，也就是质数，一直是古今中外数学家们最关注的课题之一。

从基础层面说来，素数就像是物理世界中用于构筑万物的原子，所有整数都能被分解成一组独一无二的素数相乘。

基于素数在数学中的核心地位，研究素数如何沿实数直线分布，或者说每个素数之间的距离有多远，正是数学家们的兴趣所在。

到十九世纪的时候，数学家们已经发现了许多可以给出素数之间近似平均距离的公式。

但是，素数的确切分布与这个平均值相距多远，却仍然处于未知状态。

也就是说，在那些平均值公式成立的前提之下，数轴——也就是整数轴线上是否还存在着一些素数“太多”或“太少”的部分？

黎曼假设，通过根据素数的分布离均值的距离建立范围来限制了这些存在。

它是关于一个叫“黎曼函数”的数学构造的零点分布的猜想。

黎曼函数是在复平面上的一条特殊曲线，它早已成为了数学领域中需独立研究的课题。

这使得黎曼假设和与之相关的问题显得都更加重要。

就像其他几个蓝星数学界未解之谜一样，许多证据都在暗示黎曼假设是真的，但是完整详尽的证明却一直没有出现。

在今天之前，种花家的数学家们已经通过计算机方法找到了约百万亿个黎曼函数的解，至今都还没有出现一个反例。

过去，黎曼假设的证明也有过许多以失败告终的尝试，其中最着名的错误是由律国极具声望的数学家——一九八二年的菲尔兹将得主艾伦坎尼斯铸就的。

他发展了一套叫非交换几何的理论，并想用这个理论来证明黎曼假设。

一九九七年时，当他自认为已经成功证明黎曼假设后，便第一时间飞到普林斯顿去报告这一成果。

可惜，很快他就被人指出过程存在错误，而这个错误他后来用尽了一身——甚至，直到今天之前都还没能纠正过来。

还有一个着名的“无人问津”案例，来自普渡大学的教授布朗吉斯。

他二零零四年宣布自己证明了黎曼假设，但一直没人理会。

事实上，他还是为证明黎曼假设发展出了一些新理论的，可惜他的学术名声并不太好，所以所有人都认为他的证明不可能正确……

当然了，从数学的角度来说，一个假设有百万亿个为真的例子，依然不能等于拥有一个完整的证明。

正因如此，才让黎曼假设到今天之前为止都仍然位列蓝星数学界的未解难题行列当中。

但，也就到今天为止了。

因为，凌云刚刚已经听到了，有人喊出了那句话：他知道应该怎么证明了

凌云回过头去看：南北朝数学家祖冲之。

……

是的，别说是直接完整地证明出一个未解之谜了，就连一点突破性的进展都没有。

而这一次，他们带回来的成绩，是一个由祖冲之领头、炎夏千古万朝所有数学天才合力完成的，关于黎曼猜想证明的完整过程！

从地狱到天堂，有时候就是那一念之差。

一个小时之前，他们的今天还和前面几天一样一无所获。

但仅仅是一个小时之后，他们就顺利完成了蓝星科学史上一项不可思议的任务！

从入土到上天，有时候就是这么简单。

他们魂穿的位置，在最高办公室旁边一座四合院的院子里。

所以回来的位置也在这里。

几位国家领导看时间差不多，便已经提前在这里迎接了。