姬天明瞪了他一眼，恨铁不成钢的说道：“在国内一天天那么牛逼，谈天说地，来了剑桥大学就怂了？”
“好的剑桥不比双非弱！”
“你能不能站起来？”
中科院大学，还真是非985非211。
“走，先去见见恩师，比尔卡尔那边不急。”
就在姬天明一边走一边思考的时候。
系统再次给他颁发了一个任务：
【叮，发布大任务二：撬动BigProof计划的架构革命！
任务奖励：理解力+？？？，模拟值+？？？，？？？级抽奖机会+？？？】
姬天明：？？？
还好他是学数学的，不然任务奖励都看不懂了。
看来这两个剑桥的顶级大项目，还得看他姬天明啊。
他擡头仰天，手中还有一次银级科研模拟，40次的普通模拟。
等黄金之路任务完成，还可以抽奖一次金色科研模拟。
他的论文在《数学年刊》见刊了。
好巧不巧，系统冰冷的声音在他耳中响起：
【叮，恭喜宿主完成黄金之路。
作为拥有系统的男人，你做到了！
你拿到了数学竞赛决赛冠军，你获得了美赛四奖，你发表了一篇四大期刊。
你用你的努力达成了黄金之路。
奖励：理解力+3，记忆力+1.5，模拟值+50，黄金抽奖机会一次。
当前人物面板：理解力11，记忆力7。
模拟值90（可选择70天合并铜级模拟），银级科研模拟一次。】
此时此刻，那种熟悉的清明感再次涌入姬天明的大脑。
11.0的理解力，姬天明觉得自己已经达到了一个恐怖的天赋。
加上那7点的记忆力，姬天明觉得真的可以达到那种过目不忘的水平。
“强得离谱，我觉得我现在可以打十个。”
姬天明忍不住兴奋道。
一旁的史浩铭却说道：“哥，您正常点，我害怕。”
姬天明瞪了他一眼，然后往INI那边走。
没多久他就听到了激烈的争吵。
菲尔兹奖得主沃沃斯基此刻声音很大：“你们那是老顽固思想，必须要推翻现有类型论底层，重构一套更接近集合论直觉的新逻辑。”
另外一方的声音也很大，完全不因为他是菲尔兹奖得主就唯唯诺诺：“那代价太大了，你这么做和现有几十年积累的数学库完全不兼容，我们几十年的底蕴将会化为一空。”
“打补丁，手动做一个个具体概念的翻译，才是正确的。”
很快姬天明等人就走了进去，只见菲奖得主沃沃斯基冷嘲热讽的说道：“这种底层框架无论怎么打补丁，始终是零散的、个案的，没有统一的理论保证。
工作量大，耗时久，没一项优点。
你们不过是想要保住自己的话语权与学术地位。
那Ibelle/OL的底层逻辑就非得一成不变吗？”
