八小時以後，睡了一覺精神抖擻的王一男把所有人都召集起來，準備開工了。

    當然116所的那幾個ada攻城獅望著王一男的目光，跟望著五行山底下的妖怪，那是完全沒有兩樣。

    行家一伸手，就知有沒有，之前他們對王一男這個boss，說實話是有點不怎麽服氣，整天在公司晃來晃去，吹牛打屁的，好像啥都不幹的樣子。理論方麵，李文靜是一個妖孽，連大佬們都服她，這個沒話說，但是王一男，哼哼，寫過ada麽，這可是軍標，軍標啊。

    貌似王一男連研究生都不是，就一個普普通通的本科畢業生，還是物理係的。你說你一物理係的本科，老老實實弄你的固體物理得了，跑到我們家自留地裏充大隻，幾個意思啊。

    他們仔細看了王一男三天的成果，有c++的代碼，也有ada的模塊。c++不說了，之前就知道王一男c/c++厲害，哥德爾係統大部分代碼都是他寫的。不過這麽兩天就能讓整個流程跑起來，很不容易，雖說王一男之前解說整個方案的時候，看起來很簡單。

    就是 ada 到 gcc 再到 dragonegg 最後是 llvm的 ir，但是每一步都有一些特別的地方，比如說116所使用的ada擴展啊，gcc的運行環境啊，dragonegg就更扯了，116所的攻城獅這兩天專門去看了這個項目，結果發現已經停滯兩年了！代碼庫裏麵最新的代碼居然編譯不過。

    原來發起的那幫人貌似都幹別的去了。。。

    王一男居然修改了所有的編譯錯誤不算，還補上了所缺少的所有模塊代碼，他修正的dragonegg版本支持了最新的gcc和llvm版本。

    原來以為這幾天王一男弄好這些已經很不容易了。

    打開ada的目錄，看到密密麻麻的doc和samples的時候，116所的攻城獅直接崩潰了。原來將飛控係統的ada程序編譯成llvm的ir代碼隻是熱身而已，王一男將整個飛控係統的框架全部搭建好了，輸入是飛行高度，速度等等飛行包線裏麵的各個點。形式化的是各個操縱麵的狀態，包括發動機的輸出範圍，輸出就是實際獲得的各種真實或者模擬數據。

    也就是說，王一男實際上已經完成了一個獨立的迭代係統，可以直接使用給哥德爾係統進行訓練！

    當然，這個係統跟實際的係統比較起來，做了大量的簡化，比如說，原來發動機的推力曲線是一個複雜分階段不規則的曲線，王一男直接用一個線性的輸出代替了。

    實際係統中雙垂尾是可以差動的，也就是各有自己的偏轉角度，為了簡化問題，王一男直接設定為隨動，也就是同步偏轉。

    不過用數學的術語來說，王一男的簡化係統和實際係統之間，是拓撲等價的，換句話來說，王一男已經完成了95%的工作，剩下的事情從時間上來說會耗費更多，但是從難度上來說，最困難的部分已經全部被王一男完成了。

    剩下的都是力氣活了。

    趙天成和李飛對於這個妖孽的老大已經習慣了，可116的那些攻城獅哪見過這個呀。厚厚的眼鏡片下麵，都是小星星，甚至還有一個哥們，拿著打印的幾頁程序，一定要王一男簽名。

    說是以程序下酒的話，這兩頁ada 代碼，至少要配兩瓶老茅才行。

    王一男很快就把剩下的工作分派下去，這回不用他再動手了，116所的攻城獅還有趙天成他們都搶著活幹，用趙天成的話來說，

    ”這回要是再讓老板出手，我們都可以一頭撞死了“

    很快，一周之後，所有需要補充和完善的代碼就完成了，王一男他們用比較典型的模擬數據進行了神經網絡的預學習，實際上就是相當於測試，找到代碼中隱藏的問題並改正。

    感謝dod（米國國防部）設計的ada語言在第一天就把穩定性放在最重要的位置，

    感謝llvm提供了如此優秀的基礎架構和ir，使得哥德爾能理解ada語言。實際上llvm我們每個人幾乎都會用到，因為水果機ios和macos都是利用llvm架構起來的。

    當然最感謝的還是王一男的天才架構能力，三天時間弄出來的牛x玩意。

    這麽龐大和複雜的係統，經過一周的迭代和回歸之後，居然修正了絕大多數嚴重的bug，剩下的，隻是一些格式錯誤和警告信息之類的bug，王一男決定無視。

    周末，最後一組測試用例順利運行完成。王一男在公司大聲宣布。

    ”一切就緒，哥德爾係統可以開始學習飛行了！”

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

    “下周一接著幹”

    王一男隨即給楊總師打了個電話，告訴他這個好消息，並問他數據什麽時候進場。

    116所所積累的型號飛行數據，以及模擬數據，那是機密中的機密，比黃金貴重多了，當然不能隨大部隊一起過來。

    楊總師說數據早就準備好了，就等王一男的通知呢，他馬上聯係空軍的專機，明天就親自護送過來。

    第二天下午，一架空軍的運輸機就空運了兩個集裝箱過來，裏麵全是磁盤陣列，錢中華安排了部隊護送到容與公司。

    周一，所有人都聚集在哥德爾係統前，兩個集裝箱的東西不能直接全部接進來啊，光耗電就不得了。這段時間116所也沒閑著，他們專門做了一種分組的存儲機櫃，每個機櫃都是一個獨立的存儲單元。

    通上電就能訪問，再通過光纖，就能輸入到哥德爾係統裏麵，這樣就可以每次接入一個機櫃的數據。

    王一男難得謙虛了一次，他對楊總師說，

    “我們前已經有了兩個係統，都有自己的小名，其中一個看病的叫哥大夫”

    “這個針對飛行器的人工智能，你也給它取個名字吧”

    楊總師想了一會，“叫哥鯤鵬吧”，

    “希望它能夠做到，怒而飛，其翼若垂天之雲“

    ”能幫助我們的型號戰機，守護華國的天空“

    ”好名字“，王一男由衷的讚歎了一句。

    他再次檢查了供電，冷卻，還有就是接入點的情況，然後對趙天成說，

    ”開始吧“

    在一片寂靜中，趙天成在終端上啟動了訓練腳本。不知道是不是錯覺，王一男感到嗡嗡的電流聲好像變大了一點，也變得歡快了一點。

    這次訓練程序，王一男他們做了一些改進，在一些關鍵節點上會輸出調試信息，這樣一是在訓練過程中出現問題可以隨時調整。

    二是可以大概估算訓練的進度。

    三十分鍾後，終端開始一行行的輸出各種信息，第一個迭代節點完成了，王一男走過去，檢查了一下輸出的信息，

    “嗯，一切正常”，他對楊總師說，

    “從目前的速度來看，完成全部樣本的訓練，大概需要兩周的時間”，

    “這麽久”，楊總師有點意外，”那訓練完成之後，得到對我們有幫助的缺陷還需要多久。“

    “根據我們以往的經驗，訓練時間和分析時間的比例大概是五比一”。王一男回答到。

    “也就是說，大概十六天到十七天的時候，我們可以獲得結果”，楊總師問到，

    “如果沒有什麽特殊情況發生的話，是這樣的”，王一男回答。

    “這段時間，你們派人在這裏盯著就行了，沒必要人都在這裏，我們這裏也隻需要一兩個人處理一些小的異常”

    “ok，我知道了”

    “另外數據訓練完之後，我會讓錢中華的人幫忙就地銷毀，家裏有備份，放在這裏雖然很安全，不過最安全的，還是銷毀了好。”楊總師安排到。

    “沒問題”，王一男封存了所有的終端，除了他自己以及緊急情況得到授權的趙天成以外，任何人不能接觸哥德爾係統。

    於是在這個沒人打攪的安靜環境中，哥德爾係統開始學習飛行。

    在哥德爾係統內部的信息空間中，沒有人能夠理解的結構在不斷的產生，進化和消亡。

    如果有更高維的智慧生命能夠看到哥德係統的意識世界，然後把它翻譯成人類能夠理解的畫麵，大概是這樣的。

    一開始啥都沒有，後來，神說要有重力，有空氣，就有了重力，有了空氣，有了阻力，也有了升力，

    再後來各種形狀的物體，在空氣中，在風中，在不同密度和和速度的氣流中飛行，有的升起，有的落下。

    再後來，如果有人能看到的話，就會驚奇的發現，各種人類曆史上出現過和沒有出現過的飛行器氣動布局，在哥德爾的意識世界中都出現了。

    兩翼麵、三翼麵、單垂直尾翼、雙垂直尾翼、後掠翼、甚至前掠翼、升力體，翼身融合。

    還有雙體，三體飛行器，還有環狀飛行器等等等等。

    利用116所提供的22t的數據，經過兩周的學習和進化，哥德爾學會了飛行。

    各種形狀，布局的飛行器，在哥德爾的操縱下，已經可以自如的在天空翱翔。

    訓練完成之後，就差最後一步了，那就是將最新版116所的飛行控製率軟件輸入到哥德爾係統中，然後進行模擬演算，尋找其中的缺陷。

    楊總師親自將裝有最新飛控軟件的硬盤帶到帝都。

    隨著時間的流逝，他所受到壓力也越來越大，連116所內部也出現了不少不同的聲音，自從上次會議開過之後，楊總師將所有的賭注全部都押給了王一男，飛控軟件連一行更新都沒做。

    116所內部就有人說這樣太冒險了，總要有備份方案雲雲，建議楊總師成立一個單獨的隊伍對飛控軟件進行改進。

    楊總師就一句話，反正半年後我就辭職了，你們愛咋整咋整，這段時間，就別添亂了。

    把硬盤交給王一男，楊總師說，

    “這可是我身家性命，半輩子的名聲啊”

    “哎呀，客官您盡管放心，我這店雖小，那也是四九城裏頭一份，您就等著好消息吧”

    王一男一把搶過硬盤，“小case啦”，隨手就連上哥德爾係統，啟動了腳本。

    大概三十分鍾後，改進後的係統顯示了預估的進度，387分。

    “好吧好吧，放假兩天”

    “都回去休息吧”，王一男說，

    “老楊，要不要我帶你在帝都玩兩天？”

    “不用了，我正好去部裏麵找幾個老朋友聊聊天，也得為萬一退休了提前做打算是不”

    “嘿嘿”，王一男訕笑了兩聲。

    “我現在隻關心你們今年飛控一半的經費是多少”