第307章 就证出来了?(1/2)
许青舟咧嘴笑着,深吸一口气提神,说:「行,师兄,我先洗个澡再过去。」
「我在楼下大厅等你。」苏科伟有点不放心,觉得许青舟好像很疲惫,万一疏忽迟到,难免给其他人留下口舌。
许青舟点头,自己拿着乾净衣服洗澡。
浴室很快响起哗哗的流水声。
房间里,餐桌上有早餐盘子,应该是直接叫服务员送的早餐。
书桌的一角堆满废弃手稿,桌上也铺着稿纸。
窗外,天气晴朗,风和日丽,灿烂的阳光从窗户透进来,撒在一角,微风吹拂窗帘,又扬起书桌上杯子压着的稿纸一角。
如果有人仔细看过去的话,可以发现这样的内容:
【在γ(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的计算简化。第二,是向大家介绍我在研究波利尼-->>
本章未完,点击下一页继续阅读