欧美这种竞争在暗地里其实也挺激烈的。
姬天明不要钱，不是看不上也不是装逼。
而是拿了这个钱，未来说出去，就是给剑桥打工了。
名声不好。
不要钱，这份奠基性工作顶多说是在剑桥完成的。
并不是剑桥的。
奠基性与开创性成果是他姬天明，不是剑桥。
这很重要。
给了钱，那就是剑桥的了。
而且还能够把别人的精华学走，未来只要不是基础学科也来个制裁，他们所有人都可以用。
基础学科也没法制裁。
工科也许不会让你读，数学这种理科随便读，前提是你得有实力考上。
很快，姬天明在剑桥大学计算机系多了一个头衔：
基础数学形式化验证首席架构师！
一时间，姬天明名动剑桥。
十八岁、本科生、东大来的、国际工业与应用数学联合会主席学生、十天解决十个双有理几何前沿问题等名号不断传出。
菲尔兹奖得主沃沃斯基得不到的男人，鲍尔森求贤若渴的男人。
基础数学形式化验证首席架构师！
这些名号在剑桥大学计算机系甚至数学系流传。
名动一时！
唯一可惜的是，在数学系的知名度远不如计算机系。
毕竟数学系的系主任可没来。
物理系的系主任也没来。
他们更认可纯数领域的工作与成果。
散会之后，黑尔斯找到姬天明。
“你是说简化你那克卜勒猜想的形式化证明？”
“也重新搭建一个离散几何的底层库？”
姬天明听完他的话，脸上带着一丝古怪神色。
当初模拟的时候，这家伙好像也来找他。
“你这个问题很难办的啊。”
黑尔斯：？
“加钱？”
姬天明：？
“我是那种人？你下次再说这种事情，不要来找我！
我姬天明就不能为爱发电？看不起谁呢？
不要用钱这种东西来侮辱我！”
“我能为形式化数学工作为爱发电，就不能为纯数工作为爱发电？”
“我姬天明一点都不爱钱！”
畜生东西！
姬天明内心暗骂，心在滴血，今天他又拒绝了一百五十万的offer。
名声虽然好，但是踏马的费钱啊。
姬天明擡脚就准备走。
“别走，我不是那个意思，我就觉得免费麻烦你不好。”
黑尔斯一脸不好意思，他的克卜勒猜想证明过程远不如维亚佐夫斯卡。
人家在8维和24维只用22页就解决了问题。
他三维的虽然复杂很多，可200多页论文，3G的代码，十万个线性规划，5000多种球体局部构型，说出去太难听了。
姬天明这几天也初步看了看他的证明，缓缓开口道：“除非是更换你的底层思路，从其余领域找到方向，否则没法优化。”
黑尔斯愣了一下：“维亚佐夫斯卡的方法不适合三维的克卜勒猜想。”
姬天明也没思路，几百年的古老猜想，他用黄金模拟来解决估计差不多。
可姬天明舍不得。
他想要用在四维光滑庞加莱猜想或者其余的大猜想。
他缓缓道：“这个问题搁置吧，先完善目前手中的项目。”
但想着来都来了，不解决个惊天动地的大猜想再走，岂不是很无趣？
先回去反复研究一下三维克卜勒猜想。
前人的工作都做了那么多，在他们的基础上进行改进，然后给出一份优美的数学证明，刚好可以为这次的剑桥之行画下一个完美的句号。
黑尔斯还想要说什么，最后叹了一口气。
摇了摇头离开，这些日子多学学姬天明的思维吧。
