作者：胖胖的小橘
“荷蘭團隊之前在藥用毛山柳菊（Pilosellaofficinarum）裡克隆出的孤雌生殖基因，被命名為PpPAR。”
李東思索著說道。
“咱們用的是孟德爾當年的實驗材料，高山柳菊（Hieraciumprealtum），在分類學上屬於真山柳菊屬。”
“為了保持基因家族命名的一致性，同時體現跨屬的物種差異，咱們就叫它——HpPAR（HieraciumprealtumParthenogenesisgene）吧。”
孫翔眼睛一亮，覺得這個名字是真不錯。
“HpPAR？好名字！既嚴謹又致敬了前沿研究。”
“定了名字就行了。”孫翔戴上手套。
“趕緊幹活吧！只要咱們親手證實敲除了HpPAR基因後，這些高山柳菊恢復了有性生殖，子代能完美重現孟德爾的3:1分離比……這篇論文一旦發出去，整個遺傳學界都得震一震。”
李東點點頭，深吸了一口氣，【生命解析】在他背後浮現出了一個穿著修士服的虛影。
他拿起鑷子，探向了那一枚花葯。
……
與此同時，京都，燕大35棟男寢，404室。
“媽的，今天又沒搶到前排！”
王浩一把推開寢室門，把手裡的書往桌上一扔，直接開始罵娘
跟在後面的劉強和陳楠也是一臉憤憤不平的跟著抱怨。
“這群人我懷疑他們是體育特招進來的，跑的是真快。”
今天他們上的還是劉若傳教授的《數學分析》。
畢竟昨天被劉教授畫的數學藍圖給砸暈了，全班人的積極性空前高漲。
雖然今天的課講的只是基礎的分析部分，劉教授依舊引經據典講得極為精彩.
可是昨天那種數學大一統的震撼，還是讓他們這群天之驕子念念不忘。
“你們說，黎曼猜想到底是會被證明還是會被證偽呀？”
陳楠問道。
王浩像看傻子一樣看了他一眼.
“咱們搞數學的，現在基本都是預設它是定理在用了好嗎？”
“很多重大的數論推論都是建立在黎曼猜想成立的前提下的，你說呢？”
“哎，說到黎曼猜想……”
劉強突然插話，然後看向了李東床鋪下方。
“東哥這臺電腦，跑那個驗證黎曼Zeta函式非平凡零點的程式，已經連續跑了兩天兩夜了吧？”
王浩也湊了過去。
“是啊，不過說實話，驗證非平凡零點這活兒，發展到現在早就不是單純的數學推導了，還要最佳化演算法。”
逼王王浩上線科普。
“我之前專門查過這方面的資料。”
“目前國際上公認的計算記錄，是法國數學家XavierGourdon在2004年創下的。”
“人家當時可是動用了分散式的超級計算機叢集，把最頂級的OS演算法最佳化到了極致，沒日沒夜的跑了好幾個月，才將非平凡零點驗證到了恐怖的十萬億級別。”
他指了指
李東的電腦。
“東哥這臺移動工作站，i9的標壓U加上大記憶體，在個人PC裡確實是頂配。”
“但在當年的超算叢集面前，硬體算力也差了兩個數量級。”
“跑了兩天兩夜，按照常規演算法的物理算力極限，能跑到幾百億級別已經是C++底層記憶體管理寫得出神入化了。”
陳楠聽完，好奇心被徹底勾了起來。
“你們說，東哥這程式現在到底跑到什麼數字了？”
“反正只是看看螢幕，動一下滑鼠喚醒一下而已，又不會打斷程式的執行，看看唄。”
劉強嚥了口唾沫，大著膽子伸出手，輕輕晃動了一下李東的滑鼠。
原本漆黑的螢幕緩緩亮起。
黑色的控制檯視窗裡，一行行綠色的數字，正穩定的向下滾動。
三人立刻將腦袋湊了過去，看向了螢幕最下方那行實時重新整理的統計資料：
【VerifiedZeros:168，451，239，840...】
【VerifiedZeros:168，451，245，112...】
這一刻寢室變得無比的安靜。
“個、十、百、千、萬……十萬、百萬、千萬、億……十億、百億、千億……”
劉強和陳楠念道。
“一千……一千六百八十多億？”
“1.6乘10的11次方？”
“耗子，東哥這個算怎麼樣？”
王浩剛才還從容的笑容已經僵住了。
“還……還好吧……”
他沒敢確認，畢竟這有點太過誇張了。
他現在第一個想法就是，李東應該不是全量驗算的。
劉強和陳楠不懂，可是他是知道一些呀。
“要是這個是全量驗算的話……”
他開始快速換算著速率與硬體差距，只是越換算越覺得自己的世界觀快崩塌了……
要知道，那些超算的算力，可是以TFLOPS（每秒萬億次浮點咚悖┥踔罰FLOPS為單位來發力的！
人家傾盡全力跑幾個月，才幹到十萬億！
雖然對比李東跑的絕對值更大……
可是李東用的是一臺家用的移動工作站啊！
而且只用了兩天兩夜，單機就完成了一千六百多億個零點的全量驗證？
要是也跑幾個月，那不是直接就追平了？
也許還能超過？
第106章 等會可千萬別哭出來哦
李東從浙大回來的時候，寢室裡只有王浩一個人。
劉強和陳楠依舊不知道去哪兒捲去了。
王浩見李東推門進來，他放下了手中的《AlgebraicGeometry》然後看著李東。
只是此時他的臉色奇奇怪怪的。
“東哥，回來啦？事情處理完了嗎？”王浩試探著打了個招呼。
李東有些疲憊的點了點頭。
“嗯，沒問題了，剩下的就是交給時間去驗證了。”
高山柳菊的T1代突變株已經成功開花結籽，只要等表型資料一出來，孟德爾的百年遺憾就能畫上完美的句號。
王浩“哦”了一聲，隨後假裝漫不經心的問道。
“哎，對了東哥，一直沒顧上問你，你高考數學成績怎麼樣啊？”
他問這個問題，也是有小心思的。
自從上次他看到了李東那臺移動工作站上的零點資料後，他內心的驕傲就已經在崩潰的邊緣了。
如果那真的是全量驗算，而且跑到了千億甚至更高的級別，那李東的數學恐怕……
李東正在拿杯子倒水呢，聽到這個問題，下意識的回了一句。
“啊，滿分。”
果然如此。
王浩又追問了一句。
“那你以前的高中數學……也都是滿分嗎？”
李東這才覺得有點奇怪，轉頭看向王浩。
“嗯，都是滿分，耗子幹嘛突然問這個？”
王浩這下在心裡長長的嘆了一口氣。
他倒不是嫉妒李東。
能進燕大元培的，大家都是天之驕子，成績都不差。
但王浩是搞數競出身的，還拿了金牌。
雖然嘴上謙虛，但在骨子裡，他始終覺得這個404寢室裡沒有人比他數學更好。
可是現在他開始嚴重懷疑這一點了。
不懂行的人如果看李東的程式已經跑到了千億級可能會驚呼。
“東哥，你計算機程式設計真牛逼！”
可真正明白這個黎曼Zeta函式非平凡零點驗算是怎麼回事的王浩卻很清楚。
這玩意的底層邏輯，其實是數學演算法。
程式語言和C++的底層記憶體排程，只是用來翻譯和執行這套演算法的工具。
能把計算機效能壓榨到極致固然需要很高的計算機造詣，但最核心的能把時間複雜度硬生生降維的，依舊是數學演算法。
“唉……”王浩指了指李東桌上那臺一直沒合上蓋子的移動工作站，語氣乾澀的問道。
“東哥，你那個程式……真的是全量驗算嗎？”
剛才李東一路上都在考慮生物實驗的資料，想著後續要投《NaturePlants》的話，論文該怎麼構思。
被王浩這麼一指，他這才想起來，自己寢室裡還跑著非平凡零點的驗證程式呢。
“對，是全量驗算。”
李東急忙回了一句，連水都顧不上喝了，就來到移動工作站前，喚醒了螢幕。
此時的電腦螢幕上，黑色的控制檯視窗依然在執行著。
【VerifiedZeros:987，654，321，000...】【VerifiedZeros:988，102，445，112...】
9乘10的11次方！
九千多億！馬上就要突破10的12次方（萬億級）的大關了！
李東一看這資料就知道成了。
用一臺單機移動工作站，在短短几天內全量跑到萬億級，這套源自黎曼手稿的降維演算法，其優越性已經得到了無可辯駁的證明！
可是，當他準備伸手去拿滑鼠，檢視一下具體的記憶體堆疊情況時。
“嘶——好燙！”
工作站的C面面板，溫度有點高的嚇人了。
而移動滑鼠時，游標也出現了嚴重的拖影。
“應該是到了硬體的物理極限了。”
王浩這次沒有湊過來看。
上一篇：我家艺人太没上进心了
下一篇：返回列表