第4章 證明無誤，人在監獄dCLK()
林培元的秘書叫楊木，收到林培元消息的時候，他正在整理會議紀要，看清消息內容，瞬間傻眼。
寄信人的情況？
林培元看過的信，只要沒有特意說要留下來，楊木一般是直接粉碎，然後扔垃圾桶的。
之前那一堆信，早就已經被楊木粉碎，並且丟進了垃圾桶。
「卧槽！」
楊木一聲尖叫，衝出了辦公室，閃電般的沖向垃圾桶。
不大的垃圾桶，空空如也，已經被保潔阿姨勤勞的換好了垃圾袋。
楊木瞬間要吐血，找到了負責院長辦公室保潔的阿姨，問過之後，更加吐血，垃圾已經被丟到了垃圾集中站。
而等楊木來到垃圾集中站的時候，大大小小几百包，一模一樣用黑色膠袋裝的垃圾堆積在一起。
楊木感覺自己要瘋了，這麼多垃圾，怎麼找？
不過林培元都已經發話了，必須要找到寄信人的信息和內容，而林培元的指示，就是最高指示。
深吸一口氣，忍着刺鼻的惡臭，楊木撲進了垃圾堆，開始翻找垃圾。
這一翻，就翻到了中午。
研究所的不少人，吃完午飯在院子裏遛彎的時候，驚悚的發現，堂堂院長大秘書，竟然在垃圾堆里翻垃圾。
「我去，楊秘書你這幹嘛呢。」
有人詫異的問道。
楊木身上髒兮兮的，整個人一副快要虛脫的表情，喃喃道：「找東西。」
那人暗道丟了什麼樣的東西，竟然讓楊木親自來翻垃圾桶。
這裏是絕密的空氣動力研究所，重要的研究資料，一般都是專人處理，粉碎並且焚燒，連焚燒后的灰燼都要處理掉。
而眼前這邊丟棄的，都是普通的生活垃圾。
所以這人實在想不出，到底是什麼樣的東西，會讓楊木不惜這樣來尋找。
「那您怎麼不多找幾個人，一起找啊？」
楊木愣了愣，恍然大悟，是啊，自己傻了，一個人翻到猴年馬月啊，而且幹嘛要自己親自下手找，讓人來找不就行了。
「你，閑着沒事是吧，過來，幫我一起找。」楊木手一指說話之人，直接下令道。
這人眼前一黑，瞬間有一種想扇自己兩巴掌的衝動，讓你嘴欠。
不過堂堂院長秘書都發話了，這人哪裏敢拒絕，只能苦着臉上前，在垃圾中翻找起來。
「你先找著，我去叫人。」
楊木一轉身，跑了個沒影兒。
很快，研究所的十幾個保安，還有幾個辦公室的後勤，全被楊木抓了壯丁，拉過來翻垃圾。
人多力量大，沒過多久，便找到了楊木要找的垃圾。
倒出來，看着揉成一團的碎紙條，楊木忍不住打了個寒顫。
「看我幹什麼，拼。」
楊木喝道。
好在這封信從美國寄過來，用的信封不太一樣，倒是很容易分辨。
沒多久的功夫，楊木便把信封恢復過來，也看到了寄信人的信息。
一個地址，然後就沒了。
楊木忙把地址記下，上手機搜了一下地圖，有這個地址。
確認無誤，楊木把地址的情況發給了林培元。
不過林培元並沒有回消息。
此時，超算中心，林培元和盧廣達等人，正緊張的等待着超算的驗證結果。
周揚給出的NS方程證明過程，是寫明的證明的過程，給出了通解，但是這個通解是真正的通解，還是普遍的特解，就需要用超算來驗證。
相當於知道了答案，然後利用超算，一次次的套進去，去解決不同情況下的NS方程。
整個過程，計算內容巨多，所需的算力也是無比驚人。
好在盧廣達停下了所有的運算項目，動用這台一秒鐘接近十億億次每秒運算能力的超算進行驗算，整體過程還是很快的。.
「林院長，要不我在這裏守着，您去休息一下？」盧廣達道。
林培元卻搖頭，道：「休息？這種大事，我怎麼能休息，你應該知道，解決了NS方程代表了什麼，他會從根本上改變整個流體力學，還有方方面面的研究，這種情況下，我怎麼能走。」
NS方程，可以說是純粹的數學問題，但數學，卻是眾多科學的基礎，解決NS方程，不僅僅是解決了一個數學難題，而是給眾多科學研究，提供了有力的理論支持。
比如說空氣動力學，戰鬥機如何設計，導彈如何機動變向，衛星如何升空，這些，都離不開對空氣動力學，對流體的研究。
任何科技應用的突破，都離不開理論的突破，而理論的突破，又都是以數學開始。
所以解決NS方程，對於研究空氣動力學的林培元而言，意義不是一般的重大。
這種時刻，哪怕是死，林培元也要等在這裏，見證最終結果的誕生。
盧廣達張張嘴，也沒再勸說。
而這一等，就足足等了一天。
全算力支持下，超算的驗證過程還是很快的。
伴隨着程序跑完的提示，林培元蹭的一下就站了起來，急忙問道：「結果怎麼樣，證明了嗎？」
研究員直接調出運算結果。
林培元也懂，只看了一眼，瞬間愣在原地。
而在場眾人，也全都看傻了眼。
「卧槽，真的證明了！」
半晌，不知是誰，最先喊了一聲，而且直接爆了粗口。
沒人說他的不是，而且這一刻，在場眾人全都有一種爆粗口的衝動。
不爆粗口，都無法宣洩此刻內心的激動。
NS方程，千禧難題，竟然在他們眼前被證明了。
這個消息若是公開，能夠震動整個世界！
「林院長，是真的，是真的！」盧廣達激動的好像是自己證明了NS方程一樣。
林培元狠狠揮舞了一下拳頭，激動流於言表。
好一會兒，林培元才冷靜下來，道：「那接下來，最關鍵的就是誰，證明了NS方程。」
盧廣達用力點點頭。
如今用超算已經驗證過，證明過程沒問題，那最重要的問題就是誰證明的，從M國寄來的信，如果是外國人證明的，那他們就白歡喜一場了。
當然，理論推進，是整個科學界的好事，可誰不想這份能夠載入歷史的榮譽，屬於自己國家的人。
「我看看。」
林培元摸出手機，楊木這邊，應該已經調查好了寄信人的情況。
手機上有很多信息，林培元點開，看了幾眼，瞬間愣住。
「人在監獄，怎麼會！」
林培元瞬間獃滯。