第二十八章 腦洞大開
字數:7255 加入書籤
王一男敲了敲白板,“昨兒個大夥都喝的不少,今天我們就開一個不嚴肅的會議”,王一男在白板上寫下了三行字:
1 哥德爾提升
2 超導理論研究
3 哥德爾應用
“這是目前我們最核心的三項工作”,王一男說。
”第一項,哥德爾係統的改進已經到了一個新的攻堅階段,這個方向太專業,所以我們找時間專門討論,相關的人員參加就行“
”第二項,超導理論的研究,這個專業性更強了,主要是我們幾個物理數學方麵的人個人研究為主,大家碰一碰思路就行“
”第三項,就是我們今天開這個務虛會的目的,大家開開腦洞,充分發散思維,看看目前的哥德爾係統能夠應用在哪些方麵,可以給公司帶來穩定的收入來源,或者一兩筆巨額的收入也行。
“當然,這些應用一定要吸取之前孫曉姿在胡椒直播引起的教訓”
“動靜太大不行,一定要靜悄悄的掙錢”
下麵立刻想起了熱烈的討論聲,說實話,看到這麽逆天的哥德爾,參會的人,誰沒有用來yy過自己利用哥德爾大殺四方呢。
孫曉姿舉起手來,“能不能用來打王者啊,專業代打,最快速度上白金”,
”下一個“,王一男華麗的無視了小女孩的幻想。
張琪舉起了手,“戰隊免談哈”,王一男說。
“用來分析天使投資的風險怎麽樣,隻要提升一倍的成功率,那回報可是杠杠的”
“形式化太難,而且見效太慢了”,李文靜直接就潑了冷水。
趙天成舉起手,“你來”,王一男說。
“有沒有可能把整個程序設計語言形式化,然後利用哥德爾找到大型程序裏麵的所有的缺陷啊”
“這倒是個不錯的方向,對特定程序設計語言的形式化倒不是很難”
“我們可以發現整個pc操作係統或者手機操作係統的缺陷啊”
”從理論上,這可是個巨大的進步哦“
似乎這個主意不錯,軟件部和硬件部的幾位立刻陷入熱烈的討論中。
敲了敲白板,王一男給他們潑冷水。
“你們考慮過計算量沒有?”
“以現代程序設計語言的表達能力,一個一百行的小程序,足以實現非常複雜的功能了”
“哥德爾應用的一個最基本原則,是要形式化一個盡可能受限製的領域”
“這樣才有可能在足夠短的時間內,得到有價值的結果”
“先不說你們形式化程序設計語言的時間,何況還有形式化pc和手機操作係統的時間”
“這些都不算”,“數千萬行的操作係統,你們想讓哥德爾係統找出缺陷”
“我估計到地球毀滅的那天都沒辦法計算完成”
“童鞋們,這是一個高階形式化體係,還是清醒一點,不去碰的好”
李文靜舉起手,王一男點了點她,”文靜說說吧“
”我覺得醫學是一個很有價值的方向,沒有什麽比生命更值錢的了“
”嗯,不錯,醫學值得花大力氣“,張琪首先讚成。
”你看,有錢人都怕死“,王一男嘲笑了一下張琪。
王一男轉身在白板上寫下醫學兩個字,
“好了,現在問題來了,我們選擇中醫還是西醫呢”
“中醫吧,中醫簡單一點,四大經典醫書,常用藥物什麽的,形式化很容易”
“還是西醫吧,中醫純粹就是經驗為主,是不是科學都還兩說呢,怎麽形式化,而且形式化的正確性怎麽保證,我是一丁點把握都沒有。”
“中醫,中醫講究的是把人體當成一個整體,所以如果我們忽略人體的複雜結構,把他(她)當成黑箱來處理的話,是有可能得到哥德爾可以理解的形式係統的”
“西醫,西醫更接近科學,而且西醫的領域劃分非常細,我們可以專注在其中一個領域,這樣的限定領域,對於哥德爾發揮自己的特點,是很有好處的。”
涉及到具體的方向,跟整個社會一樣,對中醫和西醫的爭論立刻就開始了。
讓他們爭辯下去,估計一整天時間都不會有一個結果的。王一男隻得出來和稀泥。
“我們先放下路線的選擇,如果哥德爾針對中醫進行形式化的話,應該是將病人作為一個黑箱對吧”,
“然後是中醫的經典理論是一個基礎輸入,中醫診斷利用的症狀是另一個輸入,我們暫時不考慮針灸和中醫物理療法,那些更沒譜了,隻考慮藥物,中醫的藥物作為第三個輸入”
“然後治療的最後的效果就是這個黑箱的輸出”,
“這樣簡化,理論上是可以將中醫理論形式化的”
“不過需要海量的病例,也就是足夠的訓練樣本,用於訓練哥德爾係統的神經網絡”
王一男的分析很到位,大夥同意將這個技術方向,作為哥德爾的一個備選方向。
”如果西醫的話,沒辦法這麽簡單的將病人作為黑箱處理了“,王一男說,
”西醫的領域實在太細,太專業,這既是好事,問題領域的限定,有助於哥德爾解決問題。同時也是壞事,我們在形式化問題的時候,難度將直線上升。“
”大概來看,診斷就算了,這個範圍太大,也有太多經驗的成分,我光想想就覺得一頭霧水“
”藥物應該是一個方向,特別一些新概念的藥物,比如說針對特定靶點的藥物“
”但是藥物的研究是超級花錢和花時間的事情,我們獨立做不現實,哥德爾可以起到輔助作用“
孫偉舉手補充到,”醫學我略有涉及,之前fpga芯片也有醫療上的應用“
”我覺得醫療設備也是一個不錯的方向“
”嗯“,”很好“,王一男說,”我再補充一下,我們可以定位在輔助性質的,或者診斷性質的醫療設備上,這樣麵臨的風險和相關認證的壓力會小很多“
王一男在黑板上寫下三行字:
中醫,人體黑盒
西醫,藥物輔助研究
西醫,診斷,輔助設備
”醫學方麵的腦洞先告一段落“,王一男說,我們繼續看看其他方向。
”剛才張琪說的,投資方向都是有點意思,不過用來提升天使投資的成功率,這個是自找麻煩“
”股票市場和期貨市場,可以考慮涉足一下,特別是米國或者太陽國的,去弄一票,完全沒有心理負擔啊“
趙天成舉起了手,”你說“,王一男點了點頭。
”我之前曾經專門研究過股票,也自己用神經網絡模擬過股票市場的運行,我覺得用哥德爾係統來對目前流行的幾個模型進行分析和改進,還是很有機會提高預測的準確率“
”好的,股票“,王一男在白板上繼續往下寫,
“股票”
李文靜舉手發言,
”我覺得,我們應該想一想,什麽東西對效率的依賴特別高,哥德爾係統對於提升效率,應該是最擅長的“
”電池效率“,張琪立刻想起了自己的modelx,
”電動車對電池的依賴太高了,而電池效率即使隻提升一點點,都是巨大的進步,有著可怕的經濟效益“
“發動機的效率”,孫偉平時比較喜歡玩汽車,
“我們用哥德爾調整ecu,一定比最有經驗的工程師還要牛”
錢中華一直沒說話,聽到這裏,他漸漸的有點回過味來了。
畢竟也是專業從事反商業間諜工作的人,而且對現代科技,錢中華也是相當熟悉,之前不說話,是因為對哥德爾係統不夠了解。
”我提個問題“,錢中華舉起手來。
”你說吧“,王一男說。
“從前麵你們說的東西看起來,我是不是可以這樣理解“,
”隻要在一個不是那麽複雜的特定領域,如果規則相對固定,或者理論相對比較簡單,使用哥德爾係統,就可以得到最好的結果?“,錢中華說。
”大概的意思你沒有理解錯“,王一男回答。
”更準確的是,如果一個限定的係統,能夠用文靜的理論對係統本身,需要解決的問題,以及對問題的解決方案這三個部分進行足夠準確的形式化“,
”那麽,哥德爾係統可以得到比現有最佳的解決方案更好的方案“
”具體的提升幅度,受各種因素的製約,是不確定的“
”我靠“,錢中華有點蒙圈了。
”真這麽牛x?“
”就是這麽牛x“,王一男也有點蒙圈了,
“你丫當初根本不知道哥德爾係統這麽牛x,就上杆子給我們送錢了?”
錢中華有點不好意思,”一時衝動,一時衝動“
”後來回去還後悔了好幾天呢“
。。。王一男也是醉了。
”也就是說,理論上我們可以改進飛行器的氣動外形?“,錢中華問到。
”是的,空氣動力學是比較成熟的科學,形式化的難度不算太大“
”或者潛艇的外形?“
”這個,跟飛行器的情況很近似“
”材料呢,你知道我們發動機的材料不過關“
”這個有難度,你知道,材料科學更多的是經驗科學,需要有大量的實驗作為支撐,對這樣的領域進行形式化,難度非常大,而且效果不一定好。“
”我明白了,也就是說,包含的因素越少,越接近基礎理論的方案,哥德爾係統發揮的作用就越大“
”完全正確,老錢啊,我覺得你不來搞科研真是太浪費了“
”怎麽樣,別在你們那裏浪費生命了,來我這裏,一起探索宇宙的奧秘吧“
”滾犢子“
”王一男同誌“,錢中華大聲說。
”還有在座的各位,我鄭重的請求大家,不要對外透露今天會議的一切內容,我會申請提升你們公司的保密級別“
“你們繼續討論,但是我剛才說的你們就當沒聽見”
說完,錢中華把王一男叫到一邊。
“我馬上要去總參謀部,總裝備部,找相關的專家討論剛才的那些問題”
“放心,不會白讓你們幹活的,隻要哥德爾表現好,經費你們就不用擔心了”
說完,錢中華匆匆離開了容與公司。
王一男轉身在白板上寫下:
“提升電池效率”
“提升燃油效率”
“我們繼續,軍事方麵就不要開腦洞了”
“讓我們再看看,還有什麽方麵,有大企業願意出大錢的。”