总的来说，陈子豪，还有齐峰和万新他们几个人王一男挑出来领头的家伙，还算是挺给力的，大卫小组在短短半年的时间里面，开发了三个版本的原型系统，对即时通讯软件该有的基本功能和架构也有了初步的认识。

    王一男跟陈子豪商量了一下之后，决定开始实际系统的开发，万丈高楼平地起，要想建立一个宏伟的大厦，打造可以媲美威信的App，一个先进、牢靠的基础平台是必不可少的。

    所幸有了哥德尔系统，强大的逻辑系统检测的能力，让哥德尔系统可以迅速找到任何形式系统的最微小缺陷，配合上Rust 语言强大的表达能力，大卫小组在经过几个版本的练手之后，开发速度和质量有了根本性提升。

    跟国内四十大盗或者鹅厂最牛X的团队比起来也丝毫不差，甚至从代码的质量来看，还远远超出，毕竟哥德尔系统检查过的嘛。

    建立实际系统的第一件事情，就是开发一个数据传输的基本底层结构了，可以支持一对一、一对多和多对多的数据传送，数据的类型是没有限制的，可以是文字、图片、声音和视频。

    长期来看，这样的数据传输基本结构可以建立在同温层徘徊者计划之上，提供延时最小、没有拥塞的理想网络，现在嘛，只好租用云服务商的基础线路了，好在对于负载不是特别大的情况下，性能的下降还是可以接受的。

    王一男忙着跟大卫团队落实底层开发的技术方案，以及云服务商选型的时候，东北重镇传来意料之外的好消息，新年过去没多久，某霍伊的中型隐身战机总算通过了地面测试和风洞测试，飞行控制率也基本完成，也就是说可以开始试飞了。

    这种出风头的事情，还是留给孙伟吧，王一男把露脸的机会让给了一直兢兢业业的孙伟，当然，他可不敢告诉某霍伊，使用神经网络编译技术，分分钟可以得到最佳的控制程序，甚至连116所都不能说，这玩意太惊世骇俗了，说实话，王一男自己也没想好该怎么弄，领先一步是大牛，领先得太多，会被人抓起来切片的。

    神经网络编译技术，随便用在视频压缩和解压缩上，就能在普通手机的硬件上，实现超过现有H265压缩方案的五倍效果，也就是说差不多是H264的十倍效果，这未免太吓人。

    “露脸还是需要露脸的”，王一男想，“不过现在还是太早，需要一个合适的时机”。

    春暖花开的时候，王一男跟周慧来到鹏城，在上次定制头戴设备的厂家，王一男看到了他们的第二代头戴设备，白色的长条更轻巧，压缩芯片已经集成在主摄像头上，纽扣电池也换成可充电的锂电池。

    王一男戴在头上试了试，“感觉很不错，非常轻巧，跟没戴东西差不多”，他满意的点了点头。

    在大学的时候，王一男还是蛮喜欢打篮球的，当然由于身高的缘故，在专业领域肯定没有发展前途。王一男个子不算高，也就175出头，跟那个地表最强的托马斯一样高，水平肯定就差老远了。

    王一男大学时候最大的梦想，其实不是成为一名科学家，或者成为诺贝尔奖获得者之类不靠谱的狂想，每次去食堂吃饭的时候，总会经过几块小小的篮球场，看着一帮高手霸场大杀四方，王一男总是在场边驻足半天，然后悻悻然的离开。

    “要是我能扣篮，这辈子就值了”，每到这个时候，王一男总这么想。

    为了这个梦想，王一男也付出了艰苦的努力，大学时候没少练负重深蹲，还有各种台阶蛙跳，据说当年乔丹就是用同样的秘诀，练出那惊人的飞人本事。

    也许是天赋不够吧，直到毕业，王一男也没有练出扣篮的本事，后来在地龙大队特训了一段时间之后，王一男觉得自己的身体素质又有了提升，还专门去篮球场比划了两次，确实，弹跳力的进步还是很明显的，现在拼了命能够到篮圈了，至于扣篮嘛，估计这辈子是没指望了。

    自己扣不了，那就看别人扣吧，所以每年NBA的全明星扣篮大赛，王一男是必定会在电视机前从头看到尾的，不过从去年开始，鹅厂把所有NBA比赛的转播权全部都买断了，连全明星大赛、全明星扣篮都不能幸免。

    “吃了么多，也不怕噎着”，王一男对鹅厂还是满心的怨念。

    王一男要想看，只有老老实实的打开鹅厂视频或者鹅厂体育啥的，再花钱买个VIP就能看了。

    “就不助长你们这种垄断的歪风邪气”，王一男恶狠狠的想着，他跟周慧从鹏城直接坐大巴来到港岛，提前跟大米国驻港岛领事预约好之后，王一男跟周慧来到领事馆办理了前往大米国的签证。

    所谓的签证难，那也得看人是不是，王一男要是有移民倾向，不要说拒签了，估计大米国都能包架专机把他弄走，当然专机能不能起飞，或者起飞了能不能到大米国，得看钱中华他们部门有没有在打盹了。

    “就不看你的鹅厂视频、鹅厂体育，你买了转播权，我去现场看总用不着经过你吧”，在飞往大米国的航班上，王一男得意的想。

    今年的全明星大赛在Big LA举行，紫金王朝统治NBA的时候，也正好是王一男大学里面对篮球有着最狂热的热爱时候，所以对于黑曼巴和大鲨鱼，王一男还是熟悉的不行。

    来到LA，怎么都要去拜访一下陶教授啊，王一男跟周慧来到UCLA陶教授家的时候，正是饭点。

    “我怎么感觉你这个时候来，就是冲着我媳妇的安南料理呢”，陶教授跟王一男也很熟悉了，他打趣到，

    “看破不说破嘛，你的修行显然还不够啊”，王一男很是无耻的说，

    “还是要祝贺你啊，那个G-W不可描述定理，再过几十年之后，人们很可能会发现，这篇论文称得上新世纪最大的数学发现”，

    “完全是格罗腾迪克教授的思想，我就是执笔而已，而且你们几位在讨论的时候其实也提供了很多思路”，王一男可不敢居功。

    “哪有那么简单，从论文里面我还是看出不少熟悉的东西，你也贡献了不少”，对于陶教授来说，只要看一遍论文，整个过程就像清晰的放在眼前一样，

    “不过说实在的，像格罗腾迪克教授那样的天才，真的是一百年都出不了一个”，陶教授难得对一个人有这样的感叹，

    “这话都是别人用来形容你的吧”，王一男在心里暗自吐槽。

    俩人天南地北的聊了一会，陶教授也给王一男介绍了他最新的研究成果，跟形式化系统还是有很大关系，看起来，王一男无意中也带歪了蓝星的科技树，利用各种数学分析工具对形式化系统和公理逻辑进行解构，变成最新的数学潮流。

    “这样下去，也许会更快的促进人工智能的发展”，王一男在心里想，至于是好还是坏，就不是他能够控制的了。

    美美的吃了顿安南料理，再喝点小酒，王一男才想起此行的正事，“对了，你认识NBA的人吗？”，王一男问，

    “哈哈哈、还真巧了”，陶教授笑了起来，“都说无事不登三宝殿，我就说今天怎么有空来看我”，

    “你别说，我还真认识一个超级明星”，陶教授说，

    “真的假的，你一个数学教授，怎么会认识NBA明星的”，王一男有点不太相信。

    “黑曼巴你知道吧”，陶教授说，“算不算超级明星”，

    “我靠”，王一男忍不住爆了粗口，“虽然他已经退役了，不过绝对还是超级中的超级明星啊”，

    “话说，你怎么会认识这样的明星”，王一男问，

    “说来也巧，前几年LA房产市场比较低迷的时候，有人介绍我投资一点房地产，当时正好有点闲钱，就在市场上看了看，正好，好莱坞边上的长滩，有一片别墅区，当时有一栋别墅急着转让，还不到一百万美刀，我就买了下来”，

    原来眼前这位，也是土豪一枚，话说大米国的教授，薪水都这么高的吗？

    “有时候周末我们会去那边住一住，结果有两次碰到黑曼巴在边上的小球场练球，一来二去，就认识了”，陶教授说，

    “你说巧不巧，黑曼巴正好是咱们的邻居”。

    “正好明天是周末，晚上你们也别找酒店了，咱们一起住过去吧，房子够大，我们两口子没人做伴，冷清的很”，陶教授说，

    “那还等什么，Go Go Go”，王一男乐了，这样看起来，“到了上帝的地盘，我的运气反而比国内要好得多”，

    “难道所谓的上帝之子，说的就是我嘛”，王一男美滋滋的想。

    于是稍加收拾之后，陶教授驱车带着自己的助理兼老婆，还有王一男和周慧来到位于长潭边上的别墅区。

    从UCLA前往LB的路程不算太远，但是有一段挺长的滨海公路，夜深时分，凉风习习，打开车窗闻着略带着点腥味的海风，再听着海浪拍打沙滩的声音，让人心旷神怡。

    “咱们也弄套海滨别墅住吧”，王一男，

    “你去哪我就去哪”，周慧“啪”的一把狗粮撒了过来，好在是在大米国撒的，应该影响不到咱们华国的读者。

    陶教授的别墅是一栋三层楼的白色房子，门口有一个很大的院子，当然，屋子后面有一个更大的院子，院子后面是一片草坪，还有小小的树林，树林边上是低矮的栅栏。

    “那边就是黑曼巴的球场了”，陶教授指着树林边上的栅栏说，王一男瞪大眼睛看过去，夜色太黑，隐隐约约的什么都看不到。

    “明天一定要早点起来”，

    王一男将闹钟定在七点，很快进入了梦乡。8)