第307章 就證出來了？

  第307章 就.證出來了？

  許青舟咧嘴笑著，深吸一口氣提神，說：「行，師兄，我先洗個澡再過去。」

  「我在樓下大廳等你。」蘇科偉有點不放心，覺得許青舟好像很疲憊，萬一疏忽遲到，難免給其他人留下口舌。

  許青舟點頭，自己拿著乾淨衣服洗澡。

  浴室很快響起嘩嘩的流水聲。

  本章節來源於🍍sto9.com

  房間裡，餐桌上有早餐盤子，應該是直接叫服務員送的早餐。

  書桌的一角堆滿廢棄手稿，桌上也鋪著稿紙。

  窗外，天氣晴朗，風和日麗，燦爛的陽光從窗戶透進來，撒在一角，微風吹拂窗簾，又揚起書桌上杯子壓著的稿紙一角。

  如果有人仔細看過去的話，可以發現這樣的內容：

  【在γ(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」

  還有問如何把調和數列融入篩法的。

  許青舟一一作答。

  第六個提問人，話筒到了一個老熟人手上。

  顧志鐘的老對頭龐含冬。

  龐含冬沒有提篩法的問題，而是笑眯眯地問道：「許青舟同學，這調和篩法是你這半年的全部成果？」

  「是其中一部分。」許青舟淡定地回答，明白這老頭在找事情了。

  「其中一部分？」

  龐含冬笑著，繼續說道：「半年前，你以波利尼亞克猜想作為項目，目前世界不少研究機構都是喜訊連連。你這邊似乎沒怎麼聽說消息嗎，我們都很著急。」

  許青舟表情淡定，說道：「我一位老師說過，做學問得沉得下心，我覺得很對，並且一直以這個為行為準則。」

  龐含冬的臉色一僵，誰不知道顧志鍾那個老東西曾經諷刺過他不潛心學問，搞雜七雜八的東西。

  而顧教授也是微微笑起來，心說這小子還真有自己的風範。

  龐含冬壓著惱怒，皮笑肉不笑，說：「數論，還是你們年輕人有想法方不方便透露你的進度。畢竟，許多像我一樣的學者都在期待能聽到你的好消息。」

  據他所知，這人自從申請了項目，光物院大項目就參加了兩個，一個人再逆天，也不可能還拿得出精力來研究其它吧。

  你顧志鐘不是說做學問要穩嘛，自己的學生怎麼東一錘子西一榔頭。

  雖不至於做得太過，但把許青舟拉在火上烤烤還是簡單。

  我就是要讓你說出波利尼亞克猜想的證明不順利。

  （還有更新耶）