決定嘗試證明丘誠桐猜想,徐源接下來幾天都沒有在交流活動中露麵,基本吃完飯便來到丘誠桐辦公室研究微分幾何代數幾何多複變函數等數學分支。
丘誠桐也確實希望徐源能彌補這個遺憾,將自己這些年相關的研究悉數傳授。
平時徐源遇到複雜棘手的難題,同樣會耐心講解。
儼然將之當成了自己的學生。
而他越是和徐源接觸下來,越能感受到徐源在數學上的恐怖天賦。
每次他隻需要稍加指導點撥,徐源便能融會貫通甚至舉一反三,這種數學天賦可以說連他都感到羨慕。
不過這也恰恰證明,他的決定並沒有錯。
隻要徐源堅持研究下去,或許真能為卡拉比猜想畫上圓滿的句號。
轉眼來到周末。
為期一周的交流活動接近尾聲。
2005年4月17日,周日,香江中文大學數學科學研究所。
辦公室內徐源坐在側邊桌子旁,麵前堆著的滿是資料和寫滿數學公式的手稿,不過此刻他的神情卻顯得凝重微微皺著眉頭。
良久他從深度學習狀態中脫離出來,在麵板消散前又看了眼進度條緩緩籲了口氣。
——
任務:丘誠桐猜想證明
學科:數學
進度:30%
結果:未完成
“果然不愧是困擾了丘教授幾十年的問題,想證明這個猜想不容易啊。”
這幾天時間他瘋狂吸收著各種相關知識,掌握了很多數學分支的方法,但都無法證明第一陳類為正時的丘誠桐猜想。
根據以往解決數學難題的經驗判斷,必須要對多種方法創新才行。
不過如果丘誠桐知道短短幾天便把猜想證明推進到百分之三十的進度,那肯定會感到非常不可思議,儘管這主要還是依靠他的研究成果。
畢竟距離他解決第一陳類為負為零的卡拉比猜想已經過去三十年。
正當徐源想著這些時,隻見丘誠桐推門從外麵進來主動和他打招呼。
“今天有什麼收獲嗎?”
徐源聞言連忙站起身把頭扭過去,臉上有些尷尬的回答。
“暫時沒有突破性的進展,想把微分幾何和代數幾何以及多複變函數等數學分支方法結合用於證明,難度遠比我想象的難。”
“慢慢來。”
“想解決數學難題哪有一口吃成胖子吧,有時候研究幾年都正常。”
“不急。”
丘誠桐擺手安撫著徐源。
這些天徐源的表現已經大幅度超過他的預期,對於自己這個學生他非常看好。
隨即走到自己辦公桌旁坐下時,他又想到了什麼開口拋出一句。
“明天你們是不是就要回去了?”
“是的丘教授,我們廖主任已經安排好行程。”徐源麵對詢問如實回答。
從心裡來說丘誠桐肯定不希望徐源離開,但徐源畢竟不是中文大學數學係的學生,總不能強行把人留下來不放人回去。
於是歎了口氣然後囑咐道:“你把這些資料手稿書籍也都帶回去,有疑問可以隨時給我發郵件。”
“丘教授放心,我不會放棄證明這個猜想的。”徐源點點頭保證。
接下來兩人又針對數學方法進行討論,不知不覺間時間便悄然過去。
第二天。
中文大學這邊特意舉行歡送儀式。
在一片歡送聲中,徐源等人乘車前往機場,準備返回箐華大學。
此刻車內能看到大家也都掛著喜悅笑容,顯然是此行收獲都不小。
雖說首場丘誠桐的講座難度高些,但後麵都屬於正常水平確實學到了很多東西。
尤其張俊東更是確定了自己畢業論文選題。
眼下他可以說是信心滿滿,巴不得立刻回到學校開始撰寫。
“這次交流確實沒白來,讓我有種豁然開朗的感覺直接就確定了畢業論文,現在對論文我可謂是信心滿滿。”
“那就先提前祝賀學長完成畢業論文。”劉洋聽著旁邊張俊東的話不忘附和。
長達一周的時間相處下來,兩人之間的關係也變得更加熟絡。
因為徐源每天都不參加交流活動,劉洋便都和張俊東結伴聽講座互相交流。
張俊東聽到這話心裡感到高興的同時,目光也不忘向坐在前麵的徐源看去。
“這次收獲最多的應該還是徐神,畢竟那可是丘教授每天親自授課,哪怕博士都沒有這種頂格待遇。”
“好像丘教授是想讓源哥證明丘誠桐猜想。”劉洋想到什麼回了句。
徐源沒有參加後麵幾天的交流活動,大家自然會好奇詢問相關情況,因此丘誠桐猜想這件事也不是秘密。
不過在劉洋說完這句話後,便和旁邊的張俊東一起陷入沉默。
丘誠桐猜想自然不是他們能接觸的,但作為提出者的丘誠桐教授幾十年都沒證明,單想想便清楚其中的
難度會有多高。
心裡難免為徐源捏了把汗,想證明著實不容易。
而對於劉洋張俊東他們兩人的談話,徐源坐在前排自然全部聽進耳中。
他自然也清楚此問題的難度,不管怎麼說都屬於卡拉比猜想。
之前他解決無窮多個卡邁克爾數間隔問題,和蒙日安培方程解的整體光滑性,這些都隻涉及數論和偏微分方程數學分支,從某種程度上來說並不算太過複雜。
但丘誠桐猜想完全不同。
丘誠桐教授把第一陳類為正的卡拉比猜想,轉化為代數幾何的穩定性問題。
這裡麵便涉及到了代數幾何微分幾何,以及多複變函數和度量幾何等多個數學分支。
單單把這些數學分支方法結合,都是相當大的難度挑戰。
更不要說再進行創新。
況且此猜想還涉及高維空間的弦理論,更是理論物理學家推演的問題。
眼下卻要靠數學計算,確實不易。
否則以丘誠桐證明第一陳類為負為零的卡拉比猜想基礎早就能解決所謂代數幾何穩定性問題。
憑借這些年丘誠桐教授的研究成果,才讓證明進度推進到百分之三十。
並且後麵都沒有任何增長。
相比較前兩個解決的數學難題,複雜性直線上漲。
徐源清楚這些接受這些,卻並未被打擊到自信心產生放棄的念頭。
反正他現在還很年輕且有天賦,大不了慢慢研究嘗試證明。
他相信總有將其解決的時候。
說不定哪天靈感爆發,甚至在很短時間內便能解決掉這個問題。
……
路上行程非常順利,天不黑徐源等人便安全返回到箐華大學。
而徐源和劉洋剛到寢室,正打算和李振亞王海濤他們分享這幾天的事,徐源卻突然接到了唐時宏的電話讓他去辦公室一趟。
想著可能是和這次交流活動有關,他倒也沒有過多耽擱時間。
和大家說了句便匆匆往教授辦公室趕。
很快輕車熟路來到房門前,抬手才敲了兩下便聽見裡麵傳來熟悉聲音。
“請進。”
徐源推門進去便問道:“導師讓我過來是有事嗎?”
“沒什麼大事。”
“先坐吧。”
唐時宏看到徐源過來,連忙招呼其坐下。
然後才詢問起此次交流的成果。
“跟著丘教授學習了幾天,收獲怎麼樣?”
“收獲很大。”
徐源聞言如實回應:“尤其是掌握了很多個數學分支的方法。”
“不虛此行就好。”唐時宏點點頭。
話音剛落接著又拋出一個新的問題:“對解決丘誠桐猜想你有多大把握?”
對於唐時宏也知道這件事,徐源並不覺得意外。
稍微頓了下組織好語言,這才開口緩緩講起關於丘誠桐猜想的事。
“代數幾何的穩定性問題涉及的數學分支較多,想徹底解決確實不太容易,不過丘教授跟我講解了他的研究經驗和一些思路,所以我想要試一試。”
“這樣的話你自己看著來就好,不過倒也不用給自己太大壓力。”
唐時宏聽完這番話稍微囑咐了句,倒沒有像之前畢業論文那樣提出反對意見。
自從徐源在畢業論文中證明蒙日安培方程解的光滑性問題展露自身天賦,唐時宏心裡便對徐源多了一份莫名的信任。
哪怕知道丘誠桐猜想的難度,依舊願意相信徐源能夠完成證明。
下秒唐時宏又想到什麼開口說:“另外楊老也很看好你解決丘誠桐猜想。”
“楊老也知道了?”徐源略顯驚訝。
沒想到自己才剛從香江那邊回來,感覺全校人好像都知道他要挑戰丘誠桐猜想了。
以前他證明卡邁克爾數和蒙日安培方程相關問題的時候彆人都不知道,論文發出後才引起學界的關注被授予數學王子的美譽。
如今那麼多人知道他正在研究丘誠桐猜想,這要是證明不出來可就丟麵子了。
而對此唐時宏也沒賣關子,隨即便把詳細情況全部告知了徐源。
聽完後徐源則是哭笑不得,不知道該說什麼好。
原來楊老一直有意邀請丘誠桐加入箐華,成為箐華高等研究院永久成員,負責數學科學院的相關工作。
不過這件事暫時沒有促成。
此次他嘗試證明丘誠桐猜想,如果真能成功的話便可以說服丘誠桐加入箐華。
因此楊老對他也很看好。
弄清楚前因後果,徐源也能感受到自己身上的壓力又多了很多。
眼下看來那是說什麼都要完成證明了。
“放心吧導師,我會儘自己最大努力去研究的。”
最終徐源站起身表明態度,丟下這句話後便也不再過多逗留,隨即便拉開辦公室房門邁步離開。
唐時宏則望著徐源,直到其背影徹底從視野中消失才收回目光。
良久搖頭歎了口氣。
“有這種自信對他來說也不知道是好事還是壞事。”
徐源身上時刻擁有的自信是他最滿意的,甚至都還非常羨慕。
但在這種自信下,若始終證明不出丘誠桐猜想,則說不定會出現反效果。
整個人的自信心被打擊到。
要知道徐源憑借自身的數學天賦,接觸數學以來還從未受過什麼挫折。
不過現在局麵已經沒法改變,那也隻能希望於徐源可以完成證明。
——
時間如同白駒過隙轉瞬即逝。
很快來到六月底。
徐源從香江回來到現在已經過去兩個月,期間他的時間也都安排的很滿。
除了繼續學習新的知識上課,餘下時間便泡在討論室研究丘誠桐猜想,期間他也沒少和丘誠桐教授發郵件請教存在疑問的地方。
可惜兩個月的時間進度條愣是沒有任何增長。
依舊保持在百分之三十。
他雖然嘗試了不少創新方法,但每次代入演算進度條都會出現下降。
說明他的這些方法存在錯誤,或者無法用來證明丘誠桐猜想。
而這倒是幫他節省了很多時間。
可以不斷進行試錯。
因為如果是正常情況下,想要判斷提出的方法能否對結果有效,還需代入演算並進行驗證才行。
這整個流程進行下來,不知道浪費了多少時間。
好在陳雨然時不時會過來陪著他一起學習,並在合適的時機進行鼓勵,所以儘管進度沒有增長他的鬥誌卻越來越激昂。
暗自和這個猜想較上了勁,說什麼都要將其給徹底解決掉。
為卡拉比猜想畫上這個來自三十年後的句號。
這天上午數學科學院討論室內,徐源拿起桌子上的草稿紙微微皺著眉頭。
“果然還是不行嗎?”
自顧自低喃一句,隨即揉了揉扔進垃圾桶裡。
他嘗試用偏微分方程的方式求解,奈何麵板上的進度條依舊出現了大幅度下降。
說明此方法是錯誤的。
到現在他可以確定想借助偏微分方程,是無法解決第一陳類為正的卡拉比猜想,還是要從微分幾何多複變函數上找思路。
本來他是覺得既然丘誠桐教授能通過幾何中的曲率概念求解偏微分方程,從而證明第一陳類為負為零這兩種卡拉比猜想情況,那或許也可以用此方法解決第一陳類為正時的卡拉比猜想情況。
無非進行適當的創新,或者在原有基礎上優化。
不過他連續多次嘗試都得到了錯誤的結果,說明此方法在第一陳類為正時行不通。
怪不得當初丘誠桐教授僅解決了第一陳類為負為零時的兩種情況。
或許是連續兩個月每天都在研究此猜想,徐源明顯能感覺到自己思維開始有些僵化。
很難在碰撞出巧妙的靈感思路。
想著應該找點其他東西研究下換換腦子,說不定能起到事半功倍的效果。
他記得自己先前證明蒙日安培方程相關問題,正是被齊同祥教授邀請去科大擔任評委講課,這才誕生出新的思路讓進度條大幅度增長。
徐源想到這些,暗自思索之際嘴裡也忍不住嘀咕。
“難道還要舉行公開課,在課上講丘誠桐猜想,怕是沒多少人感興趣吧。”
這時正當他猶豫著要不要向院裡申請時,口袋裡突然響起的手機鈴聲將他思路打斷。
隨手掏出手機朝那快小屏幕看去,頓時便看到唐教授的名字出現在上麵。
見此雖然不知道唐教授有什麼事情,他也不敢耽擱連忙按下接聽鍵。
剛把手機放到耳邊,便聽見一道熟悉聲音從手機聽筒中傳出來。
“徐源你現在空閒嗎?”
“我沒什麼事。”徐源毫不猶豫回答。
唐時宏:“那到我這裡來一下,有件事和你說。”
“好的導師。”
徐源自然沒想太多,應了聲掛斷電話便動身前往唐時宏辦公室所在的綜合實驗樓。
……
剛進唐教授的辦公室,他發現不止是唐教授在,旁邊沙發上還坐著計院的姚啟智教授。
腦海裡不由得冒出一個念頭。
“難道唐教授電話裡說的事情,是和計院有關。”
他雖然沒有聽過姚啟智教授的課,但對這位大佬卻絲毫不陌生。
對方去年受楊老邀請放棄海外的工作,正式加入箐華高等研究院擔任全職教授,負責計算機專業班的授課和相關項目研究。
並且對方還是唯一獲得圖靈獎的華人學者,在國際上享有較高權威。
“還站在門口做什麼,快進來坐。”唐時宏看著站在門口的徐源,停下手上動作笑著問:“最近關於丘誠桐猜想研究的怎麼樣了?”
“暫時還沒什麼頭緒……”
徐源笑著回答了唐時宏的問題,並禮貌性和姚啟智教授打了聲招呼,這才乖巧坐到沙發上麵。
姚啟智