第307章 就證出來了?
2024-11-23 07:21:01
第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分。
請刷新本頁!
見許青舟下來,蘇科偉收起筆記本,兩個人出酒店,朝報告廳過去。
蘇科偉好奇地問:「師弟,波利尼亞克猜想的進度還順利吧。」
「已經搞定了。」
「哦,沒事,畢竟是一個.」
蘇科偉本來想安慰這位師弟,猛地站住,愕然地望著許青舟:「你說你證明了?!」
「證出來了。」
「你證出波利尼亞克猜想了?!」
「嗯。」
9點50,許青舟到達報告大廳,和工作人員聯繫好,做上台準備。
報告廳內熟人很多,覃一貞教授,理事長蔡心遠,國際數學聯盟的主席森重文,人還挺多,大多數都是數論領域的專家,也有對數論有研究的學者,或者單純湊熱鬧。
蘇科偉神情恍惚,在人群中招顧教授。
靠,師弟又幹掉一個世界級的猜想!
他想把這事情匯報給顧志鍾,可發現顧教授正拿著稿子和楚院士討論等差數列上的Selberg公式問題,隨即打算先等等。
過了4分鐘。
請刷新本頁!
「嘿嘿,好。」楚江峰笑著點頭。
顧志鍾這邊結束,轉頭,就發現蘇科偉在發呆。
「小蘇。」
「教授。」蘇科偉回神,終於想起要說師弟的牛逼事跡。
「小蘇啊,你對篩法不也挺感興趣了嗎,可以多和你師弟討論一下。」
「嗯,我記住了,教授」
顧志鐘擺擺手,道:「其他事下來說,先聽講座。」
蘇科偉欲言又止,見顧志鍾目光已經看向台上的許師弟,他無奈地嘆了口氣,得,還是許師弟親自說吧。
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卷積的定義和導數的定義搞定:
請刷新本頁!
報告會講述部分結束。
台下,不少人表情驚嘆,感慨這個篩法很完美。
到了提問環節。
明顯,大家對於調和篩法相當感興趣。
比如,一位中年教授起來問:「在PPT第53頁,d能被解出的充要條件是q、k互素,我們就只需要考慮q、k互素的情況,這裡,是怎麼得到的?」
許青舟略微思考一下,就說道:「通過分部求和法得到,只需要處理等式右側的內容了:
∑qd≤xqd≡h(k)μ(q)log2d=∑q≤x(q,k)=1μ(q)∑d≤xd≡q1h(k)log2d」
還有問如何把調和數列融入篩法的。
許青舟一一作答。
第六個提問人,話筒到了一個老熟人手上。
顧志鐘的老對頭龐含冬。
龐含冬沒有提篩法的問題,而是笑眯眯地問道:「許青舟同學,這調和篩法是你這半年的全部成果?」
「是其中一部分。」許青舟淡定地回答,明白這老頭在找事情了。
「其中一部分?」
龐含冬笑著,繼續說道:「半年前,你以波利尼亞克猜想作為項目,目前世界不少研究機構都是喜訊連連。你這邊似乎沒怎麼聽說消息嗎,我們都很著急。」
許青舟表情淡定,說道:「我一位老師說過,做學問得沉得下心,我覺得很對,並且一直以這個為行為準則。」
龐含冬的臉色一僵,誰不知道顧志鍾那個老東西曾經諷刺過他不潛心學問,搞雜七雜八的東西。
而顧教授也是微微笑起來,心說這小子還真有自己的風範。
龐含冬壓著惱怒,皮笑肉不笑,說:「數論,還是你們年輕人有想法方不方便透露你的進度。畢竟,許多像我一樣的學者都在期待能聽到你的好消息。」
據他所知,這人自從申請了項目,光物院大項目就參加了兩個,一個人再逆天,也不可能還拿得出精力來研究其它吧。
你顧志鐘不是說做學問要穩嘛,自己的學生怎麼東一錘子西一榔頭。
雖不至於做得太過,但把許青舟拉在火上烤烤還是簡單。
我就是要讓你說出波利尼亞克猜想的證明不順利。