八小时以后，睡了一觉精神抖擞的王一男把所有人都召集起来，准备开工了。

    当然116所的那几个ada攻城狮望着王一男的目光，跟望着五行山底下的妖怪，那是完全没有两样。

    行家一伸手，就知有没有，之前他们对王一男这个boss，说实话是有点不怎么服气，整天在公司晃来晃去，吹牛打屁的，好像啥都不干的样子。理论方面，李文静是一个妖孽，连大佬们都服她，这个没话说，但是王一男，哼哼，写过ada么，这可是军标，军标啊。

    貌似王一男连研究生都不是，就一个普普通通的本科毕业生，还是物理系的。你说你一物理系的本科，老老实实弄你的固体物理得了，跑到我们家自留地里充大只，几个意思啊。

    他们仔细看了王一男三天的成果，有的ir，但是每一步都有一些特别的地方，比如说116所使用的ada扩展啊，g版本。

    原来以为这几天王一男弄好这些已经很不容易了。

    打开ada的目录，看到密密麻麻的do提供了如此优秀的基础架构和ir，使得哥德尔能理解ada语言。实际上llvm我们每个人几乎都会用到，因为水果机ios和macos都是利用llvm架构起来的。

    当然最感谢的还是王一男的天才架构能力，三天时间弄出来的牛x玩意。

    这么庞大和复杂的系统，经过一周的迭代和回归之后，居然修正了绝大多数严重的bug，剩下的，只是一些格式错误和警告信息之类的bug，王一男决定无视。

    周末，最后一组测试用例顺利运行完成。王一男在公司大声宣布。

    ”一切就绪，哥德尔系统可以开始学习飞行了！”

    “明天放假，大家该玩玩，该睡睡”，

    “下周一接着干”

    王一男随即给杨总师打了个电话，告诉他这个好消息，并问他数据什么时候进场。

    116所所积累的型号飞行数据，以及模拟数据，那是机密中的机密，比黄金贵重多了，当然不能随大部队一起过来。

    杨总师说数据早就准备好了，就等王一男的通知呢，他马上联系空军的专机，明天就亲自护送过来。

    第二天下午，一架空军的运输机就空运了两个集装箱过来，里面全是磁盘阵列，钱中华安排了部队护送到容与公司。

    周一，所有人都聚集在哥德尔系统前，两个集装箱的东西不能直接全部接进来啊，光耗电就不得了。这段时间116所也没闲着，他们专门做了一种分组的存储机柜，每个机柜都是一个独立的存储单元。

    通上电就能访问，再通过光纤，就能输入到哥德尔系统里面，这样就可以每次接入一个机柜的数据。

    王一男难得谦虚了一次，他对杨总师说，

    “我们前已经有了两个系统，都有自己的小名，其中一个看病的叫哥大夫”

    “这个针对飞行器的人工智能，你也给它取个名字吧”

    杨总师想了一会，“叫哥鲲鹏吧”，

    “希望它能够做到，怒而飞，其翼若垂天之云“

    ”能帮助我们的型号战机，守护华国的天空“

    ”好名字“，王一男由衷的赞叹了一句。

    他再次检查了供电，冷却，还有就是接入点的情况，然后对赵天成说，

    ”开始吧“

    在一片寂静中，赵天成在终端上启动了训练脚本。不知道是不是错觉，王一男感到嗡嗡的电流声好像变大了一点，也变得欢快了一点。

    这次训练程序，王一男他们做了一些改进，在一些关键节点上会输出调试信息，这样一是在训练过程中出现问题可以随时调整。

    二是可以大概估算训

『加入书签，方便阅读』