人家黑尔斯除了证明这个猜想，还证明了蜂巢猜想与十二面体猜想。
在离散几何有着举足轻重的地位。
这有点当着别人的面打脸了。
不过学术界就是这样，踩着别人的尸体上位比比皆是。
没多久，姬天明整理好各种模拟获得的信息之后。
开始着手解决三维光滑Fno簇反典范体积的完整校验。
这次理解力提升，姬天明不到一天就写好了代码。
然而第三天就全部跑通了。
这几天，姬天明也忙着学自己提出的框架的那几个板块的知识。
系统不直接醍醐灌顶。
还真要花点时间学习。
好在是12.0的理解力加上那一丝灵感，效率快了不止一倍。
比尔卡尔办公室看着姬天明的代码，整个人都愣了一下。
他当初就想要为难一下姬天明，想要让姬天明知难而退。
没想到就三天，给出了一个完美的数值表，还补充了3篇原始文献遗漏的边界情形，顺手附带了可复用的计算脚本。
整整105类三维光滑Fno簇。
硬是找不出一点毛病。
这水平，这实力。
他仿佛好像知道为什么丘成桐要在晚年收一个关门弟子了。
简直是天赋异禀啊。
十八岁，这种实力，读了一年本科就毕业。
他仿佛看见了一个人。
法国巴黎高师的那位先贤。
史上最年轻的数学家，伽罗瓦！
比尔卡尔很快给姬天明打了一个电话。
“你是说你在做代数几何的形式化库？”
“还要用你自己准备建立的框架来验证这个问题？”
“这不可能！”
比尔卡尔当即说道。
姬天明都懒得跟他解释。
未来的菲尔兹奖得主很吊吗？
还是不明白他现在做的工作的意义是什么。
我们的工作，要改变数学界！
“这个问题解决了，后面的问题多发几个来，我一并解决。”
比尔卡尔：？
好大的口气，但是确实是有实力。
真要是他们团队做之前那个问题，不得二三周啊。
人家就用了三天时间，做得如此的完美。
不服不行啊。
搞数学的，就看实力与天赋，而不是看嘴。
当然，也不看脸。
很快，比尔卡尔就发来了其余几个问题。
《二维对数典范对的补集存在性显式构造问题》、《三维Fno簇的例子库构建》、
《补集的显式计算》、《奇点不变量的数值统计》...。
一股脑，丢过来很多问题。
姬天明翻了个白眼，也算是边缘工作了。
量多，能发2区以上的期刊。
整理成集，估计可以发四大之下的顶刊。
要不是系统任务，姬天明还真懒得接。
“行。”
接下来几天，姬天明一边做这些工作，一边先完善最核心的理论骨架，范畴论！
这是整个架构的数学基础，姬天明用到的不是最前沿的高阶范畴论，而是经典范畴论里非常成熟、但从未被工程化落地的一组概念。
这个框架分了四步，每一步都是核心，少了一步就不行。
其中最难的还是结构提升定理。
姬天明要把它从拓扑领域推广到一般代数结构，作为自动继承的理论依据。
这几天，姬天明忙得脚不沾地。
他胡子老长都没时间刮。
“你这几天忙啥啊？”
袁亚湘疑惑问道，感觉姬天明像是苍老了很多。
姬天明一边吃着这边难吃的食物，一边说道：“比尔卡尔的工作我在做，还有就是一项伟大的工作。”
