唯獨完善代數幾何的基礎數學庫讓你遲遲沒啥進度。
這是一個劃時代的作品，你急，但是急也沒用。
畢竟最急的一批大佬們還在吵架。
一邊吵架，一邊開各種研討會。
一邊組織人力物力來完善基礎庫。
目前他們遇到的困難就是做證明助手的人不懂前沿代數幾何，做代數幾何的人不屑於用形式化工具，兩邊完全脫節。
那群計算機高手怎麼可能懂如此前沿的代數幾何。
更別說從最基礎的數學語言完善數學庫。
而研究代數幾何的數學家們也不屑用計算機，他們是發自內心的鄙視。
數學證明用計算機來驗證，這不鬨嗎。
來自純數對於應用數學的深層鄙視。
你聽了數場報告會。
好像有一點點啟發。
回到酒店之後，你拿出稿紙，把形式化庫的結構層級寫了出來：
類型→集合→拓撲空間→度量空間→流形→黎曼流形；
然後又把代數幾何的結構層級寫了出來：
集合→拓撲空間→環化空間→代數簇→正規簇→對數典範簇→Fno簇。
你突然發現兩條鏈條的生長邏輯完全一模一樣。
每向上疊加一層新結構，就新增一組專屬公理，同時完整繼承下層結構的所有性質。
下層已經證明過的定理，上層天然成立，根本不需要重複證明。
過去不管是建形式化庫還是人工校驗簇，都在做同一件事：
每往上走一層，就把下層的結論重新推導一遍。
就在這個瞬間，你頓悟了！
你對編程其實也有很深的理解。
特別是之前的數次數學建模，對於編程下了一番苦功夫學習。
加上現在理解力今非昔比。
又有多門數學分支的進階基礎。
頓悟來得猝不及防！
此時此刻你覺得既然數學結構本身就是按層級疊加+性質繼承的邏輯生長的，那為什麼不在形式化係統裡，直接用範疇論的語言把這套繼承關係嚴格實現出來？
讓定理像基因一樣，順著結構鏈條自動向上傳遞，不用人再手動搬運。
一個理論的框架在你腦海之中形成了一個輪廓。
【2017年5月27日，第20—35天。】
半個月時間，你成功的征服了比爾卡爾。
他對你的天賦和才情五體投地！
看本書最新章節，請到ｏｏｐ．ｔｗ
你幫助他解決了很多BB猜想後續的問題。
前前後後至少6個數學問題。
而你的框架也梳理出了四個板塊的知識。
你這段時間惡補了不會的知識。
範疇論核心工具，也就是框架的理論骨架。
至於代數幾何的結構譜係、形式化工程基礎以及工程技巧，都一一被你補全。
工具成熟了，知識體係也成熟了。
。助資額大的會事理究研洲歐有還劃計該，聲尾了入進也劃計foorPgiB
。構架的前之翻推不，構架原用采是還
。冷意灰心基斯沃沃主得獎茲爾菲
。院究研等高頓斯林普回就束結議會備準他
。字二利名開不離也終最，子圈學數是便即，子圈個哪是論無得覺他
。固頑老的邊這橋劍過不抵是究終，粹純與血熱腔一他
。力魄的規舊破打有沒可，銳敏的沿前最界世著有是實確所究研INI學大橋劍
。因原的圈技科與界學數國美如不越來越來未學大橋劍們他是這得覺基斯沃沃
！人聯蘇個一是他怕哪
】。天05—63第，日72月5年7102【
。庫合集數代的礎基了起建搭你，天八前
。性界有積體的簇onF點奇端終、滑光準標驗檢始開係體新的來起建搭你用利且並
。了生誕麵裡腦電本記筆的你在架框的代時劃種這
。抖顫在你，動激在你
。態生的學數變改在你了到受感次一第你為因
！來起了奮興的底徹經已你，天七麵後
。驗校性界有積體的簇onF點奇端終、滑光準標的%07約理處動自夠能架框個這
。斷判人給交，來出記標一統被會形情異奇界邊的%03下剩
。來出放解裡驗校準標的複重量大從人把能對絕是但，類人代取底徹法無器機前目
！了到做你
！的大個來邊這橋劍給備準你
