第三百零七章 就...證出來了?
我一心科研,你卻想騙我談戀愛? 作者:鹹魚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。】
【讓h1k時總有ν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
許青舟開門見山,把公式這些全部調出來。
報告廳響起齊刷刷的翻筆記本的聲音。
前方,許青舟已經開始:
「利用(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」
還有問如何把調和數列融入篩法的。
許青舟一一作答。
第六個提問人,話筒到了一個老熟人手上。
顧誌鍾的老對頭龐含冬。
龐含冬沒有提篩法的問題,而是笑眯眯地問道:「許青舟同學,這調和篩法是你這半年的全部成果?」
「是其中一部分。」許青舟淡定地回答,明白這老頭在找事情了。
「其中一部分?」
龐含冬笑著,繼續說道:「半年前,你以波利尼亞克猜想作為項目,目前世界不少研究機構都是喜訊連連。你這邊似乎沒怎麽聽說消息嗎,我們都很著急。」
許青舟表情淡定,說道:「我一位老師說過,做學問得沉得下心,我覺得很對,並且一直以這個為行為準則。」
龐含冬的臉色一僵,誰不知道顧誌鍾那個老東西曾經諷刺過他不潛心學問,搞雜七雜八的東西。
而顧教授也是微微笑起來,心說這小子還真有自己的風範。
龐含冬壓著惱怒,皮笑肉不笑,說:「數論,還是你們年輕人有想法方不方便透露你的進度。畢竟,許多像我一樣的學者都在期待能聽到你的好消息。」
據他所知,這人自從申請了項目,光物院大項目就參加了兩個,一個人再逆天,也不可能還拿得出精力來研究其它吧。
你顧誌鍾不是說做學問要穩嘛,自己的學生怎麽東一錘子西一榔頭。
雖不至於做得太過,但把許青舟拉在火上烤烤還是簡單。
我就是要讓你說出波利尼亞克猜想的證明不順利。
(本章完)
「我在樓下大廳等你。」蘇科偉有點不放心,覺得許青舟好像很疲憊,萬一疏忽遲到,難免給其他人留下口舌。
許青舟點頭,自己拿著乾淨衣服洗澡。
浴室很快響起嘩嘩的流水聲。
房間裏,餐桌上有早餐盤子,應該是直接叫服務員送的早餐。
書桌的一角堆滿廢棄手稿,桌上也鋪著稿紙。
窗外,天氣晴朗,風和日麗,燦爛的陽光從窗戶透進來,撒在一角,微風吹拂窗簾,又揚起書桌上杯子壓著的稿紙一角。
如果有人仔細看過去的話,可以發現這樣的內容:
【在γ(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。】
【讓h1k時總有ν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
許青舟開門見山,把公式這些全部調出來。
報告廳響起齊刷刷的翻筆記本的聲音。
前方,許青舟已經開始:
「利用(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」
還有問如何把調和數列融入篩法的。
許青舟一一作答。
第六個提問人,話筒到了一個老熟人手上。
顧誌鍾的老對頭龐含冬。
龐含冬沒有提篩法的問題,而是笑眯眯地問道:「許青舟同學,這調和篩法是你這半年的全部成果?」
「是其中一部分。」許青舟淡定地回答,明白這老頭在找事情了。
「其中一部分?」
龐含冬笑著,繼續說道:「半年前,你以波利尼亞克猜想作為項目,目前世界不少研究機構都是喜訊連連。你這邊似乎沒怎麽聽說消息嗎,我們都很著急。」
許青舟表情淡定,說道:「我一位老師說過,做學問得沉得下心,我覺得很對,並且一直以這個為行為準則。」
龐含冬的臉色一僵,誰不知道顧誌鍾那個老東西曾經諷刺過他不潛心學問,搞雜七雜八的東西。
而顧教授也是微微笑起來,心說這小子還真有自己的風範。
龐含冬壓著惱怒,皮笑肉不笑,說:「數論,還是你們年輕人有想法方不方便透露你的進度。畢竟,許多像我一樣的學者都在期待能聽到你的好消息。」
據他所知,這人自從申請了項目,光物院大項目就參加了兩個,一個人再逆天,也不可能還拿得出精力來研究其它吧。
你顧誌鍾不是說做學問要穩嘛,自己的學生怎麽東一錘子西一榔頭。
雖不至於做得太過,但把許青舟拉在火上烤烤還是簡單。
我就是要讓你說出波利尼亞克猜想的證明不順利。
(本章完)