第100章 名動劍橋（五）——首席架構師！
在場不少人喊了出來。
跟著沃沃斯基、保爾森、黑爾斯等一眾博導研究形式化的博士生可不少。
他們也是比誰都希望姬天明成功。
特別是劍橋計算機那邊的。
無異於又有新的方向可以發論文了。
姬天明這波操作，不僅是奠定了他的地位。
更是為他們後續發論文提供了一個新的方向。
今天是代數幾何，後麵是不是可以做微分幾何？
而且今天這次的代數幾何也有很大的局限性，僅僅是雙有理幾何之中的一個分類。
還可以在雙有理幾何之中繼續完善水論文。
甚至可以在代數幾何之中完善。
總之，所有的人都希望姬天明成功。
他成功了對所有人都好。
甚至於這個方向很可能是未來開創性的主流方向。
他們現在跟著姬天明進場，未來就是這個領域的權威專家。
有這個身份，未來去任何高校任職待遇與地位可不會低。
特別是在場很多人不是普林斯頓大學的博士，也很多不是劍橋大學的博士生。
他們的競爭力與這兩個大學比起來，就明顯不足。
姬天明看見這群博士生歡呼，忍不住翻白眼，道：“成了，你們成了什麼！？”
一旁的菲獎得主沃沃斯基笑著說道：“你讓他們有了更多的可能。”
“他們這會感謝你呢。”
最新小說章節盡在o o p . t w
“不出意外，未來他們會把你捧上天。”
姬天明：
好家夥。
“還沒徹底成呢，隻是第一個例子而已，後麵還有很多調試的。”
姬天明依舊是一臉不容樂觀。
鮑爾森此刻開口說道：“第一個成功已經證明這套框架的可行性。
後麵無非是修修改改，大方向沒問題，剩下的細節你交給他們做。
我想他們是爭先恐後的搶著做，畢竟，是能夠上頂刊的論文。”
兩個形式化助手開發大佬發話，講台之下一群人眼巴巴的看著姬天明。
二人對姬天明這框架很自信。
鮑爾森不用說了，姬天明用的是他開發的助手。
而沃沃斯基也看到了這套框架在他的助手上使用的可能。
要知道，沃沃斯基不僅僅是菲爾茲獎得主這麼簡單。
更是主導UniM項目構建數學全球資料庫的一號人物。
不然也不會受邀到劍橋大學了。
姬天明搖了搖頭，道：“他們？”
“他們不行的。”
眾人：
看不起誰呢？
好歹也是跟著頂尖博導的博士生。
也稱得上全球名校博士生。
怎麼就不行了？
“下一個例子。”
姬天明沒理會他們，這群人太樂觀了。
他當初模擬可是實驗了好多天。
反複調試才成功。
現在雖然有人打雜，可並不代表一次性就能夠成功。
果不其然，後麵幾個例子，都有很大的局限性。
有的例子一次性成功，有的卻反複失敗。
姬天明當場讓這群博士生修改。
結果根本不懂代數幾何，特別是雙有理幾何。
無法理解數學結構與內容，根本無從下手。
能改個錘子。
還得是既懂高階數學還能夠懂高深編程的人才行。
這活還得他一個人乾。
一整天，不斷的試，也才試了二十多個例子。
這還得益於姬天明對於代數幾何的理解到位。
。解理快麼這法無本根，力解理的0.21是不
。手一們他了驚震的狠狠也，此如是便即可
。基斯沃沃是別特
。獎茲爾菲的得獲域領個這是也，的身出何幾數代究研是就人本他
”？生學的收你是真這“
。情神的己自蓋掩力努刻此他
”？的你成不難“：道說的意笑臉一湘亞袁
”。才天的色出此如過見沒也我，頓斯林普的集雲才天在是便即，啊生學好個了收是真你“：道緩緩基斯沃沃
”。才天學數的界世全了集彙院究研等高頓斯林普年些這，道知要你“
。話說沒森爾鮑的旁一
。的福坦斯是士博，的學大工理州加是科本他，錯沒得說基斯沃沃
。長校的學大福丹史經曾是，師導士博他是別特
。任主係的係機算計學大橋劍是更在現人本他
。人的態變麼這過見沒本根可，才天數無過見也年些這
。進改路思沒都基斯沃沃與他是便即，容內的錯試些一
。了改龍德沃讓接直就，後之鐘分幾了考思，的喵他夥家這是可
。人的界世個一是不就們他覺感，平水這，賦天這
”。來裡這了到他帶且並，生學當他了收是就，情事的確正最得做許也子輩這我“：道緩緩，鬱憂與邃深臉一，板花天著看頭擡，背背手雙是舊依湘亞袁
”！已而是如，攻專有業術，後先有道聞，子弟於賢必不師，師如不必不子弟故是“
.：人二
？貴徒憑師，德瑪
。見次一第是還們他
”多很快該應，忙幫們你有，度進個這前目按，說再天明的麵後，吧止為此到就天今“
”。做來人與間時要需還，架框的何幾分微建搭者或，域領餘其到展拓過不，了題問沒是架框“
。了累明天姬
。快他有應反個一沒然竟，人多麼這，累心
。設建的庫料資學數球全目項MinU入加你請邀學大頓斯林普表代我“：道說口開馬立基斯沃沃候時這
！師構架席首為你請邀
”。職教的師講份一有學大頓斯林普在能可且並，低太會不薪年
