回到帝都，王一男的實驗室。

李文靜的表姐，叫做章子楓的，之前一直在颶風公司做，從前臺做到HR經理，再做到行政主管，聽說表妹出來創業，非把颶風的工作辭了，說那邊乾的不開心，以後就跟表妹你混了。

孫偉也把本來準備跟他一起去魔都的IC設計高手，馮祥給忽悠了過來。

容與科技總算是初具規模了，讓我們盤點一下容與科技的各路大神吧。

CEO王一男，年輕的天才科學家，精通凝聚態物理和軟體設計。

CTO李文靜，天才數學家。

CFO張琪，中年投資大叔，賭性十足又獨具慧眼。

理論部由李文靜負責，手下是來自科學院計算所的趙克勤。

軟體部由王一男親自負責，手下是李飛和趙天成。

硬體部由孫偉負責，手下目前就一個馮祥。

行政部和HR還有前臺，由李文靜的表姐章子楓負責。

這就是容與科技最早的9名員工。

王一男主持召開了容與科技第一次技術研討會，針對目前階段公司的核心任務，提升哥德爾系統的計算能力，開始了熱烈的討論。

李文靜首先提出了理論部的方案，這個方案涉及到哥德爾定理的某種變形，如果能在數學上突破某些理論限制的話，可以降低計算力的要求。

“大概能降低多少”，王一男問。

“保守估計20%吧”李文靜回答。

“那最樂觀的估計呢”

“應該能到50%”

“那這個方向放棄吧，價效比太低，花那麼大力量研究理論，最多，也就等價於提升一倍的計算能力。”王一男否決了李文靜提出的改進方向。

“理論組近期的工作任務，應該還是進一步完善現實系統形式化的理論工具，只有這樣，才能更快的將現實系統對映到虛擬空間中，更快的提升哥德爾系統解決現實問題的能力”

王一男說。

“嗯，這是一個非常好的思路，之前我們花了三天時間來形式化孫偉的論文，這方面如果能有突破的話，三個小時就可以搞定了”，李文靜同意王一男的說法。

“我來介紹一下軟體部的方案”，王一男說。

“經過我和李飛，趙天成的討論，也運用哥德爾系統對自身的執行環節進行了分析。我們發現目前在哥德爾系統執行過程中，主要的瓶頸還是在多維空間的搜尋和匹配，這方面佔了整個系統執行時間的90%以上，甚至對於一些複雜的系統，所佔執行時間達到了驚人的99%。”

“針對這種情況，我們對多維空間的搜尋和匹配進行了仔細的分析，理論上，這是一個NP完全問題，也就是很可能在多項式時間無法解決的問題，這種問題特別適用於大規模並行處理，傳統的CPU體系，在這上面的效率是很差的。”

“事實上，我們目前的哥德爾系統已經是第二代了，第一代主要運算是透過CPU進行的，效率很差，我們做過一次升級，使用GPU也就是顯示卡作為主要的計算單元，第二代系統比第一代系統計算能力提升了數十倍。”

“但是要想進一步提升，GPU的並行單元，還是太少”

“而且哥德爾系統有些特有的，複雜的演算法，即使使用GPU來計算，也還是非常低效”，王一男說。