第95章 名動劍橋(二)

投票推薦 加入書籤 小說報錯

  第97章 名動劍橋(二)

  你要讓他們知道,好的劍橋不比雙非差!

  【2017年6月11日,第51—60天。】

  你很理智,也很聰明。

  知道這種成果,要先找誰。

  也需要一批頂尖的學者來一起研究。

  僅靠你,還不夠。

  還需要一大批碩博當底層牛馬來補全一些數學庫。

  你第一個找的就是袁亞湘。

  他這些天難得回到劍橋大學懷念一下當年的博士生涯。

  雖然看他們吵架無聊,但也知道這是博弈。

  而且也有具體的推進與項目落地。

  還得到了歐洲研究理事會的大額資助。

  袁亞湘本以為你這段時間就在幫助比爾卡爾完善BAB定理,開拓雙有理幾何這個數學

  分支。

  有可能再發一篇關於雙有理幾何的四大期刊。

  沒想到,你真的整出了一個大的。

  他聽完你的全部論述之後,覺得非同尋常。

  首先就是代數幾何很難形式化。

  懂代數幾何的不懂做證明助手,也不屑於去做這種活。

  而做證明助手的人不懂前沿代數幾何。

  (由於緩存原因,請用戶直接瀏覽器訪問 TW 看書網書庫多,sʜᴜ.ᴛᴡ任你選 網站,觀看最快的章節更新)

  你恰好彌補了這個空白。

  這一步雖然小,但是對於整個代數幾何形式化卻是一大步。

  甚至對於未來數學的發展也是極大的一步。

  袁亞湘認為你真的如勞倫斯·保爾森所說,在改變數學的研究生態。

  袁亞湘第一時間就給丘成桐打了電話。

  丘成桐得知之後第一時間聯繫了比爾卡爾。

  比爾卡爾連夜帶著人前來跟你研究。

  當你筆記本跑了一遍之後,他們呆住了。

  這一步看上去是小小的一步,也許在未來,對於數學的研究發展,就是大大的一步。

  然後第一時間聯繫了勞倫斯·保爾森等人。

  以及那位菲爾茲獎得主、克卜勒猜想形式化證明者黑爾斯。

  這不僅是對於你來說很重要,這對於比爾卡爾來說也很重要。

  因為這對於雙有理幾何這個分支來說,又多了一種研究對象。

  他在數學界的地位會進一步提高,對於明年的菲獎來說會更穩。

  勞倫斯·保爾森聯繫了一眾劍橋大學計算機系的大佬,比爾卡爾聯繫了一群劍橋大學數學系的大佬。

  菲爾茲獎得主沃沃斯基也聯繫了曾經的一批前蘇聯研究數學的工作者。

  一時間,劍橋大學正在舉辦一場高規格的報告會。

  獨屬於你的報告會。

  這時候,克卜勒猜想形式化證明者黑爾斯找到你。

  想要找你研究一下他的論文,看能否更為精簡。

  畢竟他的證明包含250頁筆記和3GB的電腦程式、數據與結果,涉及求解約10萬個線性規劃問題,覆蓋5000多種球體構型。

  你想了很久,最終答應了。

  你謹記老師說的,要把朋友搞得多多的,把敵人搞得少少的。

  說不定哪天黑爾斯就對你有幫助。

  而且黑爾斯這貨的博士生導師可是羅伯特·費倫·朗蘭茲。

  朗蘭茲綱領的提出者。

  拒絕了他又有什麼好處呢?

  你在劍橋的專屬報告會獲得巨大的成功。

  你確實來了一個大的!

  你成功將高階數學代數幾何的基礎數學庫完善,並且發展了一項手段驗證雙有理幾何之中的部分問題。

  這項手段是開創性的手段,很有發展的潛力。

  與之前開發的SRR工具完全不一樣。

  這讓劍橋大學數學系以及劍橋牛頓研究所不少數學家第一次真正的認識到了這次BigP

  roof計劃的重要性。

  以及對未來數學發展的重要性。

  菲爾茲獎得主沃沃斯基離開劍橋大學回到普林斯頓高等研究院的時候,給了你8篇關於計算機輔助數學證明的論文。

  這些論文是他從2003年思考到現在的精華成果。

  你得到了菲爾茲獎得主的終極傳承!

  他認為你有潛力帶領數學走向一個新的方向!

  他也十分認可你的數學天賦與潛力。

  不幸的是,沃沃斯基回到普林斯頓不足一個月就因動脈瘤逝世。

  享年51歲。

  他沒能看到你開發的數學證明助手。

  也沒能見到你功成名就,在數學史上留下濃墨重彩的一筆。

  你這時候才知道,這是他的遺作,也是他後半生追求的遺願,甚至是說夙願。

  你感覺這八篇論文沉甸甸的。

  他原本是想要給阿美利堅的大型科技公司的,最後到了你的手中。

  【模擬結束。】

  光影如同潮水一般從姬天明意識中退去,他坐在房間緩緩睜眼。

  60天的模擬讓他腦袋發脹。

  未來60天的信息太多了。

  特別是沃沃斯基竟然逝世了。

  難不成在劍橋大學吵架把他氣的?

  然後回去藥石無醫?

  心態對於病情的影響看來確實是十分重大的。

  那八篇論文,嗯,必須要搞到手!

  【模擬結算。】

  【本次人生評級:B—】

  【評價:還行。

  11.0的理解力讓你在菲獎級別的成果中如魚得水。

  你在計算機輔助數學證明做出了一項開創性的工作。

  得益於你之前數學建模的時候深入學過編程,也得益於你不斷學習聽報告會,還得益於你的基礎確實雄厚。

  數學未來的發展到底會如何,我想你的內心應該已經有了答案!】

  【獎勵發放:理解力+1,記憶力+1;

  當前天賦面板:理解力12,記憶力8,模擬值130,金、銀級科研模擬*1(30天)。

  額外信息:未來計算機輔助數學證明將會成為主流,當AI大模型發展到一定程度,絕大多數數學工作者將會從解決成千上萬的數學猜想轉變為驗證AI證明數學猜想的證明論文。

  模擬之中關於代數幾何庫的構造靈感保留。】

  姬天明:?

  「這就沒了?」

  「我勒個去,我給比爾卡爾解決的數學問題的那些思路、證明過程呢?

  我那麼多的代碼也沒有嗎?

  那麼多的基礎集合庫也沒有嗎?」

  「還有那四部分的知識也不同步?」

  姬天明人傻了。

  普通模擬好是好,可有點坑啊。

  這麼多工作,他一個人,即便是模擬了,也得做很久。

  好在是關鍵靈感保留了。

  不然真得花費兩個月。


  他得到了兩份最為關鍵的東西。

  未來AI時代數學的發展方向問題,以及菲爾茲獎得主沃沃斯基手中的八篇論文。

  其餘的,都可以慢慢來。

  還有一個問題,那就是黑爾斯克卜勒猜想的問題。

  姬天明準備先看看,看看真能改進一下他的證明不。

  他那證明,足足有250頁筆記和3GB的電腦程式、數據與結果,涉及求解約10萬個線性規劃問題,覆蓋5000多種球體構型。

  這聽上去就離譜。

  絲毫不具備數學證明的美感。

  也難怪《數學年刊》不給他刊登。

  他要是改進了證明方式。

  那就兩次名動劍橋咯!

  就在姬天明這麼想的時候,系統直接給頒發了一個任務。

  【叮,發布大任務三—名動劍橋:改進克卜勒猜想的證明方式。

  黑爾斯如此醜陋的證明方式完全不具備任何的數學的美感。

  你作為一個未來的數學宗師,怎麼可以見證此等證明?

  來吧,讓劍橋的人顫抖吧!

  讓他們見識一下你的風采!

  名動劍橋!

  獎勵:金色抽獎機會一次,理解力+2,模擬值+100。】

  姬天明看著系統對黑爾斯的這份工作的評價忍不住抽了抽嘴。

  人家黑爾斯除了證明這個猜想,還證明了蜂巢猜想與十二面體猜想。

  在離散幾何有著舉足輕重的地位。

  這有點當著別人的面打臉了。

  不過學術界就是這樣,踩著別人的屍體上位比比皆是。

  沒多久,姬天明整理好各種模擬獲得的信息之後。

  開始著手解決三維光滑Fano簇反典範體積的完整校驗。

  這次理解力提升,姬天明不到一天就寫好了代碼。

  然而第三天就全部跑通了。

  這幾天,姬天明也忙著學自己提出的框架的那幾個板塊的知識。

  系統不直接醍醐灌頂。

  還真要花點時間學習。

  好在是12.0的理解力加上那一絲靈感,效率快了不止一倍。

  比爾卡爾辦公室看著姬天明的代碼,整個人都愣了一下。

  他當初就想要為難一下姬天明,想要讓姬天明知難而退。

  沒想到就三天,給出了一個完美的數值表,還補充了3篇原始文獻遺漏的邊界情形,順手附帶了可復用的計算腳本。

  整整105類三維光滑Fano簇。

  硬是找不出一點毛病。

  這水平,這實力。

  他仿佛好像知道為什麼丘成桐要在晚年收一個關門弟子了。

  簡直是天賦異稟啊。

  十八歲,這種實力,讀了一年本科就畢業。

  他仿佛看見了一個人。

  法國巴黎高師的那位先賢。

  史上最年輕的數學家,伽羅瓦!

  比爾卡爾很快給姬天明打了一個電話。

  「你是說你在做代數幾何的形式化庫?」

  「還要用你自己準備建立的框架來驗證這個問題?」

  「這不可能!」

  比爾卡爾當即說道。

  姬天明都懶得跟他解釋。

  未來的菲爾茲獎得主很吊嗎?

  還是不明白他現在做的工作的意義是什麼。

  我們的工作,要改變數學界!

  「這個問題解決了,後面的問題多發幾個來,我一併解決。」

  比爾卡爾:?

  好大的口氣,但是確實是有實力。

  真要是他們團隊做之前那個問題,不得二三周啊。

  人家就用了三天時間,做得如此的完美。

  不服不行啊。

  搞數學的,就看實力與天賦,而不是看嘴。

  當然,也不看臉。

  很快,比爾卡爾就發來了其餘幾個問題。

  《二維對數典範對的補集存在性顯式構造問題》、《三維Fano簇的例子庫構建》、

  《補集的顯式計算》、《奇點不變量的數值統計》...。

  一股腦,丟過來很多問題。

  姬天明翻了個白眼,也算是邊緣工作了。

  量多,能發2區以上的期刊。

  整理成集,估計可以發四大之下的頂刊。

  要不是系統任務,姬天明還真懶得接。

  「行。」

  接下來幾天,姬天明一邊做這些工作,一邊先完善最核心的理論骨架,範疇論!

  這是整個架構的數學基礎,姬天明用到的不是最前沿的高階範疇論,而是經典範疇論里非常成熟、但從未被工程化落地的一組概念。

  這個框架分了四步,每一步都是核心,少了一步就不行。

  其中最難的還是結構提升定理。

  姬天明要把它從拓撲領域推廣到一般代數結構,作為自動繼承的理論依據。

  這幾天,姬天明忙得腳不沾地。

  他鬍子老長都沒時間刮。

  「你這幾天忙啥啊?」

  袁亞湘疑惑問道,感覺姬天明像是蒼老了很多。

  姬天明一邊吃著這邊難吃的食物,一邊說道:「比爾卡爾的工作我在做,還有就是一項偉大的工作。」

  袁亞湘:?

  史浩銘:?

  「這個工作頂多還十多二十天弄完,一個人太麻煩了,要是有人幫忙會更快,弄完之後,我將名動劍橋。」

  二人:

  袁亞湘此刻沒懷疑,只是問道:「需要幫忙嗎?你這位師兄可以拿過去用用。」

  「他雖然混了一點,但好歹是中科院數學所的博士生,打雜的工作還是可以做的。」

  「我不行,我得去他們那邊。」

  姬天明點了點頭,道:「好,那可以快很多了。」

  史浩銘:

  這就被賣了嗎?

  吃完飯,姬天明直接去見了比爾卡爾,前幾天他布置的問題幾乎是清一色的解決了。

  比爾卡爾反覆看了幾遍論文,一臉懵逼的同時是震驚。

  一旁的幾個博士與博士後都感受到了震驚。

  知道劍橋數學系神人多,可是這麼神的人還是第一次見到。

  不是,哥們,你是伽羅瓦轉世啊?

  「沃德龍借我用用,另外發點含金量高的問題,這種問題只適合普通的博士生做。」

  在場幾人:...

  哥,求你了,別罵了。

  比爾卡爾反覆的看了看姬天明。

  姬天明的天賦再次刷新了他對於姬天明的認知。

  「牛逼。」

  即便是他也不得不感嘆這份天賦與實力。

  「沃德龍借你用了,你離開之後都可以跟著你。」

  「另外前沿方向的核心空白問題我發你幾個,以及文獻資料。」

  「這兩個問題能夠解決,結合你之前的論文,應該是可以上四大期刊的。」

  姬天明點了點頭。

  散會之後,姬天明那恐怖的數學天賦逐漸在劍橋大學數學系流傳。

  東方古國來了一個天才,十天解決了菲獎級成果團隊的十來個問題。

  一天一個。

  堪稱是恐怖!

  這些問題無論是放在哪個博士生上,至少得20天起步。

  還得是水平足夠高有比爾卡爾親自帶才行。

  菜逼都沒資格參與這種菲獎級成果的項目之中。

  這個消息一開始還沒人信,但是不少人發現是從比爾卡爾團隊流傳出來的。

  那就不一樣了。

  真有這種變態?

  比爾卡爾這群博士生、博士後也是真的誇張。

  什麼叫堪比伽羅瓦。

  能不能再離譜點?

  那麼牛逼,怎麼不讓劍橋單獨給他辦一場報告會?

  莫不是一個學二代?

  聽說好像是袁亞湘的學生,還是丘成桐的學生。

  那麼解釋起來好像就十分合理了。

  丘成桐對比爾卡爾的幫助劍橋誰不知道。

  比爾卡爾走到今天,能有這個成果,全是丘成桐的肯定與支持。

  丘成桐對比爾卡爾可以說有知遇之恩。

  比爾卡爾這麼還人情,好像也合理了。

  沃德龍等人對這些看法冷笑。

  凡人,一群凡人!

  沒想到劍橋大學數學系的庸碌者也這麼多。

  可笑可笑!

  姬天明此刻把二人集結在了一起。

  對著二人問道:「小史你是有編程基礎的吧?」

  史浩銘點了點頭,他跟袁亞湘學的運籌優化,肯定會。

  他說道:「我隨時可以轉碼,去BBA等超級大廠當碼農。」

  姬天明點了點頭,對著沃德龍問道:「沃德龍你懂代數幾何對吧?」

  沃德龍點了點頭,道:「是的,姬天才。」

  史浩銘與沃德龍不明所以,對著姬天明問道:「所以我們到底要幹嘛?」

  姬天明背著雙手,背對著他們,緩緩道:「一個足以撬動數學界革命的事情!」

  二人:...

  以前怎麼沒發現他這麼能裝逼呢。


章節目錄