寧為很快就發現,當人忙碌起來的時候,好奇心這種東西真的是可有可無的。
雖然當天晚上他在腦子里想過這位能通過鋼琴給魯師兄帶來靈感的鋼琴手是什么樣的,但第二天他就把這個問題拋諸腦后。
沒辦法,事情太多了。
先是在網上給三月訂了一臺工作站。
本著有錢了,硬件性能必須提上去的心態,寧為選擇了訂制版的至強平臺深度學習工作站,總花費359個W,是他這套房的三分之一加。
標配四塊至強7代CPU,七十二核,144線程,32個內存卡槽,寧為直接上了1TB的內存,占用了一半,如果以后感覺不夠,還能升級到2TB,五個專業圖卡接口,寧為選擇了四塊制圖專業卡跟一塊GPU超算卡;硬盤則是2TB,SSD跟28TB的STAT并行存儲。
在配上塔式機箱、1700W電源跟兩塊萬兆以太網卡,以及配套的高端冷卻液水冷系統。
另外還贈送一款塔式USP電源,平時穩壓,停電時能讓這臺電腦全功率運行的情況下,穩定供電6小時左右。
正兒八經的有錢任性。
為了給工作站一個更完美的工作環境,寧為還把書房的空調換了一臺全新,從之前的1匹升級到了2匹,制冷效果更強勁。
當然網上購物這種事情并沒有花費寧為太多時間,直接跟余興偉在微信上商量著來的,但因為不太缺錢,所以余興偉給的一些更合理且能節省的配置,寧為直接放棄。
畢竟是給三月安家,錢不錢的懶得考慮那么多,像極了老父親愿意為養在閨中的乖巧姑娘無私奉獻所有且不求回報,就是要把全世界最好的東西都塞給她的超然心態。
唯一讓寧為頗感郁悶的是,下單之后商家專門打來電話,熱情洋溢的告訴他,“爺,這套工作站要湊齊得先等上一個月,但您千萬別慌,我們將為您提供貴賓級服務,不但免費上門安裝調試且三年內出任何問題都將免費上門維護……”
果然,給三月安家要比給他自己安家麻煩的多。
當然在網上敲定這些東西并沒有什么難度。
真正讓他感覺壓力山大的還是正式開始研究他的最新課題——支持現階段大數據分析與挖掘的數理研究。
從無到有為現在的大數據分析跟挖掘指出一條路來,這難度想想都知道有多大,所以每天寧為大半時間都是在思考,從哪里開始構建這套數學理論。
表現形式就是看書,看論文,在紙上亂畫,偶爾會跟魯東義探討兩句。
這就已經很耗腦力了,然而讓寧為沒想到的是,他跟魯師兄這間陋室在院子里還很受歡迎,時不時的還會有人沖進來,打聲招呼就開始拋出問題開始討論,這其中以周師兄為代表,滿漢全席還沒請,但跑來拉著寧為探討課題的頻繁度卻排在第一位。
“小師弟,你在啊,太巧了,師兄今天又找到一個特別有意思的問題跟你探討,你肯定很有興趣,廣義旗流形的非零結構常數問!來來來,咱們來看這個例子……”
“不是,周師兄,你上次說要請我跟魯師兄吃滿漢全席的……”
“咱們數學人不要在意這些細節,滿漢全席的吸引力哪有解決問題的吸引力大?乖師弟,咱們先看看這個有趣的問題,有趣的問題解決了,無趣的滿漢全席自然來了。”
“不,周師兄,我肚子正好餓了,餓的時候思維不容易集中。”
“這樣啊,誒……你說巧不巧,我身上正好帶了塊巧克力,德芙的,名牌貨呢,來來,小師弟你先吃,我來把問題給補全了。”
寧為:“……”
被逼著咽下一塊巧克力后,花了半小時跟周師兄討論完這個問題,師兄滿意的拍拍屁股走了,走時還丟下一句話:“小師弟,下次我給你帶德芙的白巧克力,不但更是絲滑,味道也更好哦!”
目送著周師兄離開,寧為看向一邊淡定如常,拿著紙筆埋頭苦干的魯東義,說道:“師兄,咱們以后是不是應該把門鎖上?”
“哦,鎖唄。不過周師兄的體格你也看到了。這鎖對他來說也就是撞兩下的事情。而且換個門也花不了多少錢,周師兄掏得起。”魯東義平平淡淡的說道。
“我去?!咱們這堂堂燕北大學數學研究院里到底還有沒有天理了?!”寧為被魯東義的話震驚到了,義憤填膺的問道。
想當年在江大的時候,別說師兄了,就是教授們要他去探討問題,大都也是客客氣氣的守株待兔,這里的人咋都還主動出擊了呢?
魯東義終于抬頭瞥了寧為一眼,依然不緊不慢的說道:“這才到哪呢?現在還沒開學,等開學后你就知道了。不要想著搞數學的那些家伙們能多有禮貌。尤其是在大一過后,還能堅持在數學班呆著的那幫家伙們。畢竟對于應用層來說,公理化的抽象對以后的工作沒有任何意義,但在數學層面各種公理化的抽象那就是大家數學理想的私貨!”
“你也做這個應該懂,對于一幫每天活在各種數學公理抽象層面的人來說,你跟他們講天理,不如跟他們探討一些更具深度的問題,別被他們拉著鼻子走。比如非線性問題的一般結構和演變機理最簡模式這種。畢竟,純粹的數學家本質就是一群放著標準基不去用,一定要考慮用其他旋轉基來放大出錯概率的瘋子。”
“所以在這里你發現會有講不完的課,開不完的會,聽不完的講座,探討不完的問題!”
數學家都是瘋子?
聽了這個評判,寧為不知道魯師兄有沒有把自己摘除在外,但寧為是把自己摘除了,同時也若有所悟,問道:“所以魯師兄的意思是,如果想要震住他們,就得比他們更瘋?”
“不,我的意思是不如咱們來探討下我正在研究的這個非線性最簡化演變機理的一個問題……”
寧為:“誒,說到這個,師兄不如咱們先來研究一個我剛想到的問題。大數據現在面臨最重要的問題就是對于數域的需求已經遠遠超出了傳統R域中的純數,所以咱們如果要為大數據新建一套數學理論,是不是可以從這一塊開始?”
“比方說哈,我們先定義一個模糊數域N,其特征為NR*I{(R,I)},其中每個成員被表示為在[∞,∞]中
的一個變量和在(0,1]中的一個關聯的隸屬度,定義了這個二維結構的數域之后,我們再設超數H為N的最新和最一般化擴展……”
魯東義:“……”
這天以后,寧為學了一招,呵,不過是互相傷害嘛,誰怕誰啊?
于是每當周師兄或者其他師兄跑來的時候,寧為根本不會給他們提問的時間,總是能隨手從桌上抄起一張稿紙,然后一臉驚喜的看著對方說道:“哎呀,周師兄,可把你給盼來了,快快快,幫我看看這個問題。這可是我即將申報拔尖青年研究課題預研究碰到的問題,可有趣了。”
“您看啊,首先咱們把一系列模糊數據作為計算機大腦認知跟推理的基本對象,然后把這個層次結構中,數據、信息、知識和智能之間的關系用數學來表達為一個四元組從下至上分為數據(D)、信息(M)、知識(K)和智能(I),再設對象(O)、數據(D)、數量(Q)、信息(M)、語義(S)、概念(C)和行為(B),由此可以得到一個結構式……懂了吧?”
等到周師兄被徹底吸引住之后,在拋出自己沒想通的問題。
“現在預設問題您明白了哈。現在假如我們把數據對象O定義為一個有指定類T的變量v,v∈V⊂PV⊏U,其由類型約束μ(vT)限制以便將此一般類T通過子域裁剪T,并轉化為一個特定類問題:O≙這個時候問題來了,因為沒法證明通解的存在,所以在整個構建過程中可能產生無效數據會被反復篩檢,導致整個數據結構出現崩壞,這個問題您說咱們從哪入手解決比較好?”
“哎,魯師兄,幫我把門給鎖了,我跟你們說,今天兩位師兄不幫我把這個問題討論個123出來,誰都不許走!飯也都別吃了!真解決了,下次我請吃滿漢全席!你們隨便點那種!”
周研平:“……”
就這樣,一周時間轉瞬即過。
寧為也徹底適應了在北大數院的生活,簡單而充實,樸實卻有趣。
研究自己的命題順便跟師兄們斗智斗勇,也可以快樂如神仙,魯師兄還給他介紹兩位燕北大學統計科學中心的教授,有問題時還能直接視頻交流,是的,一周時間,寧為已經被他的師兄們帶偏了,都快忘了什么叫“打攪”什么叫“客氣”。
還有一點寧為也被帶偏了。
那就是時不時的也想去那棟二層樓外的草坪上去聽為兩個人彈奏的音樂會。
比如那晚過后的第三天,就是寧為拉著魯東義過去聽的,第五天則是魯東義拉著寧為去聽的,第六天兩人對視了一眼,就一起跑去聽了。
沒去的兩天,一天是因為兩人都沒在辦公室里呆到那么晚;還有一天兩人都在沉浸在各自的課題中,完全忘了這事。
其實這個習慣沒什么不好的,也不能算耽誤時間,畢竟久坐可不是健康的生活方式。腦袋用了一天,一起走出院子散步十五分鐘到草坪,然后做一次免費的精神SPA,等到教室里關了燈,兩人再花十五分鐘散步回去,既鍛煉了身體,又能讓大腦得到充分的休息。
但這天晚上,坐在草坪上的寧為膨脹的好奇心終于壓抑不住了。
“師兄啊,你有沒有想過一件事,我們已經習慣了經常來聽這人彈鋼琴,如果有一天這人離開學校,再也不來了,咱們怎么辦?”寧為問道。
“那就來這兒聽收音機唄。反正這里也不會打攪到別人。”魯東義如是道。
“師兄啊,我拜托你像個正常人一點行不行?等會我們去看看到底是誰在彈琴好不好?說不定還能認識一下,成了朋友想聽的時候不是隨時能讓她彈給我們聽?”寧為埋怨道。
“看來你現在還真是暴富思維模式啊。”魯東義感嘆了句。
寧為看著魯東義,一臉問號。
“為了喝個牛奶就想到要開個牧場,這不就是典型的暴富思維模式么?”
“這能一樣嗎?算了,不說了,反正我今天一定要看看那人到底是誰,魯師兄你就說配不配合我吧。”
“嗯……”
魯東義想了想,然后說道“要我也可以,但下周我有問題跟你探討,別拿你那套東西來敷衍我。”
“成交!”寧為毫不猶豫道。
不算什么大事兒,相對于周師兄的蠻橫,魯師兄甚至可以用善良來形容。
“那行吧,你要我怎么配合你?”
“等會這樣,你看啊,等會教室熄燈后,鎖門加走下樓的時間足夠我們走到那邊的大路上。然后我們算好時間,假裝路過正好碰到,如果是個男的,咱們就直接上去聊,如果是個女的,你就假裝去問路……”
“等等,你讓我在燕北大學找人問路?”魯東義打斷了寧為的話。
“不然呢?”
“你覺得我去問合適嗎?”魯東義再次認真的問道。
寧為想了想,好像的確不太合適……
“但我著實沒什么跟異性打交道的經驗……”寧為有些困擾。
“那你猜我有沒有這方面經驗?”魯東義繼續反問道。
寧為想了想跟魯東義認識至今的點點滴滴,又看了看一本正經的師兄,然后嘆了口氣道:“那算了,還是我去吧……”
“嗯?哈哈,師兄,不要計較那些細節。”
很快,音樂聲停了下來,二樓教室的燈了熄了,兩個人也繞到了樓前,走在了正對著二層出口大門的大路上。
兩個數學天才將時間把握的很穩定,當兩人轉過頭重新向回走,距離二層樓大概還剩三十米時,一個身影出現在二層樓的大門處,然后轉身,關門,鎖門。
寧為深吸了口氣,沖著身邊的魯東義說道:“師兄,你就在此地,不要走動,不過是買幾個橘子的事兒而已!”
“嗯?”