祖文远说：“你们尝试使用了吗？”

吴俊说：“说来挺有趣，所以我们验证了黎曼猜想是正确的，哥德巴赫1+1正确，p-np部分问题可以解决到最优和比较优点，有些问题无法解决。”

祖文远说：“证明的语言好理解吗？是不是可以让我们洞察更加深邃的数学机理？”

吴俊笑着说：“只是翻译过来之后的人都难以读懂是一种什么方式，只有大量的椭圆曲线，模空间，扩展域，交换群的变化。绕的人都难以看懂，简直难以理解。四色猜想的复杂度简直变得非人道。黎曼猜想中0.5轴上点的分布与质数分布毫无关系，却有一种奇特的变化。”

祖文远也笑着说：“原来如此有趣呢？我倒是想拜读一下这些著作，如果正确的话，我或许能够根据这个工作可以发展出更多的数学工具。”

吴俊说：“国际上许多的数学大咖早就这么做了，但是对我的证明机十分怀疑，因为这里的数学证明他们都看不懂，所有他们甚至认为这些证明都是错误的。所以说我们现在正在研发了第三台机器证明3.0，能用不同的几个数学模块相互组合。这种机器证明出来的东西我们就能看懂，当然也可以推动第四台机器证明4.0，可以创立新命题，对数学有重大推动作用。”

祖文远说：“我跟你们一起参与3.0的研究吧，我都很感兴趣了。”

吴俊说：“你最重要的就是需要理解很多数学理论与逻辑符合的联系，这样找到一种算法就可以制造机器证明3.0。”

祖文远说：“如果能够得到机器证明4.0，那是很多数学家梦寐以求的事情。”

吴俊说：“不过呢，你还是需要见见那个女孩，时间长了，说不定可以培养出感情，而且她是做基因编辑研究的，基因计算或许需要你的帮忙。”

祖文远说：“好吧，她不排斥我就行。”

之间吴俊画出了黎曼zeta函数的各种不同角度的图案，祖文远大为惊奇。

祖文远说：“你能教教我吗？你能画出连电脑都难以计算的图形？”

吴俊说：“能追上吉妮，我再教你。”：，，，