一来一回，损失其实挺严重的。
沃德龙虽然崇拜姬天明，但是利益面前他知道怎么选。
而且姬天明还没开宗立派，真要是像韦伊那样，估计真就一大批学者跟着他从巴黎去普林斯顿了。
待到沃德龙走了之后，史浩铭此刻问道：“姬神，怎么不问问我，我很想留中科院啊。”
姬天明此刻瞪了他一眼，道：“你首先要做的就是无视他们这些学校的学历，然后在学术上先做到：好的双非不比剑桥差。
然后再做到：好的剑桥不比双非差！”
“懂了吗？”
史浩铭：
在国内，他的学历除了北大，几乎是没学校可以与之媲美。
但出来了，就不够看了。
导致整个人也不是很自信。
当学历崇拜者遇到学历、学校比他更好的人，就会有这种情况。
本质上是一种自卑的心态。
用张大彪的话来说就是两个肩膀顶着一个脑袋，谁怕谁啊。
“恩师从湘潭大学走到现在，就告诉了你这个事情，好的剑桥不比双非差！”
姬天明跟他说完了之后直接赶人，洗了个澡。
直接倒头睡。
第二天姬天明本来真想要休息一下到处溜溜，欣赏一下剑桥之美。
没想到史浩铭与沃德龙二人比他还要积极。
“嗯？我不是让你们休息一天吗？”
二人齐齐说道：“做不完睡不着，我们想要尽快见证他的诞生。”
姬天明：
好吧，这群卷比挺会卷的。
“那就继续吧。”
很快姬天明就对Ibelle的Locle机制进行改革。
有沃德龙帮忙。
姬天明本来以为要几天，结果就一天就跑完了。
“姬，这种层级归纳的思路你是怎么想到的？”
沃德龙一边做，一边问，一边惊叹。
姬天明其实不是很想教他。
因为这小子拒绝了他。
不过都给他当苦力了，教教也无妨，未来说不定就到他这里来了呢。
而且这项工具一直都是免费开源面向全球的。
也变相是为全球的数学工作做出一份贡献了。
毕竟，国内也没人研究这玩意啊。
“当初我开发的一款工具，思路和这个类似。”
沃德龙：？
“您开发的什么工具？”
姬天明缓缓道：“RR，当初解决数论领域的工具，我就想着只要证明某性质在第n层成立，就能自动归纳到所有上层结构，不用逐层重复证明。”
沃德龙：.
“在什么期刊，我去学习一下。”
姬天明一脸满不在乎的说道：“好像在什么《数学年刊》，就普林斯顿的那个期刊。”
沃德龙：？
史浩铭：？
你要不看看你在说些什么！
一篇顶刊可以去全球除了那几所研究所之外任意高校任职。
这并不是开玩笑。
“一篇四大而已，有什么好稀奇古怪的，一个无法推广的工具，也不值得吹嘘。”
二人只觉得姬天明是逼王。
这装逼装得那么自然。
一篇四大之首没什么稀奇古怪，一个自己开创的工具，不值得吹嘘。
尼玛，你咋不上天。
“好了，要见证奇迹的开始了！”
“今晚要不熬个夜？”
二人：“赴汤蹈火啊姬神！”
“开始吧。”
很快，姬天明把六层结构完整串起来，做通整条单继承链。
“先把5对伴随函子全部在Ibelle里实现为Locle之间的自动映射。”
“再挑选12条拓扑层的基础定理、8条代数层的基础定理，测试自动继承的通过率！”
姬天明跟他们一起，下达着一条条指令。
“小史，你收集一下错误。”
“沃德龙，集合论里的子集和类型论里的子类型语义不完全对应，需要在函子里加一层适配转换，你去做一下。”
熬了一个通宵，三人仿佛不知道疲惫。
模拟的时候姬天明知道自己做了出来，可就这么一个流程，足足跑了他三四天。
今天一个晚上就成了。
“成了，我们成了！”
沃德龙此刻一脸震惊的说道：“标准光滑Fno簇的整条继承链已经跑通了，下一步，要进行奇点校验了。”
“我要不要通知一下比尔卡尔教授，还有菲尔兹奖得主沃沃斯基、黑尔斯等人，他们比我们更为期待吧？”
