0多萬行，經過幾輪精簡，如今變成了105萬行。“ai_0”的核心程式碼、外核程式碼以及它們的形式驗證工作，都已經接近尾聲。
林寒現在基本可以確認，這部驚世駭俗的作品，再過不久就要完成了……
幾個小時之後，林寒放下手中的工作，在座位上倚了片刻，隨即離開書房。
剛邁出書房沒幾步，就見羅萱端著一盤魚從廚房出來，她將魚放在桌上，一邊說道：“都‘閉關’快兩個星期了，你可總算出來了……吶，過來嚐嚐新菜。”
林寒湊過去，看著盤中長相奇特、他從未見過的魚，一邊坐下來，一邊不由問道：“這是什麼？”
“大奧頓星的一種海魚。”羅萱夾了塊魚肉送到他嘴邊。
希望號上除了船員、裝置，自然還攜帶著大量的資訊，其中就包括奧頓雙星各種生物的dna資訊。
根據這些dna資訊，永珍實驗室已經“造”出多種來自奧頓雙星的生物，這種海魚自是其中之一。
林寒嚐了幾口，羅萱便迫不及待地問：“怎麼樣？”
“不錯。”林寒連連點頭。
儘管他的味覺系統已經異於常人，甚至異於絕大多數生物，很少有食物能給他帶來“美味”的體驗，但不得不說，這條外星魚的味道確實很不錯。
作為一種食物，它在林寒心中已經超過豬肉曾經的地位。
“你那個人工智慧弄得怎麼樣了？”兩人吃著飯，羅萱問道。
“已經完成大約80％了，估計也就這幾個月的事，最多不超過一年。”說著，林寒話鋒一轉，“對了，我還沒給它正式命名，要不你起一個？”
“我起？”羅萱一怔，“那，你覺得起個什麼風格的名字會比較合適？”
“好聽的就行。”
“嗯……矩陣怎麼樣？”羅萱託著下巴思考了一會。
“不好。”林寒幾乎沒有多考慮。
“天網呢？”
“……”
“或者奧創？”
“怎麼全是反派ai角色，隨便起一個就行啊，不一定要有什麼特殊含義。”