第97章 名動劍橋（二）
你要讓他們知道，好的劍橋不比雙非差！
【2017年6月11日，第51—60天。】
你很理智，也很聰明。
知道這種成果，要先找誰。
也需要一批頂尖的學者來一起研究。
僅靠你，還不夠。
還需要一大批碩博當底層牛馬來補全一些數學庫。
你第一個找的就是袁亞湘。
他這些天難得回到劍橋大學懷念一下當年的博士生涯。
雖然看他們吵架無聊，但也知道這是博弈。
而且也有具體的推進與項目落地。
還得到了歐洲研究理事會的大額資助。
袁亞湘本以為你這段時間就在幫助比爾卡爾完善BB定理，開拓雙有理幾何這個數學
分支。
有可能再發一篇關於雙有理幾何的四大期刊。
沒想到，你真的整出了一個大的。
他聽完你的全部論述之後，覺得非同尋常。
首先就是代數幾何很難形式化。
懂代數幾何的不懂做證明助手，也不屑於去做這種活。
而做證明助手的人不懂前沿代數幾何。
你恰好彌補了這個空白。
這一步雖然小，但是對於整個代數幾何形式化卻是一大步。
甚至對於未來數學的發展也是極大的一步。
【𝗼𝗼𝗽.𝘁𝘄 無錯章節】
袁亞湘認為你真的如勞倫斯·保爾森所說，在改變數學的研究生態。
袁亞湘第一時間就給丘成桐打了電話。
丘成桐得知之後第一時間聯係了比爾卡爾。
比爾卡爾連夜帶著人前來跟你研究。
當你筆記本跑了一遍之後，他們呆住了。
這一步看上去是小小的一步，也許在未來，對於數學的研究發展，就是大大的一步。
然後第一時間聯係了勞倫斯·保爾森等人。
以及那位菲爾茲獎得主、克卜勒猜想形式化證明者黑爾斯。
這不僅是對於你來說很重要，這對於比爾卡爾來說也很重要。
因為這對於雙有理幾何這個分支來說，又多了一種研究對象。
他在數學界的地位會進一步提高，對於明年的菲獎來說會更穩。
勞倫斯·保爾森聯係了一眾劍橋大學計算機係的大佬，比爾卡爾聯係了一群劍橋大學數學係的大佬。
菲爾茲獎得主沃沃斯基也聯係了曾經的一批前蘇聯研究數學的工作者。
一時間，劍橋大學正在舉辦一場高規格的報告會。
獨屬於你的報告會。
這時候，克卜勒猜想形式化證明者黑爾斯找到你。
想要找你研究一下他的論文，看能否更為精簡。
畢竟他的證明包含250頁筆記和3GB的電腦程式、數據與結果，涉及求解約10萬個線性規劃問題，覆蓋5000多種球體構型。
你想了很久，最終答應了。
你謹記老師說的，要把朋友搞得多多的，把敵人搞得少少的。
說不定哪天黑爾斯就對你有幫助。
而且黑爾斯這貨的博士生導師可是羅伯特·費倫·朗蘭茲。
朗蘭茲綱領的提出者。
拒絕了他又有什麼好處呢？
你在劍橋的專屬報告會獲得巨大的成功。
你確實來了一個大的！
你成功將高階數學代數幾何的基礎數學庫完善，並且發展了一項手段驗證雙有理幾何之中的部分問題。
這項手段是開創性的手段，很有發展的潛力。
與之前開發的RR工具完全不一樣。
這讓劍橋大學數學係以及劍橋牛頓研究所不少數學家第一次真正的認識到了這次BigP
roof計劃的重要性。
以及對未來數學發展的重要性。
菲爾茲獎得主沃沃斯基離開劍橋大學回到普林斯頓高等研究院的時候，給了你8篇關於計算機輔助數學證明的論文。
這些論文是他從2003年思考到現在的精華成果。
！承傳極終的主得獎茲爾菲了到得你
！向方的新個一向走學數領帶力潛有你為認他
。力潛與賦天學數的你可認分十也他
。世逝瘤脈動因就月個一足不頓斯林普到回基斯沃沃，是的幸不
。歲15年享
。手助明證學數的發開你到看能沒他
。筆一的彩重墨濃下留上史學數在，就名成功你到見能沒也
。願夙說是至甚，願遺的求追生半後他是也，作遺的他是這，道知才候時這你
。的甸甸沉文論篇八這覺感你
。中手的你了到後最，的司公技科型大的堅利美阿給要想是本原他
】。束結擬模【
。眼睜緩緩間房在坐他，去退中識意明天姬從般一水潮同如影光
。脹發袋腦他讓擬模的天06
。了多太息信的天06來未
。了世逝然竟基斯沃沃是別特
？的氣他把架吵學大橋劍在成不難
？醫無石藥去回後然
。的大重分十是實確來看響影的情病於對態心
！手到搞要須必，嗯，文論篇八那
】。算結擬模【
】—B：級評生人次本【
。行還：價評【
。水得魚如中果成的別級獎菲在你讓力解理的0.11
。作工的性創開項一了出做明證學數助輔機算計在你
。厚雄實確礎基的你於益得還，會告報聽習學斷不你於益得也，程編過學入深候時的模建學數前之你於益得
】！案答了有經已該應心內的你想我，何如會底到展發的來未學數
；1+力憶記，1+力解理：放發勵獎【
。）天03（1*擬模研科級銀、金，031值擬模，8力憶記，21力解理：板麵賦天前當
：息信外額
