我們想要儘快見證他的誕生。”
姬天明：
好吧，這群卷比挺會卷的。
“那就繼續吧。”
很快姬天明就對Ibelle的Locle機製進行改革。
有沃德龍幫忙。
姬天明本來以為要幾天，結果就一天就跑完了。
“姬，這種層級歸納的思路你是怎麼想到的？”
沃德龍一邊做，一邊問，一邊驚歎。
姬天明其實不是很想教他。
因為這小子拒絕了他。
不過都給他當苦力了，教教也無妨，未來說不定就到他這裡來了呢。
而且這項工具一直都是免費開源麵向全球的。
也變相是為全球的數學工作做出一份貢獻了。
畢竟，國內也沒人研究這玩意啊。
“當初我開發的一款工具，思路和這個類似。”
沃德龍：？
“您開發的什麼工具？”
姬天明緩緩道：“RR，當初解決數論領域的工具，我就想著隻要證明某性質在第n層成立，就能自動歸納到所有上層結構，不用逐層重複證明。”
沃德龍：.
“在什麼期刊，我去學習一下。”
姬天明一臉滿不在乎的說道：“好像在什麼《數學年刊》，就普林斯頓的那個期刊。”
沃德龍：？
史浩銘：？
你要不看看你在說些什麼！
一篇頂刊可以去全球除了那幾所研究所之外任意高校任職。
這並不是開玩笑。
“一篇四大而已，有什麼好稀奇古怪的，一個無法推廣的工具，也不值得吹噓。”
二人隻覺得姬天明是逼王。
這裝逼裝得那麼自然。
一篇四大之首沒什麼稀奇古怪，一個自己開創的工具，不值得吹噓。
尼瑪，你咋不上天。
“好了，要見證奇跡的開始了！”
“今晚要不熬個夜？”
二人：“赴湯蹈火啊姬神！”
“開始吧。”
很快，姬天明把六層結構完整串起來，做通整條單繼承鏈。
“先把5對伴隨函子全部在Ibelle裡實現為Locle之間的自動映射。”
“再挑選12條拓撲層的基礎定理、8條代數層的基礎定理，測試自動繼承的通過率！”
姬天明跟他們一起，下達著一條條指令。
“小史，你收集一下錯誤。”
“沃德龍，集合論裡的子集和類型論裡的子類型語義不完全對應，需要在函子裡加一層適配轉換，你去做一下。”
熬了一個通宵，三人仿佛不知道疲憊。
模擬的時候姬天明知道自己做了出來，可就這麼一個流程，足足跑了他三四天。
今天一個晚上就成了。
“成了，我們成了！”
獲取最新章節更新，請訪問𝑜𝑜𝑝.𝑡𝑤
沃德龍此刻一臉震驚的說道：“標準光滑Fno簇的整條繼承鏈已經跑通了，下一步，要進行奇點校驗了。”
“我要不要通知一下比爾卡爾教授，還有菲爾茲獎得主沃沃斯基、黑爾斯等人，他們比我們更為期待吧？”
史浩銘不明所以，他弱弱問道：“我們會成功嗎？要不成功了再去？”
姬天明也是不裝無把握的逼，覺得史浩銘說得有理，道：“先回去休息幾個小時，下午再來。帶點乾糧。”
二人很快就離開了。
可是沃德龍根本藏不住秘密，他已經到了比爾卡爾辦公室。
“什麼什麼？”
“這不可能！”
辦公室之中全是比爾卡爾的聲音。
“他不是在補全我後麵的空白嗎？”
沃德龍此刻說道：“教授，千真萬確，今晚估計要反複驗證，最遲明天就要見到結果。”
“您真不去親眼見證一下？而是見證一個完善之後的工具？”
比爾卡爾倒吸一口涼氣，道：“好，我知道了。”
史浩銘這邊也差不多，直接跟袁亞湘說了，讓他也過來見證。
袁亞湘：？
”！去起一們他叫我“
”。改修複反，錯報途中能可很，中之驗實複反在還們我且而？了多太會不會數人“：道說銘浩史
”。啊大偉的作工項這明說才這“
。話電的們他了通打快很湘亞袁
。久很了愣息消個這到聽森爾保·斯倫勞人持主的劃計次本及以，斯爾黑者明證化式形想猜勒卜克、基斯沃沃弗主得獎菲
。文論大四篇一了發就段階科本他及以，現表勇神的天些這明天姬於基是不要
。信不本根們他
。個兩有隻，人的大四發段階科本在夠能，史學數代近觀縱
。貫滿大的界學數了拿經已個一中其
。獎爾貝阿、獎學數夫爾沃、獎菲
。情事的早遲是也個一外另
。爾卡爾比下了問話電打還至甚們他以所
。動激分十們他，後息消切確到得裡那龍德沃生學的爾卡爾比從
？嗎了功成要於終情事的於力致直一們他
。辦麼怎了敗失一萬，怕害又忑忐既們他
？喜歡空是不豈
。然茫是還的多更
。啊呆很們我得顯，了猛麼這就歲八十你，們哥，是不
？了到做給生科本的是不都生究研個一被果結，天多好了論討，情事的到做法辦有沒遲遲們他
。右左點四概大午下
。來過了醒的糊糊迷迷才明天姬
。了倒顛很息作說能隻
。始開人二叫話電打備準就他，奶牛蛋雞包麵點一了吃亂胡
。外之間房的他在人群一了來，到想沒萬萬果結
。樣一他等在都像好
？？？：明天姬
”。~嘛乾們你，喲哎“
。奈無臉一刻此明天姬
。了來全
nF維三過跑沒都序程逼這
