哪怕僅剩下第一陳類為正的情況,依舊不是年輕學者能解決的。
否則丘誠桐早就自己證明了這個猜想。
彆人不知道徐源對代數幾何的研究,德利涅卻再清楚不過。
那天他和徐源討論相關內容時,哪怕他在代數幾何領域研究多年,也不免對徐源結合多個數學分支公式的證明過程讚不絕口。
甚至連他都頗受啟發,這才臨時更改了報告題目。
當時他就相信徐源能證明丘誠桐猜想,無非隻是時間早晚問題。
現在徐源既然有幸進入到特殊狀態,那麼現場完成全部證明也是很有可能的。
念頭停留在這裡,他並沒有直接反駁威滕,隻是神神秘秘的丟出一句話。
“那就讓我們拭目以待吧。”
不過話音剛落,便聽見耳旁突然傳來一道不合時宜的聲音。
“越是天才越是有自負的毛病,以為自己僥幸推動孿生素數猜想的進展,就能隨便解決數學難題了。”
“他肯定會為自己的自負買單,成為數學界今年最大的笑料。”
德利涅和威滕聞聲都扭過頭查看,發現是哈佛大學的教授德瓦後,頓時便明白過來並未選擇接話。
關於這位德瓦教授和徐源之間的事,他們多少還是聽說過些的。
從數學年刊宣布孿生素數猜想迎來重大突破,對方便不太認同。
公開表示會推翻論文中的結論。
並聯絡了學校數學係的幾位教授,共同對徐源的論文進行驗證,試圖找到論文中的錯誤和邏輯漏洞。
遺憾的是最終他們一無所獲,不得不承認孿生素數猜想確實有了進展。
而出現這種結果再正常不過,畢竟孿生素數猜想論文是經過普林斯頓高等研究院眾多數學家驗證,真要是被對方推翻的話,豈不是顯得高等研究院裡的數學家都是名不副實。
另外德瓦合作的是數學領域另一家頂刊,質疑數學年刊自然不覺得奇怪。
德利涅自然知道德瓦是有意針對徐源,但他卻並沒有主動反駁。
因為當不被對方認可的結果變成現實時,才是最為有力的回擊。
倒是同樣被吸引過來的張益唐,在這件事上再次力挺了徐源反駁德瓦。
“我相信徐源能夠完成最終的證明。”
老張雖然知道徐源在研究丘誠桐猜想,但對於實際情況是沒有把握的。
不過一想到徐源改進篩法,用半天時間便把他的小於4200萬素數對的結果,硬生生縮小到246素數對,他便對徐源充滿了信心。
滿臉胡須的德瓦隻是瞥了老張一眼,同樣沒有再多說什麼。
反正在他看來徐源的證明不可能有結果,到時候隻有默默接受這份失敗。
為自己的自負買單。
就這樣隨著時間一分一秒的流逝,大家不相信歸不相信,目光卻始終牢牢注視著寫字板上的公式過程。
仔細研究後發現,有很多公式步驟非常精妙。
簡單來形容,那就是把代數幾何和微分幾何,以及多複變函數度量幾何完美結合到了一起,並對證明方法進行創新應用。
絲毫不誇張的講,就算最終沒有證明猜想,這種方法也相當於,給探索未知數學界提供了新工具。
是有重大意義和較高價值的。
麵對如此變故,以至於不少人最初堅定的信念都開始有些動搖。
甚至腦海中浮現出了非常大膽的念頭。
該不會真能證明丘誠桐猜想吧?
並且這個念頭也越來越強烈,在腦海中揮之不去。
又過去十分鐘。
圍觀的人群中,對徐源證明過程的稱讚也多了些。
“這個公式實在太好了,直接就讓複雜的問題一下下簡化許多。”
“我以前研究的時候怎麼沒有想到。”
“真是精妙啊!”
“上帝保佑,希望能親眼見證一項難題被解決。”
至於還等著看好戲的德瓦,此刻整個人的臉色卻越來越陰沉。
仿佛都要滴出水來。
他和德利涅差不多,主要研究的數學分支都是數論和代數幾何。
對徐源的證明過程,他自然能找到些可取之處,可心裡的聲音卻不斷說服著自己。
以此來堅定信念,相信徐源不可能證
明猜想。
就算對方創造出新的數學分支方法,所得到的結論也不可能解決丘誠桐問題。
——
正所謂有人歡喜有人愁。
就在數學家們集中在樓下大廳,全程見證徐源嘗試證明丘誠桐猜想時,陶哲軒卻望著空空如也的主報告廳內滿臉詫異。
甚至陷入到自我懷疑。
“人呢?”
“兩百多位數學界知名學者,不可能一個人都沒有來啊?”
“莫非已經徹底沒有人關注我了……”
上午第二場報告由他上台,這是早定下來的事情。
為此他連德利涅教授的講座都沒聽,待在樓上房間認真完善要講的內容。
想著就算風頭不如徐源,怎麼也要維持下自己數學界莫紮特的名聲。
結果他看到了什麼。
來到主報告廳後,這麼大的空間除了他自己竟然連一個人影都沒有。
實屬有點超出認知。
哪怕數學界有了更有天賦的數學天才,也不應該對他的關注度喪失這麼徹底吧。
短暫給自己做了下心裡建設後,他還是決定先找下主辦方工作人員。
詢問具體情況。
就在他準備走出去時,卻迎麵遇上了同事巴格夫。
剛要開口向其詢問,對方的聲音已經傳進耳朵,語氣中明顯夾雜著興奮和激動。
“特裡你快去大廳,徐源正在那裡現場嘗試證明丘誠桐猜想。”
“所有人都在圍觀等待結果。”
實在是巴格夫話語中報告單信息太驚人,使得陶哲軒一時都沒有反應過來。
對主要信息提取重複後,整個人也當場傻眼。
“現場證明?”
“丘誠桐猜想?”
每項數學問題的解決,無不是數學家們花費大量時間和精力,加上一點點靈感才有了課本上那麼多定理。
偏偏徐源屬於個例。
用大半天時間改進篩法,把孿生素數猜想數值從小於4200萬素數對證明到小於246素數對,已經能稱得上是數論領域的奇跡。
是不可複製的存在。
而眼下徐源卻要現場證明數學問題,還是第一陳類為正的卡拉比猜想。
這讓他不由得有種活在對方陰影下的感覺。
怪不得沒人聽他的報告。
既然事情已然變成這樣,沒有觀眾這場報告也沒有進行下去的必要。
念頭停留在這裡,他立刻說道:“我們也過去看看具體情況。”
是的。
不管如何他總要知道,讓他報告會泡湯的現場證明究竟是怎麼的結果。
巴格夫眼下已經有成為徐源熱衷粉絲的跡象,聞言沒等陶哲軒便快步向樓下大廳走去。
——
陶哲軒剛看到大廳情況,整個人便忍不住倒吸一口涼氣。
還是被眼前的場麵震住。
烏泱泱少說有一百多人的大廳中,和被圍在中間奮力書寫證明過程的徐源涇渭分明,可以看出大家都在極力克製自己的情緒波動,儘可能不發出聲音生怕打擾到徐源的節奏。
很明顯徐源對丘誠桐猜想的證明,應該是已經進入到了尾聲。
也就當陶哲軒擠進人群的同時,隻見徐源嘴角上揚噙著笑容,右手自然下垂終於停止了證明。
周圍全程關注的眾多數學家,麵對如此一幕則先是站在原地怔了幾秒。
然後整個大廳瞬間轟動起來。
“這個一類四階完全非線性橢圓方程真的解開了。”
“簡直難以置信。”
“我的上帝,在生命結束之前竟還能看到卡拉比猜想被徹底解決。”
“證明過程應該沒有問題,他真的給卡拉比猜想畫上了遲到的句號。”
……
隨著此起彼伏的聲音接連響起,德瓦也終於徹底破防用最大的聲音喊道:“結論還沒有通過驗證,在此之前丘誠桐猜想是否被真正證明還是未知數。”說完便直接在大廳內尋找草稿紙和筆準備驗證。
這句話也無疑給其他人提了醒,下秒大家也都不再耽擱時間。
紛紛學習徐源,原地對結論進行筆算驗證。
有些人甚至直接把海報撕掉,蹲到地上在海報背麵計算。
絲毫沒有顧及自己的形象。
都想第一個驗證出結果,好向數學界正式宣布第一陳類為正的卡拉比猜想被徹底解決。
陶哲軒望著身邊都開始行動起來的眾人,此刻心裡也不免五味雜陳。
從眼下的情況來看,徐源應該真的現場證明了丘誠桐猜想。
以徐源先前論文中的嚴謹度,就算現場那麼多人集體驗證也應該不會有問題,如此驚才絕豔的數學天賦實在讓人羨慕。
“原來我和他之間的差距,竟然有這麼大。”
暗自感慨了一句,接著他也同樣找了個位置試著驗證研究。
徐源對自己的證明過程自然充滿信心
,壓根就不擔心其他人展開驗證。
說起來連他自己都有點不敢相信,沒想到最終竟選擇了這樣的方式來證明猜想,以至於此刻整個人都還有些興奮。
隻是礙於站了那麼久,且全程深度學習狀態對自身能量消耗較大。
雙腿有些發酸之下,索性直接坐在了地上,全程臉上笑容都沒有消失過。
精神世界得到了前所未有的滿足。
“我就知道伱一定可以,不過用這種方式證明可是給了我很大的驚喜。”德利涅和徐源交流時,便知道這些過程都是可行的並不需要他驗證什麼,徑直走到徐源身旁說這句話時還不忘忙擺手說:“你不用起來。”
旁邊的威滕此刻也絲毫沒有掩飾臉上的激動,不吝嗇的給了徐源極高讚揚。
“我承認剛開始我不認為你能證明,徹底解決第一陳類為正的卡拉比猜想,哪怕德利涅對你充滿信心。”
“現在我才明白到德利涅對你信心源於什麼,你的數學天賦是我見過最高的。”
話音落下的瞬間又接著講:
“求解一類四階完全非線性橢圓方程,此前就如同一塊無形的幕牆擋在數學家麵前,而你卻在毫無征兆的情況下找到了一個突破口,不僅求出方程的解,而且還建立了一套係統研究此類方程的方法。”
“能夠預見這篇論文會是此領域中的經典之作。”
徐源把威滕的話悉數聽進耳中,被數學界中的知名數學家如此稱讚,心裡麵也頓時湧現出欣喜之色。
不過麵對眼前這兩位大佬,他還是略顯靦腆的稍微謙虛了句。
“這還要感謝德利涅教授,如果不是他的指導,我不可能這麼快就證明出丘誠桐猜想。”
德利涅聞言笑著說:“就算沒有我,你早晚也能解決這項難題。”
但講完臉上表情又有些遺憾。
“可惜你這麼快就從那種高度專注的特殊狀態中脫離出來了,如果繼續推演孿生素數猜想的話,或許能讓正數值再縮小些。”
徐源聽到這話,心裡則有些哭笑不得,沒想到德利涅是在遺憾這個。
於是隨即開口解釋道:“我把這種精神高度專注的情況稱作深度學習狀態,平時學習做題能提升不少效率。”
“平時學習你也能進入這種狀態?”德利涅突然拉高聲音問。
徐源疑惑:“進入這種狀態很難嗎?”
話音落下德利涅和威滕頓時沉默,作為數學界的大師眼下竟有種很受傷的感覺。
千言萬語最終隻彙聚成一句話。
“年輕就是好啊!”
而周圍同樣聽到徐源回答的眾學者,此刻也終於明白徐源為什麼能用半天時間,成功改進篩法把孿生素數猜想數值從4200萬縮小到246。
原來昨天人家的確沒有亂說。
不過這也讓他們更加相信,恐怕徐源的確繼孿生素數猜想後,又徹底證明了丘誠桐猜想問題。
與此同時。
就在大廳內眾多數學家,積極對徐源的證明過程進行驗證的時候,外麵編委會主編霍爾特正帶人急匆匆往這邊趕。
今天的報告會他並沒有參加,畢竟數學年刊那邊每天都有事情需要處理。
他本以為昨天關於,孿生素數猜想的報告結束,不會再有什麼特彆的情況出現。
露不露麵都沒有影響。
誰曾想徐源竟不聲不響又整了件大事,竟直接現場嘗試證明丘誠桐猜想。
接到消息他二話沒說便趕了過來,並且還特意找了攝影師。
想著對證明過程進行跟拍,好記錄這數學界的重要時刻。
哪怕最終未能成功證明,宣傳出去也能成為數學界的一樁趣事。
“趕緊再快點,等會可就來不及了。”
霍爾特快步走在前麵,時不時還不忘催促下跟在後麵的攝影師,生怕錯過這種少見的時刻。
畢竟可不是每位數學家,都有這個自信敢當著那麼多人的麵去挑戰難題。
很快隨著霍爾特和攝影師走進大廳,當眼前的場景進入視野後,整個人瞬間怔了在了原地隻覺得腦袋有些不夠用。
原本西裝革履的數學家,此刻毫不顧忌形象的蹲在地上認真筆算著。
再仔細一瞅,用的草稿紙居然是撕下來的海報。
至於作為普林斯頓高等研究院,兩位數學界大佬的德利涅和威滕,同樣蹲在地上和坐在地上的徐源交談。
恐怕任誰看到這種場景,都不會和高大上的數學學術會議聯想到一起。
攝影師勉強維持著自己的三觀,咽了口唾液向身旁的霍爾特詢問:
“霍爾特先生,這還要拍嗎?”
“拍。”霍爾特咬著牙堅定的吐出一個單詞。
儘管他還不知道究竟發生了什麼,但著急忙慌跑過來總不能半途而廢。
好在進入大廳詢問完情況後,他得到了一個值得高興的好消息,徐源成功完成了對丘誠桐猜想的證明。
雖說其他數學家還在驗證,但他卻對徐源的證明過程充滿信心。
想到數學年刊馬上又要宣布一項難題被解決,他這個編委會主編也無法抑製的興奮
。
就這樣又過去一個多小時,隨著有人喊出自己的驗證結果,就如同點燃了炸藥庫不斷有人接話。
“我的驗證成功了,代數幾何的穩定性已經證明。”
“丘誠桐猜想被徹底證明。”
“不單單是證明丘誠桐猜想,裡麵使用的方法對此類方程的求解都適用。”
“我們又有了一種新的探索未知數學世界的工具。”
“時隔幾十年第一陳類為正的情況終於被解決,卡拉比猜想也畫上了圓滿的句號。”
……
而哈佛大學教授德瓦,看著自己的驗證結果,口中不斷重複不敢相信。
“驗證居然真的成功了。”
“甚至找不到一處錯誤的地方,這怎麼可能?”
本以為十拿九穩的結果,最終竟和嘗試推翻孿生素數猜想的情況相同,整個人頓時猶如泄氣的皮球徑直癱坐在地上。
反觀徐源這邊,已經被眾多數學家圍在中間,大家紛紛向其祝賀。
親眼見證徐源解決丘誠桐猜想,不管心裡如何想都不得不承認,數學界正有一位數學大師正在快速成長。
成功擠進來的霍爾特,更是一把抓住了徐源的胳膊難掩激動之色。
“這篇證明丘誠桐猜想的論文什麼時候能出來,到時候可一定要投給我們數學年刊。”
眼下現場有那麼多數學家幫忙驗證,等接收到論文可以直接進行發表,這種難得的經典論文他肯定要拿到手才行。
……