第46章 巨腦

  半夜了，咖啡廳的人都走了，咖啡廳老板沒有關門，還留了燈，四個人還在看著機器的運行，大家相互之間沒說話。


  安靜了很久，夏商卜又問了吳俊：“你的自動證明機沒有過問題嗎？”


  吳俊說：“運行以來沒有出過問題。或許是因為這個數學命題太難了。”


  夏商卜說：“你不能簡單一點嗎？就說命題是正確的還是錯誤的。”


  吳俊說：“它現在就是在運算這個。”


  祖文遠說：“或許這是一個看似簡單但極難證明的東西，哥德巴赫猜想聽起來不是很簡單嗎？沒有人能證明出來呢。”


  夏商卜說：“那倒也是。”


  祖文遠說：“就擔心會出現既不可證明又不可證否的情況。”


  吳俊說：“如果時間太長的話，就改進一下參數也行。”


  突然叮的一聲，機器計算完畢，大家一看自然蟲操作係統確實會出現網絡冗餘。


  但是難題還是出現了，究竟是什麽樣的冗餘，吳俊心想，如果按照這種速度來算，那證明過程就更加複雜了，也更不容易看懂，也難以在短時間內解釋其中原因了。


  吳俊說：“如果證明自動機3.0研製成功，就可以看出是什麽樣的數學模型能夠對網絡冗餘造成影響了。”


  夏商卜說：“離自動證明機3.0研發成功還有多久？”


  吳俊說：“這是一個可以反應數學模塊的機器，我們需要把各種公理化數學都用邏輯表示出來。這本身就有很多的難度。”


  夏商卜說：“做這些需要一定的數學知識，還有熟練的掌握邏輯數學的能力。你們都有誰在做研究？”


  吳俊說：“我們成立的自動證明機小組，我、祖文遠、王園三個人在做這個工作。”


  夏商卜說：“這就是王園挑頭的嗎？”


  吳俊說：“沒錯。”


  夏商卜說：“我聽說過他的事跡，他自己為了實現自己的理想，就自己挑頭單幹，十分的勇敢，很多老教授都笑話他是個不穩重的人，但是他成功了。”


  華羅說：“那我們可以嚐試聯係一下他，看看他能不能提供幫助。”


  第二天，華羅、吳俊、祖文遠和夏商卜四個人趕到了王園的磁力學實驗室，王園熱烈的歡迎了四個人，還帶著四個人興奮的參觀自己的磁控製工廠。


  華羅看到很多各種裝置都可以使用遙控技術讓各種東西在空中做各種複雜的移動。看到每一個飛行的物體上都綁著電線圈。


  華羅問王園：“每一個飛行的東西都需要綁上這些線圈嗎？”


  王園說：“那是肯定的，線圈導電，產生磁力，我們就是使用磁力來控製這些的。這是電磁研究裏的一項新研究，是磁體控製能力。這個能力一開始是可以使用電磁裝置對鐵這種可以攜帶磁體的物體進行控製，可以隔空的將帶磁體的東西用磁力抬起來，而且可以移動方位，還能夠將帶磁體進行各種方位的移動，轉動。之後將精度提高，可以完成高難度的複雜動作。”


  華羅說：“這些線圈太多，有些影響美觀。”


  王園說：“之後我們會漸漸的減少了控製裝置，使用很少的電磁裝置就可以控製帶磁體，後來變成了可以遠程的控製帶磁體，再變成可以遠程精確控製帶磁體。”


  華羅說：“不用線圈可以完成嗎？”


  王園說：“雖然可以，但是需要特殊材料才可以。需要對任何一個物體進行磁化，然後對這個物體進行控製的，隻是這物體無法向鐵一類的物質那樣好控製而已。常溫超導體材料的研究也很重要。”


  王園繼續說：“不僅僅能夠可以控製物體的精確移動，而且還可以控製磁體的變形，一些特定的變形十分重要。可以對液體進行磁化，進而控製它們的移動，和精確的變形。可以得到任何一種精確的液體。對控製體進行優化布陣後，可以得到任何一種形狀的液體出現，比如，用水做成無外在載體望遠鏡，或者是顯微鏡，那種強度可以隨意調控，遠遠超過了傳統的玻璃片的聚光強度。我們現在開始跟天文台合作做水控製光學望遠鏡。”


  華羅說：“讓水變成超導體這樣，很難吧！超導體都是低溫的。”


  王園說：“需要讓水變成特殊結晶狀態，盡量不讓水因為低溫不規則結晶影響透視效果。然後對控製體優化後盡量減少控製體對其他外界因素的影響，沒有了多餘的副作用，因為如果控製體磁力太強的話會影響其他帶磁物質，比如銀行卡的磁會受到這個控製體的影響。”


  華羅說：“這裏難度最高的是什麽？”


  王園說：“有材料上的，有納米加工上的，但更重要的是數學上的，需要一個有經驗的優化的構架去計算如何省去空間，還能省很多電。這是一個十分耗電的工程，懸浮物耗的是電池。很多人都笑話我這種技術還不如螺旋翼驅動起飛呢，我反倒笑他們沒有空氣的時候怎麽在太空起飛。”


  華羅說：“這個大小有限製嗎？”


  王園說：“最大的如果不缺電力的話，是沒有上限的。最小的磁控能力已經可以用在微觀的納米階段，功能超出人類的想象，可以輕鬆製作納米材料，比起傳統的工藝強大很多。磁控能力已經變得數據智能化，可以完成人類對它規定的任何任務，許多複雜的，危險的事情都可以依靠隔空的能力精確完成。”


  夏商卜說：“怪不得這種強大的技術已經被大會議認可，被吸收進入巨腦係統中。”


  吳俊說：“自動證明機3.0已經研製成功了嗎？”


  王園說：“說起這個來，我倒是停工很久了，因為遇到了麻煩。”


  吳俊說：“諸多不同領域數學公理化研究不是建立起來了嗎？”


  王園說：“如果說多項式計算，概率論，隨機數理論，幾何學，代數學，數值計算，群論這些還好。就是這裏麵出現了一些可以相連的跨學科理論，這個比較麻煩，典型的比如就是橢圓曲線與模形式這種東西，雖然有千絲萬縷的聯係，但是深入研究卻讓我越來越糊塗，甚至連根基都找不到。”


  吳俊說：“那就把複雜的理論去掉，用我們現有的擅長的理論去製造就可以了。”


  王園笑著說：“怎麽突然關心起這個了？你遇到問題了？”