特别是之前的数次数学建模，对于编程下了一番苦功夫学习。
加上现在理解力今非昔比。
又有多门数学分支的进阶基础。
顿悟来得猝不及防！
此时此刻你觉得既然数学结构本身就是按层级叠加+性质继承的逻辑生长的，那为什么不在形式化系统里，直接用范畴论的语言把这套继承关系严格实现出来？
让定理像基因一样，顺着结构链条自动向上传递，不用人再手动搬运。
一个理论的框架在你脑海之中形成了一个轮廓。
【2017年5月27日，第20—35天。】
半个月时间，你成功的征服了比尔卡尔。
他对你的天赋和才情五体投地！
你帮助他解决了很多BB猜想后续的问题。
前前后后至少6个数学问题。
而你的框架也梳理出了四个板块的知识。
你这段时间恶补了不会的知识。
范畴论核心工具，也就是框架的理论骨架。
至于代数几何的结构谱系、形式化工程基础以及工程技巧，都一一被你补全。
工具成熟了，知识体系也成熟了。
BigProof计划也进入了尾声，该计划还有欧洲研究理事会的大额资助。
还是采用原架构，不推翻之前的架构。
菲尔兹奖得主沃沃斯基心灰意冷。
他准备会议结束就回普林斯顿高等研究院。
他觉得无论是哪个圈子，即便是数学圈子，最终也离不开名利二字。
他一腔热血与纯粹，终究是抵不过剑桥这边的老顽固。
剑桥大学INI研究所确实是有着世界最前沿的敏锐，可没有打破旧规的魄力。
沃沃斯基觉得这是他们剑桥大学未来越来越不如美国数学界与科技圈的原因。
哪怕他是一个苏联人！
【2017年5月27日，第36—50天。】
前八天，你搭建起了基础的代数集合库。
并且利用你搭建起来的新体系开始检验标准光滑、终端奇点Fno簇的体积有界性。
这种划时代的框架在你的笔记本电脑里面诞生了。
你在激动，你在颤抖。
因为你第一次感受到了你在改变数学的生态。
后面七天，你已经彻底的兴奋了起来！
这个框架能够自动处理约70%的标准光滑、终端奇点Fno簇的体积有界性校验。
剩下30%的边界奇异情形会被统一标记出来，交给人判断。
目前机器无法彻底取代人类，但是绝对能把人从大量重复的标准校验里解放出来。
你做到了！
你准备给剑桥这边来个大的！
