第97章 名动剑桥（二）
你要让他们知道，好的剑桥不比双非差！
【2017年6月11日，第51—60天。】
你很理智，也很聪明。
知道这种成果，要先找谁。
也需要一批顶尖的学者来一起研究。
仅靠你，还不够。
还需要一大批硕博当底层牛马来补全一些数学库。
你第一个找的就是袁亚湘。
他这些天难得回到剑桥大学怀念一下当年的博士生涯。
虽然看他们吵架无聊，但也知道这是博弈。
而且也有具体的推进与项目落地。
还得到了欧洲研究理事会的大额资助。
袁亚湘本以为你这段时间就在帮助比尔卡尔完善BB定理，开拓双有理几何这个数学
分支。
有可能再发一篇关于双有理几何的四大期刊。
没想到，你真的整出了一个大的。
他听完你的全部论述之后，觉得非同寻常。
首先就是代数几何很难形式化。
懂代数几何的不懂做证明助手，也不屑于去做这种活。
而做证明助手的人不懂前沿代数几何。
你恰好弥补了这个空白。
这一步虽然小，但是对于整个代数几何形式化却是一大步。
甚至对于未来数学的发展也是极大的一步。
袁亚湘认为你真的如劳伦斯·保尔森所说，在改变数学的研究生态。
袁亚湘第一时间就给丘成桐打了电话。
丘成桐得知之后第一时间联系了比尔卡尔。
比尔卡尔连夜带着人前来跟你研究。
当你笔记本跑了一遍之后，他们呆住了。
这一步看上去是小小的一步，也许在未来，对于数学的研究发展，就是大大的一步。
然后第一时间联系了劳伦斯·保尔森等人。
以及那位菲尔兹奖得主、克卜勒猜想形式化证明者黑尔斯。
这不仅是对于你来说很重要，这对于比尔卡尔来说也很重要。
因为这对于双有理几何这个分支来说，又多了一种研究对象。
他在数学界的地位会进一步提高，对于明年的菲奖来说会更稳。
劳伦斯·保尔森联系了一众剑桥大学计算机系的大佬，比尔卡尔联系了一群剑桥大学数学系的大佬。
菲尔兹奖得主沃沃斯基也联系了曾经的一批前苏联研究数学的工作者。
一时间，剑桥大学正在举办一场高规格的报告会。
独属于你的报告会。
这时候，克卜勒猜想形式化证明者黑尔斯找到你。
想要找你研究一下他的论文，看能否更为精简。
毕竟他的证明包含250页笔记和3GB的电脑程式、数据与结果，涉及求解约10万个线性规划问题，覆盖5000多种球体构型。
你想了很久，最终答应了。
你谨记老师说的，要把朋友搞得多多的，把敌人搞得少少的。
说不定哪天黑尔斯就对你有帮助。
而且黑尔斯这货的博士生导师可是罗伯特·费伦·朗兰兹。
朗兰兹纲领的提出者。
拒绝了他又有什么好处呢？
你在剑桥的专属报告会获得巨大的成功。
你确实来了一个大的！
你成功将高阶数学代数几何的基础数学库完善，并且发展了一项手段验证双有理几何之中的部分问题。
这项手段是开创性的手段，很有发展的潜力。
与之前开发的RR工具完全不一样。
这让剑桥大学数学系以及剑桥牛顿研究所不少数学家第一次真正的认识到了这次BigP
roof计划的重要性。
以及对未来数学发展的重要性。
菲尔兹奖得主沃沃斯基离开剑桥大学回到普林斯顿高等研究院的时候，给了你8篇关于计算机辅助数学证明的论文。
这些论文是他从2003年思考到现在的精华成果。
你得到了菲尔兹奖得主的终极传承！
他认为你有潜力带领数学走向一个新的方向！
