第103章 傳奇的開始
關於克卜勒猜想另外一種證明方式，姬天明還要花一點時間整理一下思路。
至少得把理解力再提升一點。
然後模擬一下。
大任務一與二，一個是參與到BAB猜想的後續應用與特徵p推廣，一個是撬動Big
Proof計劃的架構革命！
基本上完成得七七八八了。
這兩個任務基本上算是完成了。
就等後面的收官了。
劍橋這邊為姬天明安排了很高規格的報告會。
兩個小猜想的反例激勵了他們很多人。
也讓很多人看到了這個工具的未來。
這是尋找很多猜想反例的重要手段。
現在還需要不斷搭建代數幾何其餘方向的框架。
然後需要找人無限往裡面填充各種定義與定理，發展代數幾何的庫。
這是一個長期的大工程。
有了之前的經驗，加上很多人的幫助，姬天明工作倒是少了很多。
有時間研究其餘的。
比如把當初比爾卡爾給出的問題更一般化。
因為比爾卡爾那邊告訴姬天明，這些問題即便是整理成為一個分支的合集，上四大期刊也有點難度。
《數學發明》的主編要求姬天明把之前的十來個問題也都形式化，這樣就可以形成一個解決重要問題→開拓雙有理幾何空白領域→形成理論合集→形式化證明。
這樣一來，也算是有極強的原創性與實質性的數學分支推進。
還有一個新生的數學手段。
算得上一篇比較不錯的稿子。
最後形式化的問題其實並不難，辛苦一些史浩銘、謝斐然、趙小文等人就是。
反正他們是來學習的，不過一遍手是不行的。
也算是幫姬天明本人節約一點時間。
倒是沃沃斯基聽說了這個事情，找到姬天明，問道：「幹嘛不投數學年刊，你不知道我在普林斯頓的地位？」
「我打聲招呼就可以了。」
「甚至讓德利涅親自給你審稿，他可是代數幾何皇帝格羅滕迪克的親傳弟子啊。」
姬天明：
有這種關係怎麼不早說？
現在都確定給德國的《數學發明》投了。
人家甚至都給了很好的修改意見，他怎麼可能這個時候投數學年刊。
這沃沃斯基這麼來問，肯定是因為那十多個問題都可以用形式化證明才來的。
姬天明此刻說道：「這個事情是比爾卡爾教授決定的，我沒辦法。」
「而且我只是合作者，這個論文也有比爾卡爾教授的名字。
畢竟這些問題他其實是有解決的思路，這些問題也是他發現提出來的。
礙於丘先生的面子才給我做的。」
沃沃斯基點了點頭，就好像卡拉比丘流形這種嘛。
這在學術界很常見。
也是老人帶新人的常規手段。
給出具體問題，甚至還給一些思路，以及做錯過的思路，讓手底下的博士生去研究。
而人家明年要衝擊菲獎，自然需要更多的成果。
一些垃圾導師別說共一，二作都夠嗆。
「比爾卡爾已經有數學大師的樣子，明年菲獎應該穩了。」
然後他換了個話題，「奧，行吧，我準備八月份就回普林斯頓高等研究院了。
你真的不去嗎？」
「你代數幾何的天賦很高，我可以向德利涅教授推薦你，去他那裡讀博。」
姬天明擺了擺手，他知道德利涅，菲爾茲獎、沃爾夫數學獎與阿貝爾獎三大獎大滿貫得主。
還是格羅滕迪克與讓皮埃爾賽爾的高徒。
當世數學能穩穩排進前4。
第一肯定是活著的賽爾，其次約翰·米爾諾、湯普森、德利涅三人有競爭第二的實力o
具體怎麼排，還真不好說。
前面兩個幾乎是各自領域的祖師爺，而德利涅在代數幾何也是祖師級別的人物。
丘成桐則是幾何分析的創始人之一。
「丘成桐跟賽爾很熟，你不知道嗎？」
姬天明帶著一絲揶揄說道，「與其去給德利涅當學生，幹嘛不去給賽爾當學生？」
「這樣一來，我輩分跟德利涅同輩，還是望月新一的師叔。
在代數幾何領域的輩分，可以說是首屈一指。」
沃沃斯基：.
「牛逼，我是真服你，老弟！」
跟沃沃斯基聊完了之後，姬天明也收到了史浩銘、謝斐然等人的消息。
基本上弄完了，姬天明看了看沒問題就給了比爾卡爾。
比爾卡爾最後也沒要共一，直接讓姬天明拿的一作。
「教授，這不好吧？」
姬天明有點不好意思，這些問題給他手底下博士生做，也能夠做出來，頂多耗時久一點。
比爾卡爾說道：「沒事，我不缺這一篇，而且菲獎核心成果不是這些內容。」
「大家也都知道，這些問題是我提出來的，誰解決都一樣。」
姬天明：
好吧，算是欠了個人情，他還丘成桐人情，姬天明欠了他一個人情。
從比爾卡爾這邊離開。
姬天明就聽到了系統的提示聲音。
【叮，恭喜宿主完成任務一，深度參與BAB猜想後續。
你解決了雙有理幾何之中兩個高難度問題：
即：特徵p≥11下三維光滑Fano簇的2—補存在性證明與三維托里拆利Fano簇的特徵p
有界性證明。
前者是通往正特徵BAB猜想的前置關鍵一步，後者連接起了組合幾何與代數幾何的橋樑，在這個領域做出了開拓性的工作。
且給出了形式化證明，為後續數學證明形式化提供了絕佳的樣本。
開拓了數學革新的第一步！
與其餘的十來個雙有理幾何問題形成了一套範本，在雙有理幾何之中影響頗大。
任務評價：B+。
獎勵：理解力+1.5，記憶力+1.5，模擬值+60，銀級抽獎機會*1；】
【叮，恭喜宿主完成任務二，撬動BigProof計劃的架構革命！
你成功的搭建起了代數幾何的形式化框架。
甚至可以推廣到其餘方向。
並且處理了一系列雙有理幾何的問題。
且後續找出了兩個代數幾何小猜想的反例。
成功的為未來數學研究方式提供了樣本與反例。
在數學圈引起了不小的爭議。
為未來數學研究方式做出了革命性的貢獻。
任務評價：B+。
獎勵：理解力+1.5.記憶力+1.5，模擬值+60，銀級抽獎機會*1。】
【當前任務面板：理解力15，記憶力11，金銀模擬各自*1，銀級抽獎*2，模擬值250
點。】
一股強烈的清明感湧入姬天明的腦海之中。
一次性提升3點理解力，帶來的提升堪稱是巨大的。
而記憶力甚至達到了11。
配合上理解力，很多其餘學科的本碩內容，姬天明感覺只需要看一遍就可以達到爐火純青的地步。
不僅是深刻的記住，還有深刻的理解。
【請問是否抽獎？】
姬天明沒有遲疑，直接內心默念說道：「抽！」
【恭喜宿主獲得銀級科研模擬*2，模擬值*100，一份原定歷史線未來數學發展的大致信息。】
姬天明聽到這裡愣了一下。
出金了？
竟然還多了一份未來數學發展的大致信息。
他立馬查看了起來。
很快就看完了。
果不其然，與當初鮑爾森、沃沃斯基等人預測的一樣。
未來數學的發展將會由Isabelle與lean主導。
利用AI，將證明或者證否很多的數學中小猜想。
甚至是一些重要猜想的反例也會被找出來。
還有不少未來的菲爾茲獎得主將會加入openAI。
研究AI在數學之中的應用。
數學未來的天變了。
等等，coq呢？
姬天明一愣。
沃沃斯基致力於開發的coq呢。
怎麼沒名字。
真讓lean後來居上了？
該不會真是沃沃斯基嘎了之後沒了主心骨，團隊的核心成員被微軟大價錢挖走了。
帶走了核心數據與技術，才讓Iean成為了後面的主流吧。
文稿之中還說陶哲軒、舒爾茨都會利用Iean完成四大期刊級別的成果。
解決不少的重要猜想。
姬天明看完之後覺得在情理之中，又在意料之外。
舒爾茨也會用lean，還發表重大成果。
陶哲軒就不用說了，一直追潮流。
肯定會插一手。
姬天明看完之後，只是得到了一個未來發展的肯定，但也沒得到哪些重要猜想被找到反例。
可惜。
出金了，但是金不是很純。
算了算手中的模擬值，總計350，銀級科研模擬*3，金色科研模擬*1。
回到自己的房間之後，姬天明嘀咕了一下。
要不要使用一次銀級科研模擬呢？
現在他的理解力15，按理來說水平不會太弱。
「30天真的可以找到一條確切的思路嗎？」
「這可是懸而未決數百年的猜想，即便是強如米爾諾都沒有能夠證明。
最後只得把他寫在自己的書里，讓後人想辦法去證明。」
姬天明目前想的思路是學習維亞佐夫斯卡。
用證明8維與24維的想法，結合幾何分析，看能否找到一個確切的思路。
完全摒棄黑爾斯的那種證明思路，就得從頭開始。
一連多天，得益於理解力突破到15，加上他對幾何分析的了解越來越多。
很多想法都湧現了出來。
維亞佐夫斯卡的論文並不多，姬天明讀起來十分容易。
這篇論文與黑爾斯的論文比起來，完全是展現什麼叫純粹數學的極致之美。
數學猜想的證明就該這麼優美！
除去上個世紀70年的部分內容，其餘的內容放在19世紀末，都可能被當代的數學家理解。
其核心的內容，甚至就是19世紀的數學。
「這世界，還真是天才輩出，天下英雄如同過江之鯽啊。」
即便是他15的理解力，不深耕這個領域多年，也無法找到如此精妙的方法與輔助函數。
甚至還有弦理論的影子，畢竟她用的方法也涉及到了幾何分析。
「難怪比爾卡爾感到了壓力，這傢伙完全是有機會衝擊菲爾茲獎的，而且還是女性，更占據一些優勢。」
「8維和24維的晶格結構在信息編碼理論和密碼學算是核心基石了，倒是可以讓李憶蝶好好研究一下。」
差不多又過了十來天。
姬天明整理出了兩份思路。
第一份，利用維亞佐夫斯卡的思路，結合幾何分析、數論，花費的時間可能要很久。
長几年，短大半年。
第二個思路就是幾何分析、數論與代數幾何。
這個方向又涉及到很多小方向。
比如代數幾何選取哪個小方向作為核心工具，幾何分析又要選什麼工具與方向，都要花時間去一一驗證。
僅僅是第二個思路，花費的時間最少都要一年以上。
除非有人跟他合作。
他算是明白了那些人菲爾茲獎得主為何要沉澱數年才能夠出大成果。
懷爾斯當年發現費馬大定理的思路，先是研究了好幾年，才證明。
後續發現論文錯誤，也是花了一年才徹底解決。
這不沉澱不行啊。
有思路姑且要這麼久，沒有怎麼辦？
多個數學分支的結合，也不容易把控。
姬天明第一次深刻的認識到了克卜勒猜想三維情況的難度。
也難怪黑爾斯的地位會那麼高。
不僅僅是因為他的導師是朗蘭茲。
更是其數學成果的份量確實是很重。
如果拜入一個研究克卜勒猜想的師門，或許可以少走一些彎路。
師門研究過很多方法，可能與姬天明的撞了，可以節省很多時間。
然後把時間花在其餘的思路。
可這不是沒有嗎。
一切都得靠自己。
「要不梭哈？」
姬天明此刻帶著一絲決然。
350的模擬值加上3次銀級科研模擬，就是400多天。
完全可以解決這個猜想。
但是又很捨不得。
可想著第三個任務的金色抽獎。
應該是可以回本的吧。
三次銀肯定不如一次金。
何況還有獎勵的100模擬值與抽獎送的模擬值。
頂多虧點模擬值，與金色科研模擬比起來，都不夠看了。
此刻，姬天明內心已經有了決斷。
模擬，就得狠狠模擬，有掛不用，跟沒掛有什麼區別。
他準備好了一些巧克力與高熱量的糖果。
這種高強度的模擬，多半消耗巨大。
上次在渝州理工大學圖書館模擬之後的場景，他還記得。
不是李憶蝶及時給他一顆奶糖，估計真就低血糖暈過去了。
「先來350天的模擬，確認哪個思路是對的。
然後用銀級科研模擬三次，差不多應該就成了。」
一個懸而未決四百年的猜想。
姬天明眼中帶著一絲激動與渴望。
吞下幾顆高熱量的糖果與巧克力。
姬天明對著系統說道：「系統，先來350的普通模擬。」
殊不知，這一開始模擬，就是傳奇的開始。
>