第106章 要不要這麼離譜
第106章 要不要這麼離譜
杭城高鐵站。
李東剛走出高鐵站，就看到出站口外的孫翔正衝著他招手。
「李東！這邊！」
孫翔自從辭去了江城六中的教職，來到浙大生科院張民方教授手下做科研助理後，整個人的精神面貌都不一樣了。
「孫老師。」李東笑著走上前打招呼。
孫翔上前給了他一個大大的擁抱。
「好小子，真有你的！全省理科狀元，還順利進了燕大元培！當初在六中我就知道，你這小子絕非池中之物！」
兩人寒暄了幾句，孫翔也沒再廢話，直接拉著李東上了一輛網約車，直奔浙大生命科學學院。
一路上，孫翔也給李東說著課題的最新進度。
「現在的情況電話里也和你說了。」
「T1代種子現在經過催芽，已經長成了成株，正處於最關鍵的花期————
李東在旁邊默默的記著。
很快網約車就到了浙大————
生科院三樓的植物遺傳與分子育種實驗室，李東換上白大褂，跟著孫翔來到了恆溫培養室。
一排排組培架上，高山柳菊已經開出了淡黃色的花朵。
「接下來就是純粹的手工活兒了，咱們要完成兩組核心驗證。」
「一是對這些T1代突變株進行去雄和人工授粉，確認它們徹底喪失孤雌生殖能力、
必須受精才能結實。」
「二是完整統計這批T1代植株的性狀分離數據，驗證預期結果。」
孫翔遞給李東一套尖頭鑷子。
李東接過鑷子，看著眼前這片淡黃色的花海，忽然想起了什麼，轉頭看向孫翔。
「對了，孫老師，咱們在這批高山柳菊里揪出來的那個調控無融合生殖的關鍵同源基因，在寫論文前，是不是得先定個官方命名？」
孫翔笑了笑。
「這基因是你查文獻定位、親手提質粒敲除的，命名權當然歸你。」
李東在腦子裡過了一遍學界的物種分類與命名規則。
「荷蘭團隊之前在藥用毛山柳菊（Pilosellaofficinarum）里克隆出的孤雌生殖基因，被命名為PpPAR。」
李東思索著說道。
「咱們用的是孟德爾當年的實驗材料，高山柳菊（Hieraciumprealtum），在分類學上屬於真山柳菊屬。」
「為了保持基因家族命名的一致性，同時體現跨屬的物種差異，咱們就叫它—
HpPAR（Hieracium prealtum Parthenogenesis gene）吧。」
孫翔眼睛一亮，覺得這個名字是真不錯。
「HpPAR？好名字！既嚴謹又致敬了前沿研究。」
「定了名字就行了。」孫翔戴上手套。
「趕緊幹活吧！只要咱們親手證實敲除了HpPAR基因後，這些高山柳菊恢復了有性生殖，子代能完美重現孟德爾的3：1分離比————這篇論文一旦發出去，整個遺傳學界都得震一震。」
李東點點頭，深吸了一口氣，【生命解析】在他背後浮現出了一個穿著修士服的虛影。
他拿起鑷子，探向了那一枚花葯。
與此同時，京都，燕大35棟男寢，404室。
「媽的，今天又沒搶到前排！」
王浩一把推開寢室門，把手裡的書往桌上一扔，直接開始罵娘跟在後面的劉強和陳楠也是一臉憤憤不平的跟著抱怨。
「這群人我懷疑他們是體育特招進來的，跑的是真快。」
今天他們上的還是劉若傳教授的《數學分析》。
畢竟昨天被劉教授畫的數學藍圖給砸暈了，全班人的積極性空前高漲。
雖然今天的課講的只是基礎的分析部分，劉教授依舊引經據典講得極為精彩可是昨天那種數學大一統的震撼，還是讓他們這群天之驕子念念不忘。
「你們說，黎曼猜想到底是會被證明還是會被證偽呀？」
陳楠問道。
——
王浩像看傻子一樣看了他一眼「咱們搞數學的，現在基本都是默認它是定理在用了好嗎？」
「很多重大的數論推論都是建立在黎曼猜想成立的前提下的，你說呢？」
「哎，說到黎曼猜想————
劉強突然插話，然後看向了李東床鋪下方。
「東哥這台電腦，跑那個驗證黎曼Zeta函數非平凡零點的程序，已經連續跑了兩天兩夜了吧？」
王浩也湊了過去。
「是啊，不過說實話，驗證非平凡零點這活兒，發展到現在早就不是單純的數學推導了，還要優化算法。」
逼王王浩上線科普。
「我之前專門查過這方面的資料。」
「目前國際上公認的計算記錄，是法國數學家XavierGourdon在2004年創下的。」
「人家當時可是動用了分布式的超級計算機集群，把最頂級的0S算法優化到了極致，沒日沒夜的跑了好幾個月，才將非平凡零點驗證到了恐怖的十萬億級別。」
他指了指李東的電腦。
「東哥這台移動工作站，i9的標壓U加上大內存，在個人PC里確實是頂配。」
「但在當年的超算集群面前，硬體算力也差了兩個數量級。」
「跑了兩天兩夜，按照常規算法的物理算力極限，能跑到幾百億級別已經是C++底層內存管理寫得出神入化了。」
陳楠聽完，好奇心被徹底勾了起來。
「你們說，東哥這程序現在到底跑到什麼數字了？」
「反正只是看看屏幕，動一下滑鼠喚醒一下而已，又不會打斷程序的運行，看看唄。
劉強咽了口唾沫，大著膽子伸出手，輕輕晃動了一下李東的滑鼠。
原本漆黑的屏幕緩緩亮起。
黑色的控制台窗口裡，一行行綠色的數字，正穩定的向下滾動。
三人立刻將腦袋湊了過去，看向了屏幕最下方那行實時刷新的統計數據：
【VerifiedZeros：168，451，239，840...】
【Verified Zeros：168，451，245，112...】
這一刻寢室變得無比的安靜。
「個、十、百、千、萬————十萬、百萬、千萬、億————十億、百億、千億————」
劉強和陳楠念道。
「—千————一千六百八十多億？」
「1.6乘10的11次方？」
「耗子，東哥這個算怎麼樣？」
王浩剛才還從容的笑容已經僵住了。
「還————還好吧————」
他沒敢確認，畢竟這有點太過誇張了。
他現在第一個想法就是，李東應該不是全量驗算的。
劉強和陳楠不懂，可是他是知道一些呀。
「要是這個是全量驗算的話————」
他開始快速換算著速率與硬體差距，只是越換算越覺得自己的世界觀快崩塌了————
要知道，那些超算的算力，可是以TFLOPS（每秒萬億次浮點運算）甚至PFLOPS為單位來發力的！
人家傾盡全力跑幾個月，才幹到十萬億！
雖然對比李東跑的絕對值更大————
可是李東用的是一台家用的移動工作站啊！
而且只用了兩天兩夜，單機就完成了一千六百多億個零點的全量驗證？
要是也跑幾個月，那不是直接就追平了？
也許還能超過？
>
杭城高鐵站。
李東剛走出高鐵站，就看到出站口外的孫翔正衝著他招手。
「李東！這邊！」
孫翔自從辭去了江城六中的教職，來到浙大生科院張民方教授手下做科研助理後，整個人的精神面貌都不一樣了。
「孫老師。」李東笑著走上前打招呼。
孫翔上前給了他一個大大的擁抱。
「好小子，真有你的！全省理科狀元，還順利進了燕大元培！當初在六中我就知道，你這小子絕非池中之物！」
兩人寒暄了幾句，孫翔也沒再廢話，直接拉著李東上了一輛網約車，直奔浙大生命科學學院。
一路上，孫翔也給李東說著課題的最新進度。
「現在的情況電話里也和你說了。」
「T1代種子現在經過催芽，已經長成了成株，正處於最關鍵的花期————
李東在旁邊默默的記著。
很快網約車就到了浙大————
生科院三樓的植物遺傳與分子育種實驗室，李東換上白大褂，跟著孫翔來到了恆溫培養室。
一排排組培架上，高山柳菊已經開出了淡黃色的花朵。
「接下來就是純粹的手工活兒了，咱們要完成兩組核心驗證。」
「一是對這些T1代突變株進行去雄和人工授粉，確認它們徹底喪失孤雌生殖能力、
必須受精才能結實。」
「二是完整統計這批T1代植株的性狀分離數據，驗證預期結果。」
孫翔遞給李東一套尖頭鑷子。
李東接過鑷子，看著眼前這片淡黃色的花海，忽然想起了什麼，轉頭看向孫翔。
「對了，孫老師，咱們在這批高山柳菊里揪出來的那個調控無融合生殖的關鍵同源基因，在寫論文前，是不是得先定個官方命名？」
孫翔笑了笑。
「這基因是你查文獻定位、親手提質粒敲除的，命名權當然歸你。」
李東在腦子裡過了一遍學界的物種分類與命名規則。
「荷蘭團隊之前在藥用毛山柳菊（Pilosellaofficinarum）里克隆出的孤雌生殖基因，被命名為PpPAR。」
李東思索著說道。
「咱們用的是孟德爾當年的實驗材料，高山柳菊（Hieraciumprealtum），在分類學上屬於真山柳菊屬。」
「為了保持基因家族命名的一致性，同時體現跨屬的物種差異，咱們就叫它—
HpPAR（Hieracium prealtum Parthenogenesis gene）吧。」
孫翔眼睛一亮，覺得這個名字是真不錯。
「HpPAR？好名字！既嚴謹又致敬了前沿研究。」
「定了名字就行了。」孫翔戴上手套。
「趕緊幹活吧！只要咱們親手證實敲除了HpPAR基因後，這些高山柳菊恢復了有性生殖，子代能完美重現孟德爾的3：1分離比————這篇論文一旦發出去，整個遺傳學界都得震一震。」
李東點點頭，深吸了一口氣，【生命解析】在他背後浮現出了一個穿著修士服的虛影。
他拿起鑷子，探向了那一枚花葯。
與此同時，京都，燕大35棟男寢，404室。
「媽的，今天又沒搶到前排！」
王浩一把推開寢室門，把手裡的書往桌上一扔，直接開始罵娘跟在後面的劉強和陳楠也是一臉憤憤不平的跟著抱怨。
「這群人我懷疑他們是體育特招進來的，跑的是真快。」
今天他們上的還是劉若傳教授的《數學分析》。
畢竟昨天被劉教授畫的數學藍圖給砸暈了，全班人的積極性空前高漲。
雖然今天的課講的只是基礎的分析部分，劉教授依舊引經據典講得極為精彩可是昨天那種數學大一統的震撼，還是讓他們這群天之驕子念念不忘。
「你們說，黎曼猜想到底是會被證明還是會被證偽呀？」
陳楠問道。
——
王浩像看傻子一樣看了他一眼「咱們搞數學的，現在基本都是默認它是定理在用了好嗎？」
「很多重大的數論推論都是建立在黎曼猜想成立的前提下的，你說呢？」
「哎，說到黎曼猜想————
劉強突然插話，然後看向了李東床鋪下方。
「東哥這台電腦，跑那個驗證黎曼Zeta函數非平凡零點的程序，已經連續跑了兩天兩夜了吧？」
王浩也湊了過去。
「是啊，不過說實話，驗證非平凡零點這活兒，發展到現在早就不是單純的數學推導了，還要優化算法。」
逼王王浩上線科普。
「我之前專門查過這方面的資料。」
「目前國際上公認的計算記錄，是法國數學家XavierGourdon在2004年創下的。」
「人家當時可是動用了分布式的超級計算機集群，把最頂級的0S算法優化到了極致，沒日沒夜的跑了好幾個月，才將非平凡零點驗證到了恐怖的十萬億級別。」
他指了指李東的電腦。
「東哥這台移動工作站，i9的標壓U加上大內存，在個人PC里確實是頂配。」
「但在當年的超算集群面前，硬體算力也差了兩個數量級。」
「跑了兩天兩夜，按照常規算法的物理算力極限，能跑到幾百億級別已經是C++底層內存管理寫得出神入化了。」
陳楠聽完，好奇心被徹底勾了起來。
「你們說，東哥這程序現在到底跑到什麼數字了？」
「反正只是看看屏幕，動一下滑鼠喚醒一下而已，又不會打斷程序的運行，看看唄。
劉強咽了口唾沫，大著膽子伸出手，輕輕晃動了一下李東的滑鼠。
原本漆黑的屏幕緩緩亮起。
黑色的控制台窗口裡，一行行綠色的數字，正穩定的向下滾動。
三人立刻將腦袋湊了過去，看向了屏幕最下方那行實時刷新的統計數據：
【VerifiedZeros：168，451，239，840...】
【Verified Zeros：168，451，245，112...】
這一刻寢室變得無比的安靜。
「個、十、百、千、萬————十萬、百萬、千萬、億————十億、百億、千億————」
劉強和陳楠念道。
「—千————一千六百八十多億？」
「1.6乘10的11次方？」
「耗子，東哥這個算怎麼樣？」
王浩剛才還從容的笑容已經僵住了。
「還————還好吧————」
他沒敢確認，畢竟這有點太過誇張了。
他現在第一個想法就是，李東應該不是全量驗算的。
劉強和陳楠不懂，可是他是知道一些呀。
「要是這個是全量驗算的話————」
他開始快速換算著速率與硬體差距，只是越換算越覺得自己的世界觀快崩塌了————
要知道，那些超算的算力，可是以TFLOPS（每秒萬億次浮點運算）甚至PFLOPS為單位來發力的！
人家傾盡全力跑幾個月，才幹到十萬億！
雖然對比李東跑的絕對值更大————
可是李東用的是一台家用的移動工作站啊！
而且只用了兩天兩夜，單機就完成了一千六百多億個零點的全量驗證？
要是也跑幾個月，那不是直接就追平了？
也許還能超過？
>