——
王浩像看傻子一樣看了他一眼「咱們搞數學的，現在基本都是預設它是定理在用了好嗎？」
「很多重大的數論推論都是建立在黎曼猜想成立的前提下的，你說呢？」
「哎，說到黎曼猜想————
劉強突然插話，然後看向了李東床鋪下方。
「東哥這臺電腦，跑那個驗證黎曼Zeta函式非平凡零點的程式，已經連續跑了兩天兩夜了吧？」
王浩也湊了過去。
「是啊，不過說實話，驗證非平凡零點這活兒，發展到現在早就不是單純的數學推導了，還要最佳化演算法。」
逼王王浩上線科普。
「我之前專門查過這方面的資料。」
「目前國際上公認的計算記錄，是法國數學家XavierGourdon在2004年創下的。」
「人家當時可是動用了分散式的超級計算機叢集，把最頂級的0S演算法最佳化到了極致，沒日沒夜的跑了好幾個月，才將非平凡零點驗證到了恐怖的十萬億級別。」
他指了指李東的電腦。
「東哥這臺移動工作站，i9的標壓U加上大記憶體，在個人PC裡確實是頂配。」
「但在當年的超算叢集面前，硬體算力也差了兩個數量級。」
「跑了兩天兩夜，按照常規演算法的物理算力極限，能跑到幾百億級別已經是C++底層記憶體管理寫得出神入化了。」
陳楠聽完，好奇心被徹底勾了起來。
「你們說，東哥這程式現在到底跑到什麼數字了？」
「反正只是看看螢幕，動一下滑鼠喚醒一下而已，又不會打斷程式的執行，看看唄。
劉強嚥了口唾沫，大著膽子伸出手，輕輕晃動了一下李東的滑鼠。
原本漆黑的螢幕緩緩亮起。
黑色的控制檯窗口裡，一行行綠色的數字，正穩定的向下滾動。
三人立刻將腦袋湊了過去，看向了螢幕最下方那行即時重新整理的統計資料：
【VerifiedZeros：168，451，239，840。。。】
【Verified Zeros：168，451，245，112。。。】
這一刻寢室變得無比的安靜。
「個。十。百。千。萬————十萬。百萬。千萬。億————十億。百億。千億————」
劉強和陳楠念道。
」？億多十八百六千一————千—「
」？方次11的01乘6。1「
」？樣麼怎算個這哥東，子耗「
。了住僵經已容笑的容從還才剛浩王
」————吧好還————還「
。了張誇過太點有這竟畢，認確敢沒他
。的算驗量全是不該應東李，是就法想個一第在現他
。呀些一道知是他是可，懂不楠陳和強劉
」————話的算驗量全是個這是要「
————了塌崩快觀界世的己自得覺越算換越是只，距差與率速著算換速快始開他
！的力發來位單為SPOLFP至甚）算運點浮次億萬秒每（SPOLFT以是可，力算的算超些那，道知要
！億萬十到幹才，月個幾跑力全盡傾家人
————大更值對絕的跑東李比對然雖
！啊站作工移的用家臺一是的用東李是可
？證驗量全的點零個億多百六千一了完就機單，夜兩天兩了用只且而
？了平追就接直是不那，月個幾跑也是要
？過超能還許也
;tg&
