我一心科研，你却想骗我谈恋爱？ - 307.第307章 就证出来了？

    第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<p。而当p≤k时 q(0)=h1h2…，hk}便是一个恰有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)np|dgi(p)1gi(p)第67就可以化成：s=[1+o(1)]nlogn(km2.o(r2log3kr)+o(e)”
    前半部分内容不新奇，就是对曾经的证明过程进行补充而已。
    说了20分钟，许青舟进入第二部分。
    “正如我开头所说，在研究波利尼亚克猜想时我创造了一个新工具——调和筛法。”
    台下传来一阵骚动。
    “调和筛法？是某个经典筛法的改进版？”
    “应该是了。”
    大家小声地议论起来。
    筛法是寻找素数或解决与素数相关问题的最有效工具之一，常见的筛法埃拉托斯特尼筛法、区间筛法等等，或者这些筛法的改进版本。
    顾志钟微微点头，眼神好奇，想知道这小子搞了一个什么样的筛法。
    “为了更好的研究素数分布规律，我以塞尔伯格筛法为基础，在其中使用解集和数列来探究孪生素数的性质。”
    许青舟开门见山，把公式这些全部调出来。
    报告厅响起齐刷刷的翻笔记本的声音。
    前方，许青舟已经开始：
    “利用(4)，得：1(ΛΛ+Λ′)=1″，对两侧做莫比乌斯反演，就有：ΛΛ+Λ′=μ1″.”
    “将dirichlet卷积的定义和导数的定义搞定：
    ∑rd=nΛ(r)Λ(d)+Λ(n)lum_{rd=n}\mu(r)\log^2dag5”
    报告会讲述部分结束。
    台下，不少人表情惊叹，感慨这个筛法很完美。
    到了提问环节。
    明显，大家对于调和筛法相当感兴趣。
    比如，一位中年教授起来问：“在ppt第53页，d能被解出的充要条件是q、k互素，我们就只需要考虑q、k互素的情况，这里，是怎么得到的？”
    许青舟略微思考一下，就说道：“通过分部求和法得到，只需要处理等式右侧的内容了：
    ∑qd≤xqd≡h(k)μ(q)log2d=∑q≤x(q，k)=1μ(q)∑d≤xd≡q1h(k)log2d”
    还有问如何把调和数列融入筛法的。
    许青舟一一作答。
    第六个提问人，话筒到了一个老熟人手上。
    顾志钟的老对头庞含冬。
    庞含冬没有提筛法的问题，而是笑眯眯地问道：“许青舟同学，这调和筛法是你这半年的全部成果？”
    “是其中一部分。”许青舟淡定地回答，明白这老头在找事情了。
    “其中一部分？”
    庞含冬笑着，继续说道：“半年前，你以波利尼亚克猜想作为项目，目前世界不少研究机构都是喜讯连连。你这边似乎没怎么听说消息吗，我们都很着急。”
    许青舟表情淡定，说道：“我一位老师说过，做学问得沉得下心，我觉得很对，并且一直以这个为行为准则。”
    庞含冬的脸色一僵，谁不知道顾志钟那个老东西曾经讽刺过他不潜心学问，搞杂七杂八的东西。
    而顾教授也是微微笑起来，心说这小子还真有自己的风范。
    庞含冬压着恼怒，皮笑肉不笑，说：“数论，还是你们年轻人有想法方不方便透露你的进度。毕竟，许多像我一样的学者都在期待能听到你的好消息。”
    据他所知，这人自从申请了项目，光物院大项目就参加了两个，一个人再逆天，也不可能还拿得出精力来研究其它吧。
    你顾志钟不是说做学问要稳嘛，自己的学生怎么东一锤子西一榔头。
    虽不至于做得太过，但把许青舟拉在火上烤烤还是简单。
    我就是要让你说出波利尼亚克猜想的证明不顺利。
    (本章完)