拆开，一条条步骤脉络清晰。

如同拨开了眼前的迷雾，一片豁然开朗。

身为素数领域的专家，他的感受最为深刻，也最为直观。

虽然，这一刻并不是他所期待的……

坐在他旁边的埃文一脸懵逼。

从群构法的时候，这位来自英国的小伙便已经放弃治疗，开始默默等待最终的结果。

现在听导师的说法，大概是证出来了？

想到这里，埃文不由一脸尴尬。

就在几天前，他还拿着导师在个人博客上的那篇博文，和论坛上的人杠这件事儿，并且信誓旦旦的扬言这场报告会，最终会变成一场笑话。

结果现在看来，脸疼的还是自己……

坐在报告厅的另一边，一直坐在那里没有动过的赫尔夫戈特，合上了手中的便签本，脸上浮现了一丝赞许。

在来之前，他已经将陆舟的论文看了至少十遍，对于其中存在的问题，他都逐一写在了便签本上，准备等到提问环节询问。

不过现在看来，这小本本大概是派不上用场了。

那些他认为存在问题的地方，都已经得到了令他满意的回答。

不只是赫尔夫戈特得到了他想要的答案，站在讲台上的陆舟，也得到了他想要的东西。

从那一双双视线中，他感受到了来自同行们的肯定。

终于，他走到了最后一步。

【……显见，我们有px（1，1）≥p（x，x^{1/16}）-（1/2）∑px（x，p，x）-q/2-x^(log4)……（30）】

【……由式（30）、引理8、引理9、引理10，可证明定理1成立。】

【证明完毕。】

ppt定格在最后一页，报告厅内的寂静，也定格在了最后一秒。

这份庄重的