第951章 黎曼猜想的階段性成果！

  趙陽盯著屏幕上的一個關鍵等式看了很久，然後開口說：」你說得對，但這個等價形式的證明本身需要先處理掉那個奇異積分在無窮遠處的漸近行為，這塊我們再來試試。」

  他喝了半杯涼掉的茶，把注意力重新放到面前的稿紙上。

  出繼續開始推演。

  同時，小新也按照趙陽的指令，利用量子計算機超強的算力在對後續進行瘋狂推理。

  而與此同時，網上的輿論正在以驚人的速度翻湧。

  星穹大模型正式開源是發布會後的第五天放出的。

  開源文件放出來的那天晚上星火科技的官網上直接掛出了完整的模型權重和訓練代碼，下載連結一出來伺服器就差點癱瘓。

  全球的開發者幾乎同時湧上來，論壇里一晚上冒出來幾千個討論帖。

  「我曹！牛逼！」

  」趙陽是真的幹得出來啊，這麼大一個模型說開源就開源了？」

  實時更新，請訪問s🎸to9.com

  「真牛逼啊！趙神牛逼！」

  」全程開源，連訓練數據的分詞器代碼都給出來了，這大方程度我服。」

  」開是開了，但國外的公司用起來比我們還順手。英偉達要是拿這個做了自己的優化方案，咱們不是給別人做嫁衣嗎？」

  「不至於，咱趙神不是有華銳100嗎？這顯卡就是為了星穹大模型而生的！優化老黃拍馬都趕不上！只可惜不是遊戲卡，不然我高低得買一張！」

  「不好買，華銳100早就斷貨了，聽說明年的產量都被那些大公司給鎖掉了！真特麼牛逼！」

  幾乎在星穹大模型開源第二天，英偉達官方發了一條公告，宣布其最新的算力卡產品線已經完成對星穹大模型的推理適配，最低配置一百張卡就可以實現完整的本地化部署。

  公告裡還附了一段技術說明，提到在特定任務上，星穹模型配合其硬體的推理效率比之前提升了將近兩倍。緊接著AMD也發布了一份聲明，措辭雖然相對謹慎一些，但意思差不多，那就是我們也支持了。

  網上的討論徹底炸開了。

  技術社區裡有人在同步翻譯這幾份公告，底下跟著一長串跟帖。有人說：」這等於什麼？等於趙陽用一套開源模型，把整個行業的軟體生態往前推了三五年。以前大家跑大模型還得依賴雲服務商，現在一百張卡就能本地部署，很多中小團隊也能玩了。」

  」你們注意看，英偉達公告裡用的是'適配'這個詞。這意味著他們的底層算子庫為了這個模型專門做了優化。一家晶片公司跑到別人家的模型上去做優化，你什麼時候見過這種事？這說明他們重視到一定程度了。」

  」星穹這模型寫代碼的能力你們試過沒有？我從昨天到現在拿它生成了七八個功能模塊，幾乎不用改就能用。我自己寫了五年程序，感覺兩年內初級程式設計師的工作量要被打掉一大塊。」

  這種體驗不是個例。開源之後的短短几天裡，各大技術論壇上冒出了無數利用星穹大模型生成應用腳本、數據分析工具、自動化測試用例的帖子。

  有的創業團隊用它在兩天之內翻新了自家的核心代碼庫，效率比之前手寫提高了幾倍。行業里的資本流動也開始變得異常活躍，一些跟智能化沾邊的初創公司估值一夜之間翻了兩倍。

  但是趙陽對這些熱鬧幾乎沒什麼關注。書房裡的電腦屏幕上顯示的是無盡的數學符號和曲線圖。小新負責幫他監控著部分網絡信息，但有選擇性地只報告那些跟學術或者硬體相關的動態。趙陽對輿論場的喧囂一直保持著天然的疏離感，他覺得吵夠了自然會消停。

  接下來的幾天裡，他幾乎把全部精力都壓在了黎曼猜想上。每天起來先跑兩組驗證，然後吃早飯，接著回到書桌前推公式。法爾廷斯的那本筆記本被翻得越來越頻繁，裡面不少頁角已經被趙陽折過又展開了。

  到了第六天傍晚，趙陽把最後一段證明補完了。他在屏幕上看到了一個完整的證明鏈條，從初始假設到中間變換到最終結論，每一步都有嚴格的推導支撐。

  雖然這還不是對整個黎曼猜想的完整證明，但它在現有的理論框架上向前推進了至關重要的一步，他成功把臨界帶內零點分布的約束條件收窄了一個量級。

  他往後靠在椅背上，長長地吐了一口氣。窗外的天色已經暗下來了，別墅院裡的路燈在暮色中亮起一圈昏黃的光。

  趙陽整理了一下文稿，確認格式無誤，然後登錄了自己的arXiv帳號。他上傳了這篇階段性成果，標題簡單地寫著」關於黎曼zeta函數零點分布的一個新約束」。上傳進度條從零走到百分百，頁面上跳出了」提交成功」的提示。

  他關掉瀏覽器，站起身去廚房給自己倒了杯熱水。

  那篇論文在arXiv上掛了不到四個小時就開始被大量下載。最先注意到的是幾個跟數論方向相關的自動推送系統，它們把論文標題推送到了一批訂閱者的郵箱裡。然後是法爾廷斯教授在德國的郵箱收到了推送通知，他點開一看，發件署名是趙陽。

  法爾廷斯正坐在自己的辦公室里，窗台上擺著一盆綠蘿。他看完摘要之後愣了幾秒，然後開始往下翻正文。讀到第三個引理的時候他放下了咖啡杯，老花鏡後面的眉頭擰了起來。

  與此同時，普林斯頓高等研究院的幾個數學家也在同一篇論文下面點開了PDF。

  線上數學社區裡的帖子開始以分鐘為單位刷新。有人發了一句話：」這是他第二次在這個方向上出手了吧？上一次那篇從解析數論角度的切入已經挺讓人意外了，這次直接用一個新的積分變換把邊界條件壓縮到這種程度，不管最後證明成不成立，這個思路本身就有價值。」

  」我剛把前五個引理過了一遍，至少到第五步沒有明顯漏洞。第六步和第七步涉及的那個解析延拓技巧我得仔細算一下，但看上去是自洽的。」

  」你們注意到沒有，這個變換的基底和法爾廷斯十年前一篇手稿里提到的東西有相似性。趙陽從哪裡看到那份手稿的？」

  「前段時間，法爾廷斯教授不是去了一趟燕大嗎？估計就是那個時候給趙陽的吧！」

  討論的熱度在持續上漲。趙陽的arXiv頁面訪問量在幾個小時內飆到了新高，論文的下載次數甚至超過了他之前那篇關於模型架構的論文。

  數學圈子裡的人開始在社交媒體上轉發連結，標題前面往往帶著」重大進展」或者」值得關注」之類的標籤。

  趙陽把熱水喝完，回到書房看了一眼電腦屏幕。他掃到了幾條評論，表情沒有太大變化，只是輕輕」嗯」了一聲。小新在旁邊說：」主人，你這條論文的引用速度比上一篇快了將近三倍。有幾位教授已經在博客上寫分析了。」

  趙陽關掉瀏覽器，淡淡的說道：」真正的驗證還得等一段時間，這種級別的成果，還是先讓子彈飛一會兒。」

  （還有更新耶）