【2017年5月19日，第13—20天。】
你对于比尔卡尔的第二个数学问题也很快的解决了。
虽然卡了你几天，但是在雄厚的基础上以及11.0的理解力之下，依旧是过关斩将。
比尔卡尔对你已经是十分的惊骇了。
他此时此刻算是明白了为何丘成桐晚年还要收关门弟子。
如此天赋，他只在少部分人身上见过。
可他们都已经三十多岁了。
你才十八。
他诚挚邀请你参与到BB定理的全课题。
你答应了。
因为你有系统任务，你也想发四大。
你猜测，一篇四大，足以说明你在本次任务之中的贡献。
纯数的方向你一往无前。
唯独完善代数几何的基础数学库让你迟迟没啥进度。
这是一个划时代的作品，你急，但是急也没用。
毕竟最急的一批大佬们还在吵架。
一边吵架，一边开各种研讨会。
一边组织人力物力来完善基础库。
目前他们遇到的困难就是做证明助手的人不懂前沿代数几何，做代数几何的人不屑于用形式化工具，两边完全脱节。
那群计算机高手怎么可能懂如此前沿的代数几何。
更别说从最基础的数学语言完善数学库。
而研究代数几何的数学家们也不屑用计算机，他们是发自内心的鄙视。
数学证明用计算机来验证，这不闹吗。
来自纯数对于应用数学的深层鄙视。
你听了数场报告会。
好像有一点点启发。
回到酒店之后，你拿出稿纸，把形式化库的结构层级写了出来：
类型→集合→拓扑空间→度量空间→流形→黎曼流形；
然后又把代数几何的结构层级写了出来：
集合→拓扑空间→环化空间→代数簇→正规簇→对数典范簇→Fno簇。
你突然发现两条链条的生长逻辑完全一模一样。
每向上叠加一层新结构，就新增一组专属公理，同时完整继承下层结构的所有性质。
下层已经证明过的定理，上层天然成立，根本不需要重复证明。
过去不管是建形式化库还是人工校验簇，都在做同一件事：
每往上走一层，就把下层的结论重新推导一遍。
就在这个瞬间，你顿悟了！
你对编程其实也有很深的理解。
