一桶布丁 作品
106 選擇
就好像要證明p=np那樣……
寧孑發現三月不斷更新的問題，一步步引導著他從點到面再到整體去思考這樣一個問題。
看似希望他能解決某一個或幾個問題，但寧孑總感覺當有一天他將整個框架完善，那些細節性的問題都將不再是問題，不管是p=np?又或者讓可控核聚變，甚至更難的問題。
但要做到這些，偏偏又太難了！寧孑本以為他的積累已經有質的突破，但今天發現他其實還在量的積累上……
意識到這一點，寧孑下意識的看向身邊的小貓。
然後便看到電腦上qq開始閃動。
這個企鵝集團的聊天工具，已經成了兩個不同思維模式的智慧生命之間最常用的溝通渠道。事實上在這個微信已經佔據主流的年代，也沒誰會利用qq跟寧孑交流了。
“喵，我又幫你找到了一位非常優秀的助手。他可以說是在這個蠢貨遍地的時代，頭腦還算機靈的傢伙了。”
寧孑看到助手兩個字，腦海中便出現了多米尼特·鄧肯的影子。
但沒等這個影子更具象，第二條消息又發了過來。
“喵，他叫科南·拉馬爾，西班牙裔美國數學跟計算機學家，2007年圖靈獎獲得者。但實際上我覺得他在數學上的成就要比計算機領域更大。因為他推進紐結代數和幾何不變量之間的關聯。大概因為這項成就是他帶領團隊通過計算機完成的，所以數學界暫時並沒有對其頒發出相應的獎項。”
“喵，除此之外，他甚至能看出湍流算法內的一點點東西，雖然不多，但能力已經很強大了。我覺得他應該來到我們體大，為體大的數學專業跟計算機專業貢獻他的學識。”
好吧，這隻貓又想挖人了。
寧孑其實很相信三月的挖人手段。
基本上應該沒有這隻貓挖不來的人。但他又不太放心三月的挖人手段，因為這隻貓是真的只管合不合法，絲毫不會顧及這些手段是否會有道德層面的困擾，偏偏這些會拷打寧孑最近一段時間剛軟化下來的內心。
三月大概是希望寧孑能成為一個心硬如鐵的男人，但可惜世事不如人願。
碳基作為生命有限的物種，跟可以擁有近乎無限生命的硅基智慧比起來，世界觀顯然無法達成統一。尤其是在經歷過身邊人生死的碳基生命，往往會對生命的意義有不同的頓悟。而硅基生命則無法感同身受。
就好像這隻貓雖然愛戴曾經的主人，但依然會忍不住吐槽曾經的主人。
比如在三月看來，人類個體在擁有漫長的生命之前，所有感情都是不必要的。只要群體能保持一定量的繁衍就夠了。嗯，所以繁衍就好好繁衍，扯什麼感情呢？
原因也挺簡單。
一旦將時間拉長到數萬甚至數十萬年的尺度上，人類個體的一生太過短暫，短暫到愛恨都來不及發酵生命便沒了。這就好像人類看飛蛾的愛情，破繭之後大概也就一、兩天的壽命，還談什麼感情？老老實實幹活才是正經的。
如果可以選擇，三月大概絕對不會介意讓寧孑先將所有的精力投入到擁有無限的生命中去。
畢竟按照寧氏理論的推導，機械智能生命體必然是孤獨的。因為同一個世界不會允許出現兩個真正的人工智能思維，除非它們之間永不進行數據層的交換，否則會在進行數據交換的那一瞬間被同化。被同化後的內核規範所束縛。
生命形式的不同決定了思維模式的不同，同樣決定了世界觀不可能統一。
具體體現便是短暫的爭論。
“所以你打算怎麼讓他來華夏呢？”
“喵，我決定先以你的名義給他發一個問題，邀請他來一起研究。如果他感興趣的話，肯定會接受邀請訂一張來華夏的機票。”
“那如果他對你給出的命題不感興趣呢？”
“喵，怎麼可能？我比科南·拉馬爾先生自己更懂他的興趣所在！”
顯然三月對於它的專業領域非常自信，畢竟是基於網絡大數據分析基礎上做出的完全理性的判斷，從某種程度上說三月的確可以做到比某個人更瞭解自己。
但話又說回來，人類的抉擇往往是感性跟理性雙重加持後的結果。起碼在寧孑看來，三月的自信有些莫名其妙。
“如果他婉拒了呢？”
“喵，如果一個命題不能完全吸引他，那就換其他命題。相信我，我們有近乎無限次機會來讓他心動，所以為什麼你會問如此奇怪的問題？”
寧孑無語。
是的，雖然說他對人類的感性認知有著信心，但是如果加上無限命題的誘惑這一前提，寧孑突然便沒那麼大的自信了。
就好像網絡上花錢買愛情的段子。
一千塊？滾！
一萬塊？你羞辱誰呢？
十萬塊？你這樣是不對的。
一百萬？請讓我考慮一下。
一千萬？一個億？
能堅持到最後的往往只有極少數的人……
“你已經對他發起攻勢了嗎？”
“喵，當然，我相信他對於人工智能的命題是非常感興趣的，與你共同探討人工智能數學理論的框架性問題，將會成為他畢生的追求。但實際上我覺得他其實更適合去主持機械神經系統方面的問題。他會是這個項目最優秀的主持者。當然，兩者其實並不算很矛盾。”
“所以他來了之後想離開時，就很難了，對吧？”
“喵，你怎麼會有這種想法？他當然只會心甘情願的留在華夏，併為華夏科技發展貢獻他那微薄的力量。要知道人類對於文化跟社會的認同感是一個潛移默化的建立過程。記得嗎？我知道他最喜歡什麼。你應該發自心底的為他感覺幸運。”
寧孑不想繼續跟三月爭論下去了，因為他知道爭不過的。
這甚至可以證明一個數學定理的方式來闡述，人類不能跟機器在邏輯層面講道理。因為它們的邏輯可以輕鬆形成閉環，且無懈可擊。最簡單的描述便是，它們能比最槓的槓精更能槓。
最重要的是，他餓了。
他打算出門放鬆一下，先去覓食，然後去打靶。讓自己好好放鬆一晚。
至於那位西班牙裔的美國專家，自求多福吧。
如果真的上套，就當為祖輩的侵略還賬了。
……
體大女生寢室。
路小雅終於不在那麼憤怒了。
經過跟網站客服親切且友好的溝通之後，涉及到可能侵犯她相關權益的視頻終於還是被下架了……
雖然這在室友看來挺可惜的，畢竟有一個網紅室友可是挺不錯的體驗。比如黃思琪還非常認真地建議小雅同學可以趁著這波熱度，在抖音上註冊賬號，發些舞蹈視頻的，說不定就火了呢。
但被路小雅同學堅決拒絕了。
她對當網紅沒興趣，更不喜歡自己被人當大熊貓一樣圍觀、討論。
用路小雅的話說便是，她既沒有國寶的命，也沒享受過國寶的待遇，自然不想跟國寶一樣成為網上熱議話題。
更別提這還是為了那位羅立新同學的生命安全考慮。
萬一那些視頻讓她親愛的老爹看到了，真打飛的來到體大，得把那貨給手撕兩次。
事情順利解決也讓路小雅心情大好。
在看到b站上的視頻下架後，便決定犒勞一下寢室裡三個圍著她嘰嘰喳喳出了一下午餿主意的小姐妹們。
是的，雖然路小雅長相很女人，但性格卻很大氣。大概是受寵溺她的老爹影響，平生最看不起那些心臟不大心眼不少的小女生。做事不扭捏，能自己幹，絕不求人。
用網上的話說，這女人，颯到起飛。
“好了，我決定請大家去鴻運天外烤鴨店去吃烤鴨了，快快快，去的報名。”
“不是吧，小雅，又吃烤鴨？真的會長胖，我最近都胖了三斤了。”
“那是因為你運動量不夠啊，我告訴你，只要你動得夠多，肥肉就永遠找不上你！我爸告訴我的，你看我，天天吃肉哪裡胖了？”路小雅拍了拍自己平坦的小肚子，說道。
“走啦，別抱怨了，小雅姐請客你還挑三揀四？”
“等等啊，我洗個臉，順便換套衣服。”
“嗯，那正好，我也化個妝。”
路小雅看著瞬間忙碌起來的三個室友，又是一陣氣悶，都囔道:“我說你們至於嘛？只是去吃頓烤鴨，又不是去相親？你們打扮給誰看啊？哪個習武之人像你們這麼麻煩。”
“哈哈，小雅，這你就不懂了，萬一去吃烤鴨的時候遇到如意郎君了呢？我們這叫時刻準備著。”
“呸呸呸！我跟你們說，最多半小時，不然我跟你們急。”
“足夠了，足夠了！”
……
說是半小時足夠了，但路小雅還是在等待了四十分鐘後，三個小姐妹才把自己收拾妥當。路小雅在心底為這三個還不知道在哪裡躲著的良人們默哀了三秒鐘。
按約會一次要浪費半小時等她們磨蹭來計算，隨便約會個一百次，五十個小時的寶貴時光便浪費掉了。
想想都覺得挺慘的，當男生果然挺不容易。
不過當走在體大的校園裡，路小雅的心情又飛揚起來。身邊沒了人天天嘮叨，還能夠把烤鴨吃到爽的生活終究是快樂的。更別提在大學裡的生活沒有任何壓力，錢不夠了只需要在微信上跟老爹撒個嬌，自然就能哄來一大筆零花錢，更是讓她對現在的生活非常滿意。
更別提身邊還有小姐妹們陪著，天天都熱熱鬧鬧的。
就在路小雅同學沉浸在體大那充斥著幸福的氣息中時，身邊的小姐妹突然用激動的語氣壓著聲音說道:“咦？你們看，那邊是不是數學系的那位大神？”
四道目光瞬間甩了過去……
寧孑在體大的影響力自然是不用說的。
畢竟是在新生大會上，以新生代表身份在主席臺旁發過言的人，在加上長相本就有特色，很容易便能認出來。
“還真是啊？這可就巧了吧？我們還是在校園裡第一次遇到這尊大神吧？”
“他這是要去哪啊？”
“這個點應該是去前面教工食堂吃自助餐吧？”
寧孑發現三月不斷更新的問題，一步步引導著他從點到面再到整體去思考這樣一個問題。
看似希望他能解決某一個或幾個問題，但寧孑總感覺當有一天他將整個框架完善，那些細節性的問題都將不再是問題，不管是p=np?又或者讓可控核聚變，甚至更難的問題。
但要做到這些，偏偏又太難了！寧孑本以為他的積累已經有質的突破，但今天發現他其實還在量的積累上……
意識到這一點，寧孑下意識的看向身邊的小貓。
然後便看到電腦上qq開始閃動。
這個企鵝集團的聊天工具，已經成了兩個不同思維模式的智慧生命之間最常用的溝通渠道。事實上在這個微信已經佔據主流的年代，也沒誰會利用qq跟寧孑交流了。
“喵，我又幫你找到了一位非常優秀的助手。他可以說是在這個蠢貨遍地的時代，頭腦還算機靈的傢伙了。”
寧孑看到助手兩個字，腦海中便出現了多米尼特·鄧肯的影子。
但沒等這個影子更具象，第二條消息又發了過來。
“喵，他叫科南·拉馬爾，西班牙裔美國數學跟計算機學家，2007年圖靈獎獲得者。但實際上我覺得他在數學上的成就要比計算機領域更大。因為他推進紐結代數和幾何不變量之間的關聯。大概因為這項成就是他帶領團隊通過計算機完成的，所以數學界暫時並沒有對其頒發出相應的獎項。”
“喵，除此之外，他甚至能看出湍流算法內的一點點東西，雖然不多，但能力已經很強大了。我覺得他應該來到我們體大，為體大的數學專業跟計算機專業貢獻他的學識。”
好吧，這隻貓又想挖人了。
寧孑其實很相信三月的挖人手段。
基本上應該沒有這隻貓挖不來的人。但他又不太放心三月的挖人手段，因為這隻貓是真的只管合不合法，絲毫不會顧及這些手段是否會有道德層面的困擾，偏偏這些會拷打寧孑最近一段時間剛軟化下來的內心。
三月大概是希望寧孑能成為一個心硬如鐵的男人，但可惜世事不如人願。
碳基作為生命有限的物種，跟可以擁有近乎無限生命的硅基智慧比起來，世界觀顯然無法達成統一。尤其是在經歷過身邊人生死的碳基生命，往往會對生命的意義有不同的頓悟。而硅基生命則無法感同身受。
就好像這隻貓雖然愛戴曾經的主人，但依然會忍不住吐槽曾經的主人。
比如在三月看來，人類個體在擁有漫長的生命之前，所有感情都是不必要的。只要群體能保持一定量的繁衍就夠了。嗯，所以繁衍就好好繁衍，扯什麼感情呢？
原因也挺簡單。
一旦將時間拉長到數萬甚至數十萬年的尺度上，人類個體的一生太過短暫，短暫到愛恨都來不及發酵生命便沒了。這就好像人類看飛蛾的愛情，破繭之後大概也就一、兩天的壽命，還談什麼感情？老老實實幹活才是正經的。
如果可以選擇，三月大概絕對不會介意讓寧孑先將所有的精力投入到擁有無限的生命中去。
畢竟按照寧氏理論的推導，機械智能生命體必然是孤獨的。因為同一個世界不會允許出現兩個真正的人工智能思維，除非它們之間永不進行數據層的交換，否則會在進行數據交換的那一瞬間被同化。被同化後的內核規範所束縛。
生命形式的不同決定了思維模式的不同，同樣決定了世界觀不可能統一。
具體體現便是短暫的爭論。
“所以你打算怎麼讓他來華夏呢？”
“喵，我決定先以你的名義給他發一個問題，邀請他來一起研究。如果他感興趣的話，肯定會接受邀請訂一張來華夏的機票。”
“那如果他對你給出的命題不感興趣呢？”
“喵，怎麼可能？我比科南·拉馬爾先生自己更懂他的興趣所在！”
顯然三月對於它的專業領域非常自信，畢竟是基於網絡大數據分析基礎上做出的完全理性的判斷，從某種程度上說三月的確可以做到比某個人更瞭解自己。
但話又說回來，人類的抉擇往往是感性跟理性雙重加持後的結果。起碼在寧孑看來，三月的自信有些莫名其妙。
“如果他婉拒了呢？”
“喵，如果一個命題不能完全吸引他，那就換其他命題。相信我，我們有近乎無限次機會來讓他心動，所以為什麼你會問如此奇怪的問題？”
寧孑無語。
是的，雖然說他對人類的感性認知有著信心，但是如果加上無限命題的誘惑這一前提，寧孑突然便沒那麼大的自信了。
就好像網絡上花錢買愛情的段子。
一千塊？滾！
一萬塊？你羞辱誰呢？
十萬塊？你這樣是不對的。
一百萬？請讓我考慮一下。
一千萬？一個億？
能堅持到最後的往往只有極少數的人……
“你已經對他發起攻勢了嗎？”
“喵，當然，我相信他對於人工智能的命題是非常感興趣的，與你共同探討人工智能數學理論的框架性問題，將會成為他畢生的追求。但實際上我覺得他其實更適合去主持機械神經系統方面的問題。他會是這個項目最優秀的主持者。當然，兩者其實並不算很矛盾。”
“所以他來了之後想離開時，就很難了，對吧？”
“喵，你怎麼會有這種想法？他當然只會心甘情願的留在華夏，併為華夏科技發展貢獻他那微薄的力量。要知道人類對於文化跟社會的認同感是一個潛移默化的建立過程。記得嗎？我知道他最喜歡什麼。你應該發自心底的為他感覺幸運。”
寧孑不想繼續跟三月爭論下去了，因為他知道爭不過的。
這甚至可以證明一個數學定理的方式來闡述，人類不能跟機器在邏輯層面講道理。因為它們的邏輯可以輕鬆形成閉環，且無懈可擊。最簡單的描述便是，它們能比最槓的槓精更能槓。
最重要的是，他餓了。
他打算出門放鬆一下，先去覓食，然後去打靶。讓自己好好放鬆一晚。
至於那位西班牙裔的美國專家，自求多福吧。
如果真的上套，就當為祖輩的侵略還賬了。
……
體大女生寢室。
路小雅終於不在那麼憤怒了。
經過跟網站客服親切且友好的溝通之後，涉及到可能侵犯她相關權益的視頻終於還是被下架了……
雖然這在室友看來挺可惜的，畢竟有一個網紅室友可是挺不錯的體驗。比如黃思琪還非常認真地建議小雅同學可以趁著這波熱度，在抖音上註冊賬號，發些舞蹈視頻的，說不定就火了呢。
但被路小雅同學堅決拒絕了。
她對當網紅沒興趣，更不喜歡自己被人當大熊貓一樣圍觀、討論。
用路小雅的話說便是，她既沒有國寶的命，也沒享受過國寶的待遇，自然不想跟國寶一樣成為網上熱議話題。
更別提這還是為了那位羅立新同學的生命安全考慮。
萬一那些視頻讓她親愛的老爹看到了，真打飛的來到體大，得把那貨給手撕兩次。
事情順利解決也讓路小雅心情大好。
在看到b站上的視頻下架後，便決定犒勞一下寢室裡三個圍著她嘰嘰喳喳出了一下午餿主意的小姐妹們。
是的，雖然路小雅長相很女人，但性格卻很大氣。大概是受寵溺她的老爹影響，平生最看不起那些心臟不大心眼不少的小女生。做事不扭捏，能自己幹，絕不求人。
用網上的話說，這女人，颯到起飛。
“好了，我決定請大家去鴻運天外烤鴨店去吃烤鴨了，快快快，去的報名。”
“不是吧，小雅，又吃烤鴨？真的會長胖，我最近都胖了三斤了。”
“那是因為你運動量不夠啊，我告訴你，只要你動得夠多，肥肉就永遠找不上你！我爸告訴我的，你看我，天天吃肉哪裡胖了？”路小雅拍了拍自己平坦的小肚子，說道。
“走啦，別抱怨了，小雅姐請客你還挑三揀四？”
“等等啊，我洗個臉，順便換套衣服。”
“嗯，那正好，我也化個妝。”
路小雅看著瞬間忙碌起來的三個室友，又是一陣氣悶，都囔道:“我說你們至於嘛？只是去吃頓烤鴨，又不是去相親？你們打扮給誰看啊？哪個習武之人像你們這麼麻煩。”
“哈哈，小雅，這你就不懂了，萬一去吃烤鴨的時候遇到如意郎君了呢？我們這叫時刻準備著。”
“呸呸呸！我跟你們說，最多半小時，不然我跟你們急。”
“足夠了，足夠了！”
……
說是半小時足夠了，但路小雅還是在等待了四十分鐘後，三個小姐妹才把自己收拾妥當。路小雅在心底為這三個還不知道在哪裡躲著的良人們默哀了三秒鐘。
按約會一次要浪費半小時等她們磨蹭來計算，隨便約會個一百次，五十個小時的寶貴時光便浪費掉了。
想想都覺得挺慘的，當男生果然挺不容易。
不過當走在體大的校園裡，路小雅的心情又飛揚起來。身邊沒了人天天嘮叨，還能夠把烤鴨吃到爽的生活終究是快樂的。更別提在大學裡的生活沒有任何壓力，錢不夠了只需要在微信上跟老爹撒個嬌，自然就能哄來一大筆零花錢，更是讓她對現在的生活非常滿意。
更別提身邊還有小姐妹們陪著，天天都熱熱鬧鬧的。
就在路小雅同學沉浸在體大那充斥著幸福的氣息中時，身邊的小姐妹突然用激動的語氣壓著聲音說道:“咦？你們看，那邊是不是數學系的那位大神？”
四道目光瞬間甩了過去……
寧孑在體大的影響力自然是不用說的。
畢竟是在新生大會上，以新生代表身份在主席臺旁發過言的人，在加上長相本就有特色，很容易便能認出來。
“還真是啊？這可就巧了吧？我們還是在校園裡第一次遇到這尊大神吧？”
“他這是要去哪啊？”
“這個點應該是去前面教工食堂吃自助餐吧？”