史浩铭不明所以，他弱弱问道：“我们会成功吗？要不成功了再去？”
姬天明也是不装无把握的逼，觉得史浩铭说得有理，道：“先回去休息几个小时，下午再来。带点干粮。”
二人很快就离开了。
可是沃德龙根本藏不住秘密，他已经到了比尔卡尔办公室。
“什么什么？”
“这不可能！”
办公室之中全是比尔卡尔的声音。
“他不是在补全我后面的空白吗？”
沃德龙此刻说道：“教授，千真万确，今晚估计要反复验证，最迟明天就要见到结果。”
“您真不去亲眼见证一下？而是见证一个完善之后的工具？”
比尔卡尔倒吸一口凉气，道：“好，我知道了。”
史浩铭这边也差不多，直接跟袁亚湘说了，让他也过来见证。
袁亚湘：？
“我叫他们一起去！”
史浩铭说道：“人数会不会太多了？而且我们还在反复实验之中，很可能中途报错，反复修改。”
“这才说明这项工作的伟大啊。”
袁亚湘很快打通了他们的电话。
菲奖得主弗沃沃斯基、克卜勒猜想形式化证明者黑尔斯，以及本次计划的主持人劳伦斯·保尔森听到这个消息愣了很久。
要不是基于姬天明这些天的神勇表现，以及他本科阶段就发了一篇四大论文。
他们根本不信。
纵观近代数学史，能够在本科阶段发四大的人，只有两个。
其中一个已经拿了数学界的大满贯。
菲奖、沃尔夫数学奖、阿贝尔奖。
另外一个也是迟早的事情。
所以他们甚至还打电话问了下比尔卡尔。
从比尔卡尔的学生沃德龙那里得到确切消息后，他们十分激动。
他们一直致力于的事情终于要成功了吗？
他们既忐忑又害怕，万一失败了怎么办。
岂不是空欢喜？
更多的还是茫然。
不是，哥们，你十八岁就这么猛了，显得我们很呆啊。
他们迟迟没有办法做到的事情，讨论了好多天，结果被一个研究生都不是的本科生给做到了？
下午大概四点左右。
姬天明才迷迷糊糊的醒了过来。
只能说作息很颠倒了。
胡乱吃了一点面包鸡蛋牛奶，他就准备打电话叫二人开始。
结果万万没想到，来了一群人在他的房间之外。
好像都在等他一样。
姬天明：？？？
“哎哟，你们干嘛~。”
姬天明此刻一脸无奈。
全来了。
这逼程序都没跑过三维Fno簇，肯定会不断报错然后修改。
这群人来不是看他的笑话？
看了眼两个叛徒，姬天明恶狠狠的瞪了他一眼。
“去我们剑桥那边的计算机实验室吧，你这笔记本等会跑崩了怎么办。”
姬天明翻了个白眼，道：“我先打个预防针，不可能一次性成功。”
众人激动的说道：“只要最后能够成功就行，做科研，哪有不试错的嘛。”
姬天明不得不感慨，不愧是他喵的剑桥，这些机房的电脑就离谱。
代码拷贝了一份过去之后，大屏幕开始缓缓的投影。
在场的人数已经越来越多。
本次BigProof计划的核心参与人全部到位。
一些数学家也闻讯赶来。
代数几何形式化？
听上去就很离谱。
沃沃斯基、黑尔斯、保尔森等人正在研究他之前的架构。
一边看，一边惊叹。
“不可思议，竟然是范畴论的构架，还分成了四个板块。”
“他这代数几何的结构谱系也涉及到了六层，层层相扣，没一点的多余地方，难怪他可以十天解决那么多问题。
他对代数几何的认识，不弱于某些剑桥数学系的教授。”
不少人带着一丝惊讶，剑桥大学数学系的教授？
那可是剑桥，不是什么野鸡大学的数学系教授。
没四大，也想评正教授？
只见他们几个好像没见过世面，哇哇说道：“实现基础也构建完毕，奇点边界遍历与层级归纳，他是怎么想到的？”
袁亚湘倒是看着熟悉，道：“那篇论文的工具有这种思想，本以为无法推广，没想到被用到了这里。
知识不同，但是框架有异曲同工之妙。”
众人这才想起他喵的这家伙之前研究的是数论。
在数论领域已经堪称是一个高手了。
