学霸人生模拟系统 第104章
此刻系统冰冷的声音在姬天明耳中响起。
【模拟启动】
【模拟时长：350天】
【模拟基准：有系统之后的模拟】
【推演开始】
熟悉的光影流转过后，第三人称视角的画面徐徐铺开，好像是亲身经历，又好像放映的幻灯片。
总之，让姬天明觉得好像真的经历过系统放出的那些文字述说。
这还是继之前六年模拟之后，最长的一次模拟。
【2017年8月1日，第1—3个月】
你第一时间明确了第一个季度需要做的事情是什么。
完善范畴迁移框架，以及后续的叠代，适配更多的Fno簇的例子。
以及开始第一个克卜勒猜想证明思路。
前面的工作你做起来得心应手，等到史浩铭、谢斐然等人上手的时候，你手里的活就更轻松了。
九月初，沃沃斯基延迟一个月之后，病情急转直下，直接回到了普林斯顿。
走之前，反复挂机形式化证明，以及coq。
到九月末的时候，一个噩耗传来，沃沃斯基因为动脉瘤，最终逝世于普林斯顿高等研究院。
普林斯顿高等研究院为他举行了4天的追悼会。
你也从剑桥回国了。
听闻这一消息，你感恩其手稿与在剑桥交流的几个月友情。
你亲自去了一趟普林斯顿高等研究院。
遗憾的是，你不仅没在剑桥大学彻底改进克卜勒猜想。
也没能够守住他的团队。
在他追悼日结束之后，微软的Ien首席科学家、巴西的那位计算机科学家莱昂纳多·德·莫拉带着微软的资金。
前来挖人。
高额的工资与福利待遇，彻底挖走了沃沃斯基的团队。
他留下的一切学术遗产全部被微软打包带走。
你可以预见，Ien这门工具，未来怕是要成为数学界的主流了。
甚至于鲍尔森都不是他的对手。
微软这种全球顶级资本舍得砸钱，不是一群没钱搞纯数的数学家可以抵抗的。
也就在九月，舒尔茨发布了他的一篇顶级论文，引爆了局部朗兰兹纲领研究。
你得知很羡慕，毕竟你研究的克卜勒猜想进度太慢了。
但做出来，同样惊天动地，毕竟，跨越了数论、几何分析、代数几何与离散几何四个领域的东西。
它搭建起四个学科的桥梁。
回国之后，你开始带着之前的几人完善CLoF，并且取名姬氏助手。
但是因为经费缘故，大型伺服器没有，最后袁亚湘与丘成桐的动用他们的资源才得以解决。
而克卜勒猜想的证明你依旧进度缓慢。
你不仅是阅读了维亚佐夫斯卡以及在黑尔斯之前的工作。
甚至读了米尔诺的各种书籍。
