第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分鐘，許青舟進入第二部分。
「正如我開頭所說，在研究波利尼亞克猜想時我創造了一個新工具——調和篩法。」
台下傳來一陣騷動。
「調和篩法？是某個經典篩法的改進版？」
「應該是了。」
大家小聲地議論起來。
篩法是尋找素數或解決與素數相關問題的最有效工具之一，常見的篩法埃拉托斯特尼篩法、區間篩法等等，或者這些篩法的改進版本。
顧志鍾微微點頭，眼神好奇，想知道這小子搞了一個什麼樣的篩法。
「為了更好的研究素數分布規律，我以塞爾伯格篩法為基礎，在其中使用解集和數列來探究孿生素數的性質。」
許青舟開門見山，把公式這些全部調出來。
報告廳響起齊刷刷的翻筆記本的聲音。
前方，許青舟已經開始：
「利用(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」
還有問如何把調和數列融入篩法的。
許青舟一一作答。
第六個提問人，話筒到了一個老熟人手上。
顧志鐘的老對頭龐含冬。
龐含冬沒有提篩法的問題，而是笑眯眯地問道：「許青舟同學，這調和篩法是你這半年的全部成果？」
「是其中一部分。」許青舟淡定地回答，明白這老頭在找事情了。
「其中一部分？」
龐含冬笑著，繼續說道：「半年前，你以波利尼亞克猜想作為項目，目前世界不少研究機構都是喜訊連連。你這邊似乎沒怎麼聽說消息嗎，我們都很著急。」
許青舟表情淡定，說道：「我一位老師說過，做學問得沉得下心，我覺得很對，並且一直以這個為行為準則。」
龐含冬的臉色一僵，誰不知道顧志鍾那個老東西曾經諷刺過他不潛心學問，搞雜七雜八的東西。
而顧教授也是微微笑起來，心說這小子還真有自己的風範。
龐含冬壓著惱怒，皮笑肉不笑，說：「數論，還是你們年輕人有想法方不方便透露你的進度。畢竟，許多像我一樣的學者都在期待能聽到你的好消息。」
據他所知，這人自從申請了項目，光物院大項目就參加了兩個，一個人再逆天，也不可能還拿得出精力來研究其它吧。
你顧志鐘不是說做學問要穩嘛，自己的學生怎麼東一錘子西一榔頭。
雖不至於做得太過，但把許青舟拉在火上烤烤還是簡單。
我就是要讓你說出波利尼亞克猜想的證明不順利。