學霸人生模擬系統 第104章
此刻系統冰冷的聲音在姬天明耳中響起。
【模擬啟動】
【模擬時長：350天】
【模擬基準：有系統之後的模擬】
【推演開始】
熟悉的光影流轉過後，第三人稱視角的畫面徐徐鋪開，好像是親身經歷，又好像放映的幻燈片。
總之，讓姬天明覺得好像真的經歷過系統放出的那些文字述說。
這還是繼之前六年模擬之後，最長的一次模擬。
【2017年8月1日，第1—3個月】
你第一時間明確了第一個季度需要做的事情是什麼。
完善範疇遷移框架，以及後續的疊代，適配更多的Fano簇的例子。
以及開始第一個克卜勒猜想證明思路。
前面的工作你做起來得心應手，等到史浩銘、謝斐然等人上手的時候，你手裡的活就更輕鬆了。
九月初，沃沃斯基延遲一個月之後，病情急轉直下，直接回到了普林斯頓。
101看書101𝓀𝒌𝒔.𝒄ℴ𝓂全手打無錯站
走之前，反覆掛機形式化證明，以及coq。
到九月末的時候，一個噩耗傳來，沃沃斯基因為動脈瘤，最終逝世於普林斯頓高等研究院。
普林斯頓高等研究院為他舉行了4天的追悼會。
你也從劍橋回國了。
聽聞這一消息，你感恩其手稿與在劍橋交流的幾個月友情。
你親自去了一趟普林斯頓高等研究院。
遺憾的是，你不僅沒在劍橋大學徹底改進克卜勒猜想。
也沒能夠守住他的團隊。
在他追悼日結束之後，微軟的Iean首席科學家、巴西的那位計算機科學家萊昂納多·德·莫拉帶著微軟的資金。
前來挖人。
高額的工資與福利待遇，徹底挖走了沃沃斯基的團隊。
他留下的一切學術遺產全部被微軟打包帶走。
你可以預見，Iean這門工具，未來怕是要成為數學界的主流了。
甚至於鮑爾森都不是他的對手。
微軟這種全球頂級資本捨得砸錢，不是一群沒錢搞純數的數學家可以抵抗的。
也就在九月，舒爾茨發布了他的一篇頂級論文，引爆了局部朗蘭茲綱領研究。
你得知很羨慕，畢竟你研究的克卜勒猜想進度太慢了。
但做出來，同樣驚天動地，畢竟，跨越了數論、幾何分析、代數幾何與離散幾何四個領域的東西。
它搭建起四個學科的橋樑。
回國之後，你開始帶著之前的幾人完善CLoF，並且取名姬氏助手。
但是因為經費緣故，大型伺服器沒有，最後袁亞湘與丘成桐的動用他們的資源才得以解決。
而克卜勒猜想的證明你依舊進度緩慢。
你不僅是閱讀了維亞佐夫斯卡以及在黑爾斯之前的工作。
甚至讀了米爾諾的各種書籍。
嘗試著把維亞佐夫斯卡8、24維的模形式一傅立葉分析工具遷移到三維。
一開始進度順利，可是越到後面，你內心越感到拔涼。
前面三個月，你基本上都耗在了閱讀文獻上。
【2017年11月1日，第4—6個月】
CLoF因為有了沃沃斯基留下的學術遺產，得以穩固完善。
可即便是有你的指導與不斷完善，因為國內研究代數幾何又懂形式化代碼的人少之又少。
你很無奈，最終可能只有Iean這個工具成為主流脫穎而出。
這幾個月，你入讀中科院已經數月。
袁亞湘自覺沒啥教你的，你也不是很想研究優化類的東西，所以讓丘成桐教你。
丘成桐無法教你數論，可他在代數幾何也有很深的研究。
得知你把克卜勒猜想作為碩士的研究課題，甚至有幾何分析的工具，他直接支持你了o
作為幾何分析這個分支的創始人，他很希望這個領域得到發揚光大。
特別是聽了你的思路之後，更是支持你。
作為宗門的老祖級別人物，他給你打聽到，維亞佐夫斯卡這個思路無法適用於三維的克卜勒猜想。
你知道的時候，整個人都很無奈。
後面你自己得出一個結論三維不存在8、24維那種獨一無二自對偶晶格。
在8與24維之中，它們擁有近乎完美的對稱性，而在三維的時候就徹底失效。
至此，你研究了半年的克卜勒猜想。
第一個思路徹底宣布失敗。
【2018年2月1日，第7—9個月】
2018年2月是春節，你與李憶蝶一起踏上回渝州的飛機。
你問了問她在清華的進度。
得知她參與了重大國防安全項目，甚至連你都不能說。
只能說是重大保密項目。
你對此也沒說啥。
畢竟軍工領域、國防安全領域確實是需要保密。
你作為一個耀眼的數學天才，從劍橋大學回來之後，幾乎是沒啥產出。
不少人看著笑話呢。
特別是得知你還不知道天高地厚要去研究克卜勒猜想，某些人早就在暗地裡嘲諷。
搞的CLoF也因為沒錢沒人才半死不活。
而Iean發展迅猛，就連舒爾茨都注意到這個東西，並且開始嘗試使用。
李憶蝶好像知道一些情況，出言安慰你，並且說純數研究本就要坐得住冷板凳。
讓你不要想多了，有什麼需要她的地方可以找她幫忙。
你對別人的嘲諷已經免疫了。
跟著丘成桐與袁亞湘，註定是與P大、復旦走到對立面去了。
這沒辦法，得到什麼，就得失去什麼。
只是李憶蝶出言安慰，還是讓你倍感溫軟，難得沒出言彎酸你。
不愧是從同一個本科出來的。
因為就連之前去劍橋的幾人都開始逐步放棄。
要不是袁亞湘與席南華強烈要求，他們早就不參與了。
沒人才，沒經費，還影響他們畢業。
看不到未來。
當初在劍橋做的工作好像都便宜了微軟。
你們是同一班的高鐵。
你回巴縣，她回夔州。
想著去年，你們還在參與緊張刺激的美賽呢。
最後還引起了不小的轟動。
時至今日，你們手上都有一串他們送的項鍊。
這一年，除了上半年的各種獎學金，下半年除了研究生補貼之外，基本沒賺到什麼錢。
對此你也總結了一下，研究克卜勒猜想確實是有點不理智了。
四個學科的內容，還要結合起來，搭建起新的橋樑，15.0的理解力還是不夠用。
應該先研究一些中型猜想，儘快畢業才對。
但是你手握兩篇頂刊，總不能第三篇論文不是頂刊吧。
這不是丟人丟到大西洋了嗎。
而且都研究到一半了，決不能輕言放棄。
春節你在家裡輔導姬芸芸半個多月，查缺補漏，氣得她差點跟你斷絕兄妹關係。
因為過年她天天都在學習。
三月你跟李憶蝶一起上帝都。
你再次問她對未來的規劃，她依舊十分堅定，申請碩轉博，並且24歲之前畢業參加中央選調生的考試。
你對此認為人各有志。
你問她要不要當初那個猜想的另外一種證明，用你開發的助手就可以完成。
儘管可以提前畢業，她還是拒絕了。
回到帝都之後，你開始研究後續的思路。
幾何分析、數論模形式、離散幾何與代數幾何四個領域的東西，確實是多而雜。
即便是你知道大概思路，可是細分之下，竟然有足足四個思路。
你對此也無奈。
只能一個方向一個方向去試一試。
運氣好，第一個方向就成功，運氣不好，就得第四個。
三月，物理學界傳來一個消息，物理學家霍金嘎了。
你聽到這消息，還愣了一下，當初去劍橋都沒能夠見到。
沒想到在聽說卻已經嘎了。
劍橋牛頓研究所的所長邀請你去弔唁，你沒去。
你又不是研究物理，你是高貴的數學家。
何況二人又沒任何交集。
四月末，你才試驗完一個思路，毫無意外，錯的。
另外一個思路也在驗證過程中，也是錯的。
至此，你研究生第一年還剩下三個月不到的時間。
這段時間，你幾乎是毫無產出。
唯一值得稱讚的是你的數學知識積累得越來越多。
也許突破就在臨門一腳。
【2018年5月1日，第10—12個月】
很遺憾的是，你第三個思路也確認失敗了。
第四個思路雖然是正確的，可是過程太艱苦了。
你分成了好幾個步驟，每一個步驟都卡你很久。
甚至到了八月，你都沒解決。
這個懸而未決四百年的猜想，確實是太難了。
真要那麼容易，也不會四百多年以來都沒人解決。
七月末，你收到了比爾卡爾的邀請，前往巴西參加ICM大會。
也收到了ICM的邀請，請你前往參加形式化證明報告。
你作為首席架構師，這一年與微軟、鮑爾森聯繫得很緊密。
今年的菲爾茲獎競爭異常激烈。
好在是比爾卡爾最終獲得了菲爾茲獎。
當然，實至名歸的還是舒爾茨。
畢竟，幾篇論文就引起了無數人研究朗蘭茲綱領的熱潮。
你看著意氣風發的他們，嚮往，羨慕，以及無奈。
挑戰一個大的猜想，丘成桐也花了好幾年。
懷爾斯也花了好多年。
你雖然有些鬱悶，但想著老子才19歲，不慌。
頂多二十歲就給數學界來個大的。
畢竟，也沒人19歲就上國際數學家大會做報告啊。
你是最年輕的！
未來可期，前途是你的。
你定下了一個目標，2022年拿到菲爾茲獎，打破賽爾最年輕菲爾茲獎得主的記錄！
【模擬結束】
光影如同潮水一般從姬天明意識中退去，他坐在房間緩緩睜眼。
未來接近一年的信息還是太爆炸了。
霍金竟然死了，比爾卡爾也成功拿到菲爾茲獎。
不久之後的舒爾茨的一篇論文將會徹底引爆全球數學界。
無數人瘋狂湧入研究朗蘭茲局部的綱領。
你也拿到了ICM45分鐘報告。
作為史上最年輕的發言人去講形式化助手的框架搭建。
【模擬結算。】
【本次人生評級：C】
【評價：本次的模擬並不理想，這也是好高騖遠的下場。
你以為你現在的水平與天賦可以拿捏這個猜想。
殊不知，越往後研究，你才越發現，四個大學科的融合，根本不是一二年可以解決的事情。
黑爾斯用了19年才讓數學界認可他的工作。
你卻妄圖只想要用一年的時間來解決，即便是有正確的思路，但是證明的道路上，依舊有無數的困難。
你妄圖搭建起四個分支橋樑，學伽羅瓦創立一個新的分支。
可理想很豐滿，現實很骨感，你失敗了！
唯一值得稱讚的就是你沒有愧對首席架構師這個名號，因為在機械證明數學猜想這個領域，獲得了ICM45分鐘報告的機會，是史上最年輕的報告者。
>