第307章 就.证出来了？

许青舟咧嘴笑着，深吸一口气提神，说：「行，师兄，我先洗个澡再过去。」

「我在楼下大厅等你。」苏科伟有点不放心，觉得许青舟好像很疲惫，万一疏忽迟到，难免给其他人留下口舌。

许青舟点头，自己拿着乾净衣服洗澡。

浴室很快响起哗哗的流水声。

房间里，餐桌上有早餐盘子，应该是直接叫服务员送的早餐。

书桌的一角堆满废弃手稿，桌上也铺着稿纸。

窗外，天气晴朗，风和日丽，灿烂的阳光从窗户透进来，撒在一角，微风吹拂窗帘，又扬起书桌上杯子压着的稿纸一角。

如果有人仔细看过去的话，可以发现这样的内容：

【在γ(T)上|F(s)|=|xs+1s(s+1)(ζ′(s)ζ(s)|t|2|t|2=Axc+1|t|22

容易证明∫(Re(s)=c)+γ(T)F(s)ds=0。】

【让 h1<h2<hk取遍大于k的素数，则根据Lagrange定理可知素数p>k时总有νp≤k

【即：对所有自然数k，存在无穷多个素数对(p， p + 2k)，波利尼亚克猜想获证。】

没错，埋头死磕三天时间，许青舟证明了波利尼亚克猜想。

他虽然暂时脱离宋校花的管控，但还是没到曾经动辄通宵的地步，前面几天都是2点睡觉，早上6点起床。

就昨晚熬了一个通宵。

一个世界级的成果就摆在面前，根本睡不着。

花了一晚，他已经把所有的证明过程拉了三遍。

尽管部分地方可稍作精简，但逻辑没问题，证明没问题，接下来再验算了十几遍，找找bug，就可以公布成果。

9点25分。

洗了个澡，许青舟终于觉得清醒很多，换好衣服，把报告会需要的u盘和文件拿着，去楼下找苏科伟。

见许青舟下来，苏科伟收起笔记本，两个人出酒店，朝报告厅过去。

苏科伟好奇地问：「师弟，波利尼亚克猜想的进度还顺利吧。」

「已经搞定了。」

「哦，没事，毕竟是一个.」

苏科伟本来想安慰这位师弟，猛地站住，愕然地望着许青舟：「你说你证明了？！」

「证出来了。」

「你证出波利尼亚克猜想了？！」

「嗯。」

9点50，许青舟到达报告大厅，和工作人员联系好，做上台准备。

报告厅内熟人很多，覃一贞教授，理事长蔡心远，国际数学联盟的主席森重文，人还挺多，大多数都是数论领域的专家，也有对数论有研究的学者，或者单纯凑热闹。

苏科伟神情恍惚，在人群中招顾教授。

靠，师弟又干掉一个世界级的猜想！

他想把这事情汇报给顾志锺，可发现顾教授正拿着稿子和楚院士讨论等差数列上的Selberg公式问题，随即打算先等等。

过了4分钟。

「嗯，接下来再通过反覆利用性质∑n≤x(n，k)=1f(n)=∑.d|n，d|kμ(d)以及适当的移项，就可以得到算式，得，老楚，下来聊，先听这小子的报告会。」

「嘿嘿，好。」楚江峰笑着点头。

顾志锺这边结束，转头，就发现苏科伟在发呆。

「小苏。」

「教授。」苏科伟回神，终于想起要说师弟的牛逼事迹。

「小苏啊，你对筛法不也挺感兴趣了吗，可以多和你师弟讨论一下。」

「嗯，我记住了，教授」

顾志钟摆摆手，道：「其他事下来说，先听讲座。」

苏科伟欲言又止，见顾志锺目光已经看向台上的许师弟，他无奈地叹了口气，得，还是许师弟亲自说吧。

10点，报告正式开始。

「本次报告会的主要内容有两个。第一，孪生素数定理筛法改进，上界M的计算简化。第二，是向大家介绍我在研究波利尼亚克猜想时总结到的一个新工具。」

许青舟站在台上，简单地和台下的众人打了个招呼，就进入主题。

他先说了孪生素数定理部分。

「如果让P(z)表示大小不超过z的所有素数之乘积，则先前的筛法就能写成：S=∑N<nz)，Q(n))λd)2」

「当：gi(d)=μhi(d)=μ2(d)∏p|dgi(p)1gi(p)第67就可以化成：S=[1+o(1)]NlogN(kM2.O(R2log3kR)+O(E)」

前半部分内容不新奇，就是对曾经的证明过程进行补充而已。

说了20分钟，许青舟进入第二部分。

「正如我开头所说，在研究波利尼亚克猜想时我创造了一个新工具——调和筛法。」

台下传来一阵骚动。

「调和筛法？是某个经典筛法的改进版？」

「应该是了。」

大家小声地议论起来。