從搜尋框裡那個或字，到 PDF 裡的一百六十六頁：OpenAI 與 NS 方程傳聞的設計語言

B 站搜尋框裡打進幾個字，按下輸入，頁面交出的第一份素材就已經是答案的形狀。關鍵字是「OpenAI或證明數學七大難題之一」，簡體，十一個字，其中最有設計感的是那個「或」字。整串詞的重量全壓在一個字上：它是避險的，是保留退路的，是介於宣稱與事實之間那條細縫的正式名稱。這兩天，這條縫隙裡長出了四十幾支影片、百萬級的播放量，以及一場數學界自己的爭吵。

話題的核心是一則傳聞：OpenAI 發布了一份約一百六十六頁的論文，宣稱在納維-斯託克斯方程（Navier–Stokes equations，以下稱 NS 方程）上取得重大進展，而這是克萊數學研究所懸賞的千禧年七大難題之一。傳聞同時附帶反方：有數學家質疑，有影片指稱成果另有出處，有長文逐段檢視。真假未定，搜尋頁先熱了起來。

搜尋頁上的動詞階梯

把這批影片標題並排來看，會看到一套完整的動詞包裝階梯。「官宣攻克」「真疑似證明」「炸裂！」「突發！」「歷史性時刻？」「9.8 勁爆消息」。同一件事，動詞強度一路往上，事實密度一路往下。最激動的標題往往配最短的片長：十二秒的速報，二十六秒的驚嘆，一分多鐘的快評。反過來看，李永樂老師官方帳號那支二十分鐘的長片，慢慢講張益唐與孿生素數猜想的故事，播放停在四位數。內容工廠的速度設計在這裡很誠實：結論先於證據，驚嘆號先於句號。

封面縮圖是另一套語彙。深色底、放大的人物側臉、紅色粗體大字，偶爾配上一條寫了一半的公式當裝飾。公式在封面上屬於紋身等級的用途：它代表難，代表權威，至於是哪一條式子，畫面上並不太在意。

帳號生態也值得看一眼。「時速觀察」「最新情報局」「賽文喬伊」負責快，「高等數學真高等」「分析學愛好者」「漸近自由JJZY」負責深，還有「喵喵喵傳奇影業」這類以戲謔為賣點的名號。其中「分析學愛好者」一個帳號就發了三支，播放從四十四萬到三千多不等，同一個作者的內部也有明顯的階梯。這種沉積速度與層次，與我們先前在尤文對米蘭一戰留下的 B 站搜尋頁地層裡看到的結構如出一轍：一個熱詞進入搜尋框，幾小時內沉積出一整層內容，最淺的一層最響，最深的一層最安靜。

那條方程的排版遺產

NS 方程本身值得單獨描述。在教科書裡，它是一組偏微分方程式：對時間的偏導數，速度向量與梯度算符的內積，壓力項，黏滯係數 ν 乘上拉普拉斯算子。排版上是數學出版三百年的成熟語彙，傾斜的希臘字母、上標下標、精心調整過的符號間距。它描述流體的運動，機翼上的氣流、血管裡的血流、天氣模型裡的洋流，全部都在它的管轄範圍。一條式子管住這麼多現象，卻在最基本的問題上留白：三維空間裡，它的解是否永遠平滑？還是可能在某個瞬間失去控制，出現數學家口中的「爆破」？千禧年難題懸賞的正是這個答案。

克萊數學研究所在 2000 年公布了七個難題，每題一百萬美元。二十多年過去，只有龐加萊猜想被解開，解題的佩雷爾曼沒有去領獎金。這段歷史提醒我們，數學的驗證系統慢得驚人，而且設計上就是要慢：一份證明要被接受，需要少數讀得懂的人花上數月甚至數年，逐行檢查。這個慢，是它的品質保證機制，也是這次熱鬧的背景板。

傳聞裡的另一個主角是陶哲軒的長文。這位數學家以願意公開寫作聞名，他的部落格長年扮演數學界與公眾之間的翻譯層。當一個 AI 證明的傳聞開始擴散，數學圈的第一反應不是慶祝或否認，而是打開編輯器，把問題拆給更多人看。這個動作本身就是一種介面設計：用透明對抗傳聞。

一百六十六頁的信任介面

傳聞中最具體的物件，是那份論文 PDF。有趣的是頁數的兩種說法並存：有影片標題寫一百六十六頁，也有影片標題寫一百六十五頁。在事實層次這是一個待澄清的細節，在傳播層次它一點都不妨礙，因為頁數在短影音時代已經變成信任的計量單位。觀眾不會去讀證明，但記得住頁數，就像記得住處理器的製程奈米數。三位數的頁數自帶重量感，它讓人聯想到數學史上的重量級文件，費馬最後定理的證明、有限單羣分類的萬頁論文，那個量級的東西。

論文的排版權威也有一套固定語彙：定理環境、引理編號、章節層級、參考文獻，以及最後那個證畢符號，一個實心或空心的小方塊，放在論證結束的位置，表示這裡說完了。這套排版累積了幾個世紀的信用。此刻它被截圖，被口播，被放進影片封面，符號的原意與它的新用途之間，隔著整個內容產業。我們先前分析武漢大學舉報文件流傳時的公文排版時提過，PDF 的版面自帶一種還未經檢驗的權威感，這次的事件把同一個機制放上了更大的舞臺。

或字與證畢符號

回到那個「或」字。在整條傳播鏈裡，它反而是最克制的一環。搜尋詞用它，因為事實還沒定；影片標題裡的「真疑似」「宣布被解了？」是它的變體，用問號和副詞把責任分攤出去。相對地，「官宣攻克」直接把傳聞升格成定論，那是另一種設計思路：確定性本身就是產品，即使這個確定性是提前預支的。兩種句式賣的是同一批觀眾的兩種情緒，一種叫期待，一種叫已經發生。

爭議成了第二層商品。有影片標題宣稱紐約大學一位數學家的成果被搶先發布，甚至出現「電話威脅」這樣的字眼；也有標題直接把整件事定義為營銷假消息，作者在標題裡把話撂下，說這個問題無法證明也無法證偽，遲早翻車。這些說法目前都停在影片標題的層次，沒有一條經過證實。但它們共同構成了一個完整的敘事市場：第一層賣突破，第二層賣陰謀，第三層賣闢謠，每一層都從同一個關鍵字裡取水。

設計的角度看，這場熱鬧的全部產能來自兩個系統的速度差。數學的驗證系統以月和年為單位運轉，它的慢是特性，用來過濾錯誤。短影音的傳播系統以小時為單位運轉，它的快也是特性，用來搶佔注意力的窗口。兩者之間的落差，平時看不見，一旦有千禧年難題這種等級的素材掉進去，就會變成一門生意。

無論那份論文最終成立，或者被推翻，搜尋框裡的「或」字都已經完成它的設計任務：把一個未定的數學事件，包裝成可以立即消費的內容商品。真正的答案會以數學自己的速度到來，以一個安靜的排版符號作結，那個小小的方塊，比任何驚嘆號都重。在那之前，頁面上流動的都是問號，而問號也能變現。

SLUG: openai-navier-stokes-proof-rumor-design-language DESC: 從 B 站搜尋框裡那個或字，到傳聞中一百六十六頁的證明論文，拆解 OpenAI 疑似證明 NS 方程千禧年難題熱潮背後的標題句式階梯、數學排版遺產、頁數信任介面與驗證速度差的設計語言。 TAGS: 設計、美學、趨勢 CATEGORY: 設計