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)∏p|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”

还有问如何把调和数列融入筛法的。

许青舟一一作答。

第六个提问人,话筒到了一个老熟人手上。

顾志钟的老对头庞含冬。

庞含冬没有提筛法的问题,而是笑眯眯地问道:“许青舟同学,这调和筛法是你这半年的全部成果?”

“是其中一部分。”许青舟淡定地回答,明白这老头在找事情了。

“其中一部分?”

庞含冬笑着,继续说道:“半年前,你以波利尼亚克猜想作为项目,目前世界不少研究机构都是喜讯连连。你这边似乎没怎么听说消息吗,我们都很着急。”

许青舟表情淡定,说道:“我一位老师说过,做学问得沉得下心,我觉得很对,并且一直以这个为行为准则。”

庞含冬的脸色一僵,谁不知道顾志钟那个老东西曾经讽刺过他不潜心学问,搞杂七杂八的东西。

而顾教授也是微微笑起来,心说这小子还真有自己的风范。

庞含冬压着恼怒,皮笑肉不笑,说:“数论,还是你们年轻人有想法方不方便透露你的进度。毕竟,许多像我一样的学者都在期待能听到你的好消息。”

据他所知,这人自从申请了项目,光物院大项目就参加了两个,一个人再逆天,也不可能还拿得出精力来研究其它吧。

你顾志钟不是说做学问要稳嘛,自己的学生怎么东一锤子西一榔头。

虽不至于做得太过,但把许青舟拉在火上烤烤还是简单。

我就是要让你说出波利尼亚克猜想的证明不顺利。

第18章 这两个人,关系不一般啊337.第337章 你们的精神状态似乎都不怎么好204.第204章 他在洗澡第55章 军训第一天(求追读啊!)175.第175章 你这样会把天聊死的274.第274章 师弟,一起爬山吗?第5章 水太深,你把握不住297.第297章 你阅读理解一定是零分吧273.第273章 你想和我睡觉吗?221.第221章 我真的会打死你的244.第244章 他跟他的故事195.第195章 光听水声都能下三碗饭296.第296章 我这腰早晚得被你玩坏160.第160章 吃瓜吃到自己?第31章 招生抢人第3章 老板,来包烟第145章 差点成为罪人第32章 他们约好了一起上京大249.第249章 比挂逼还像挂逼第121章 项目结题!第71章 人与人的差距什么时候这么大了?173.第173章 危险的应该是许青舟第126章 像训儿子一样第151章 学姐的路走宽了啊296.第296章 我这腰早晚得被你玩坏178.第178章 哥德巴赫猜想?212.第212章 有人搞事情?第131章 用一天创造奇迹第19章 你们一毕业就结婚?!301.第301章 小秘密暴露了!第127章 爸,我真比你懂308.第308章 许青舟被激到了?277.第277章 满足粉丝们的要求260.第260章 宋校花果然在成长285.第285章 我没有奇怪的爱好330.第330章 我知道你是惜命的164.第164章 我怀疑这小子就tm是外星人!273.第273章 你想和我睡觉吗?315.第315章 这姐妹一直这么勇敢吗?第78章 我是谁,我在哪?292.第292章 昨晚不知道谁在求饶190.第190章 这味儿对了第29章 年轻的身体真好214.第214章 师弟好像有点装第153章 家庭大会270.第270章 我确实有点新的想法第76章 遇到问题第72章 超导体材料铌钛合金271.第271章 我有个小问题253.第253章 你不配合,让我很难办啊第135章 昨晚的事情我已经不记得了第43章 我爸妈不在家第9章 互删吧第23章 要对许青舟负责第6章 许青舟喜欢你第77章 数据不会说谎第90章 我要做战狼!279.第279章 你还回国吧?336.第336章 腰有点麻第12章 优势在我第104章 因为我不擅长数学吧第139章 他真能在我们的地盘镇压万古?第146章 被滋醒了第132章 郭子扬,危险啊第27章 高考第49章 呸,渣男!第106章 又是被鄙视的一天321.第321章 许青舟:你自己到上面来337.第337章 你们的精神状态似乎都不怎么好第75章 许青舟真不是人啊!300.第300章 宋瑶:我要在上面!235.第235章 现在的年轻人可真猛啊313.第313章 lsp的基本操作165.第165章 我得监督你242.第242章 每次都能有点新的东西182.第182章 这是不务正业啊第131章 用一天创造奇迹第86章 懂?第105章 老孔啊,你何苦来挑衅我第82章 挖人?门都没有!211.第211章 简化推算过程162.第162章 有点手生,浪费了些时间第68章 你多舔舔,说不定就软了第58章 老徐,我今天有点拉肚子239.第239章 我真是直的第72章 超导体材料铌钛合金第96章 哥斯拉来了我也能打出去329.第329章 这些学者都这么猛吗190.第190章 这味儿对了336.第336章 腰有点麻173.第173章 危险的应该是许青舟337.第337章 你们的精神状态似乎都不怎么好第98章 为什么不笑,是天生不爱笑?第84章 没事,你还有机会244.第244章 他跟他的故事247.第247章 多了点奇怪的属性第34章 宋瑶同学,你要看紧了第57章 你想追我?(求追读!)241.第241章 死亡如风,常伴吾身328.第328章 抵达耶路撒冷