第103章 傳奇的開始
關於克卜勒猜想另外一種證明方式，姬天明還要花一點時間整理一下思路。
至少得把理解力再提升一點。
然後模擬一下。
大任務一與二，一個是參與到BB猜想的後續應用與特征p推廣，一個是撬動Big
Proof計劃的架構革命！
基本上完成得七七八八了。
這兩個任務基本上算是完成了。
就等後麵的收官了。
劍橋這邊為姬天明安排了很高規格的報告會。
兩個小猜想的反例激勵了他們很多人。
也讓很多人看到了這個工具的未來。
這是尋找很多猜想反例的重要手段。
現在還需要不斷搭建代數幾何其餘方向的框架。
然後需要找人無限往裡麵填充各種定義與定理，發展代數幾何的庫。
這是一個長期的大工程。
有了之前的經驗，加上很多人的幫助，姬天明工作倒是少了很多。
有時間研究其餘的。
比如把當初比爾卡爾給出的問題更一般化。
因為比爾卡爾那邊告訴姬天明，這些問題即便是整理成為一個分支的合集，上四大期刊也有點難度。
《數學發明》的主編要求姬天明把之前的十來個問題也都形式化，這樣就可以形成一個解決重要問題→開拓雙有理幾何空白領域→形成理論合集→形式化證明。
這樣一來，也算是有極強的原創性與實質性的數學分支推進。
還有一個新生的數學手段。
算得上一篇比較不錯的稿子。
最後形式化的問題其實並不難，辛苦一些史浩銘、謝斐然、趙小文等人就是。
請訪問ᴏᴏᴘ.ᴛᴡ獲取最快的章節更新
反正他們是來學習的，不過一遍手是不行的。
也算是幫姬天明本人節約一點時間。
倒是沃沃斯基聽說了這個事情，找到姬天明，問道：“乾嘛不投數學年刊，你不知道我在普林斯頓的地位？”
“我打聲招呼就可以了。”
“甚至讓德利涅親自給你審稿，他可是代數幾何皇帝格羅滕迪克的親傳弟子啊。”
姬天明：
有這種關係怎麼不早說？
現在都確定給德國的《數學發明》投了。
人家甚至都給了很好的修改意見，他怎麼可能這個時候投數學年刊。
這沃沃斯基這麼來問，肯定是因為那十多個問題都可以用形式化證明才來的。
姬天明此刻說道：“這個事情是比爾卡爾教授決定的，我沒辦法。”
“而且我隻是合作者，這個論文也有比爾卡爾教授的名字。
畢竟這些問題他其實是有解決的思路，這些問題也是他發現提出來的。
礙於丘先生的麵子才給我做的。”
沃沃斯基點了點頭，就好像卡拉比丘流形這種嘛。
這在學術界很常見。
也是老人帶新人的常規手段。
給出具體問題，甚至還給一些思路，以及做錯過的思路，讓手底下的博士生去研究。
而人家明年要衝擊菲獎，自然需要更多的成果。
一些垃圾導師別說共一，二作都夠嗆。
“比爾卡爾已經有數學大師的樣子，明年菲獎應該穩了。”
然後他換了個話題，“奧，行吧，我準備八月份就回普林斯頓高等研究院了。
你真的不去嗎？”
“你代數幾何的天賦很高，我可以向德利涅教授推薦你，去他那裡讀博。”
姬天明擺了擺手，他知道德利涅，菲爾茲獎、沃爾夫數學獎與阿貝爾獎三大獎大滿貫得主。
還是格羅滕迪克與讓皮埃爾賽爾的高徒。
當世數學能穩穩排進前4。
第一肯定是活著的賽爾，其次約翰·米爾諾、湯普森、德利涅三人有競爭第二的實力o
具體怎麼排，還真不好說。
。物人的別級師祖是也何幾數代在涅利德而，爺師祖的域領自各是乎幾個兩麵前
。一之人始創的析分何幾是則桐成丘
”？嗎道知不你，熟很爾賽跟桐成丘“
”？生學當爾賽給去不嘛乾，生學當涅利德給去其與“，道說揄揶絲一著帶明天姬
。叔師的一新月望是還，輩同涅利德跟分輩我，來一樣這“
”。指一屈首是說以可，分輩的域領何幾數代在
.：基斯沃沃
”！弟老，你服真是我，逼牛“
。息消的人等然斐謝、銘浩史了到收也明天姬，後之了完聊基斯沃沃跟
。爾卡爾比了給就題問沒看了看明天姬，了完弄上本基
。作一的拿明天姬讓接直，一共要沒也後最爾卡爾比
”？吧好不這，授教“
。點一久時耗多頂，來出做夠能也，做生士博下底手他給題問些這，思意好不點有明天姬
”。容內些這是不果成心核獎菲且而，篇一這缺不我，事沒“：道說爾卡爾比
”。樣一都決解誰，的來出提我是題問些這，道知都也家大“
：明天姬
。情人個一他了欠明天姬，情人桐成丘還他，情人個了欠是算，吧好
。開離邊這爾卡爾比從
。音聲示提的統係了到聽就明天姬
。續後想猜BB與參度深，一務任成完主宿喜恭，叮【
：題問度難高個兩中之何幾理有雙了決解你
p征特的簇onF利拆裡托維三與明證性在存補—2的簇onF滑光維三下11≥p征特：即
。明證性界有
。作工的性拓開了出做域領個這在，梁橋的何幾數代與何幾合組了起接連者後，步一鍵關置前的想猜BB征特正往通是者前
。本樣的佳絕了供提化式形明證學數續後為，明證化式形了出給且
！步一第的新革學數了拓開
十的餘其與
