第417頁
2023-09-30 01:18:05 作者: 術小城
但也不可否認破解黎曼猜想的重要意義,以及帶來的體系化全新理論支撐。
在黎曼zeta函數素數分布理論體系的支撐下,沈奇順理成章的證明了哥猜,證明了這個難倒全世界數學家兩百多年的數學難題。
這就無敵了?
罕逢對手了?
數學刷爆了?
並不是。
剩下的五個千禧難題,沈奇目前沒有對策,搞不定它們。
除開P對NP問題、楊—米方程、N-S方程等跨界難題,純粹的數學問題霍奇猜想、BSD,沈奇暫時也沒有辦法搞定。
霍奇猜想是代數幾何問題,BSD是關於丟番圖方程的數論問題。
搞定了黎猜之後,沈奇順手解決哥猜,但他無法順手解決BSD。
路漫漫其修遠兮,學無止境,升級的道路還將繼續。
無敵多麼寂寞是每個人的終極奮鬥目標。
沈奇現在有點兒寂寞,談不上超級寂寞。
頒獎儀式之後的學術交流會上,沈奇和兩位朋友親切交談:「卡布羅夫斯基教授,薩巴辛教授,我們又見面了。」
「你的進步太驚人了,一年多前,你是普林斯頓的博士研究生,現在我該稱呼你為沈教授。」俄羅斯數學家卡布羅夫斯基,他和沈奇一同領取了本屆奧斯特洛夫斯基獎章。
卡布羅夫斯基的獲獎理由是他在數值分析領域做出的貢獻,他同時是一位數論專家。
去年上半年,卡布羅夫斯基領銜的11人評審團赴美,評審通過了沈奇關於黎曼猜想的證明。
就是從那時起,沈奇一飛沖天,他所獲九個數學獎項中的六個,來自於黎曼猜想證明被評審團認可之後的這一年多時間,其中包含了最高榮譽菲爾茲獎。
沈奇對卡布羅夫斯基心存感激:「卡布羅夫斯基教授,如果有機會,我一定會去莫斯科登門拜訪。」
卡布羅夫斯基教授表示歡迎:「你這麼年輕,應該來莫斯科玩玩,莫斯科是年輕男人的天堂。」
「這我可以作證,我去過莫斯科三次,每次都讓我流連忘返。相比之下,曼徹斯特無聊透頂。」印度數學家薩巴辛露出男人都懂的微笑,他是曼徹斯特大學的教授,專程從英國過來參加這場學術交流會。
在一年多前的那場黎曼猜想評審會上,薩巴辛先是刁難沈奇,而後成為沈奇的粉絲,他對沈奇的評價是:一個擁有天才大腦和魔鬼邏輯的人。
「所以沈教授,你用半年多的時間證明了哥德巴赫猜想,確實很了不起。」薩巴辛在arVix上看到了沈奇關於哥猜證明的論文,實際上全世界都看到了這篇公開於一周前的論文。
「構思了半年,成稿於一周內。」沈奇說到。
「魔鬼。」薩巴辛怔怔吐出一個單詞。
「敘舊時間結束,接下來請魔鬼先生跟我們講講他的證明思路吧。」
卡布羅夫斯基及其他數學家入座,聆聽沈奇關於哥猜證明的報告。
「相信大家看過我發表在arVix上的論文,八個引理是框架,八個定義是前提,一個方程是核心,四個猜想是成果。」沈奇迅速進入演講狀態。
「在這裡,我只重點論述哥德巴赫猜想的證明過程,其餘三個猜想的證明參考哥德巴赫猜想。」
「八個引理我簡單講一下引理8,前面七個引理都是公認的正確命題,引理8是我自己證明的。」
「請看屏幕,根據引理7,通過反證法,很直觀的證明了如果a是代數數,θ是超越數,那麼a與θ的積aθ必然是超越數,這就是引理8。」
「接下來我將重點講述八個定義和一個核心方程。」
「定義1:f(x)=ρx+b,令ρ∈Q,b∈z。」
「定義2:g(x)=1+Γ(x)/x+1+1+Γ(2n-x)/2n-x,令n∈Z+。」
「定義3:令h(x)=cosβ(x)+sinβ(x)=cosg(x)π+isinf(x)π。」
「請注意,前三個定義非常重要,如果大家還記得黎曼猜想中的雙生匹配法,以及ζ(s)的第二個表達式,那麼這前三個定義可以支撐核心方程。」
「請看核心函數構造方程:cos(1+Γ(x)/x+1+Γ(2n-x)/2n-x)π+isin(ρx+b)π=-1。」
沈奇一口氣說到這裡,口渴了,他暫作停頓喝口水,留些時間給在座的數學家們理解他的思路。
「很明顯,求出這個函數構造方程的解,就等同於證明了哥德巴赫猜想1+1問題。」薩巴辛教授說到,其實他已經看過沈奇的論文,知道沈奇求出了方程的解。
大家就是想聽沈奇親口說出,是的,沒錯,這個方程的解是……
「是的,沒錯。」沈奇喝完礦泉水,神清氣爽還想再喝一瓶。
「大家肯定會問,三個定義看似足夠,我為什麼要定義八個?」
沈奇切換到下一頁的五個定義,說到:「歐洲是世界足球的中心,大家一定喜歡看足球比賽,最關鍵的時刻,克里斯蒂亞諾·羅納爾多進三個球是不保險的,他必須進八個球,葡萄牙才有希望戰勝西班牙。」
呵呵。
數學家們笑了起來,懂了。
學術交流會在輕鬆融洽的氛圍中進行。
沈奇做博士研究生時,即便是普林斯頓的博士研究生,也有人刁難他,欲使他下不了台。
沈奇拿到九個數學獎項,其中一個是菲爾茲獎,在座的數學家能做的就是聆聽,提出客觀的意見和問題,友好交流,和諧共處。