一個搜尋頁，三種句式
打開 B 站，把「AI破解哥德巴赫猜想的真相」敲進搜尋框，跳出來的頁面本身已經把這場熱鬧演完一遍。白底上一列灰白卡片排開，每張卡片左邊是縮圖，右邊兩行黑字標題，標題底下拖著灰色的播放次數。
置頂那格寫著「OpenAI殺瘋了！24天掃平100道世界級數學難題」。驚嘆號收尾，24 與 100 兩個數字並排，像產品規格表在暗示一條產線的產能。往下滑兩格，語氣變了：「別再聽風就是雨了：這不是哥德巴赫重大突破」，冒號之後直接否定，把前面那場勝利按回地面。再往下是「GPT-6 Astra寫出Lean驗證證明，真解了哥德巴赫？」，句尾一個問號，把判斷權輕輕推回觀眾手裡。
值得先記下的反而是搜尋詞本身。湧進這個頁面的人，鍵入的關鍵字尾巴掛著「的真相」三個字，按下搜尋鍵之前就已經存疑。這場熱鬧從進場那一刻就自帶問號。
「破解」這個動詞的力學
哥德巴赫猜想的內容一句話就能說完：大於 2 的偶數，都能寫成兩個質數的和。面對這樣一道命題，數學圈慣用的動詞是「證明」。這一波影片標題集體換上「破解」，一個原本屬於保險箱與魔術方塊的動詞。它自帶速度與力道，暗示某道防線被擊穿，卻完全不必交代擊穿之後洞裡有什麼。
數學的動詞是慢的。證明要逐行檢查，要通過審閱，要在別人重讀之後依然成立。「破解」是快的，它把兩百多年的工作量壓成一個瞬間動作。片名工程在選動詞的時候，選的其實是時間感。
更關鍵的字藏在標題尾端。「哥德巴赫猜想！GPT6證明弱化版」，驚嘆號燒完，剩下一個「弱化版」被推到句尾，像配料表最後一行的小字。「無條件全範圍成立！GPT-6攻破哥德巴赫猜想核心前置命題」更值得逐字讀，「前置命題」四個字說明那是通往猜想的一級臺階，而標題的力氣全花在前半句的驚嘆。證明一個引理，與證明整個定理，在數學上是兩件事；在縮圖的排版裡，兩件事共用同一種字級。
這門功課我們在把白砂糖還給我們的誠實包裝分析裡見過：關鍵成分被排到清單末端，視覺上等於被藏起來。掛在句尾的「弱化版」，就是那包被縮小字級的白砂糖。
標點的分工，流量的去處
驚嘆號與問號在這批標題裡各司其職。用驚嘆號的影片做宣告，賣的是「比別人早知道」的優越感；掛問號的影片做猜測，「真解了哥德巴赫？」句尾一個鉤子，點進來之前就先把責任卸掉了。宣告免不了被檢驗，猜測永遠立於不敗。
流量數字意外地站在懷疑那一邊。這個詞條底下播放最高的兩支影片，恰好都掛問號：追問「值得癱坐眩暈嗎」的那支超過十七萬次，講 Lean 驗證的那支十萬出頭。純宣告的影片多在一兩萬以下徘徊。同一個頁面上，懷疑成了更好賣的內容商品，它比宣告多一層結構：先複述對方的誇張，再當場拆解。
同頁還有個旁證。一支推銷股票的影片，把「哥德巴赫猜想有了新突破」原樣掛進標題當餌，播放衝破百萬。一個數學命題的名字，強大到可以脫離數學，被任何主題借用。
Lean：另一種真相的介面
整批影片裡最值得從設計角度細看的詞，是「Lean」。Lean 是一套形式化證明語言，數學家把定理拆成一行行程式碼，交給一個極小的核心程式逐行檢查。一份證明的長相大致如此：一行 theorem 起頭，接著一串冒號與箭頭，縮排整齊，像一份被嚴格排版的合約。證明完成時，終端機裡浮出的訊息非常樸素：No goals。沒有目標了，證明結束。沒有掌聲欄位，也沒有慶祝動畫。
這是與縮圖完全相反的真相介面。縮圖交付的是主張，幾秒鐘內完成說服；Lean 交付的是工件，任何人都能把證明檔抓下來重新編譯，親眼看那行訊息再現一次。前者的信任建立在速度上，後者的信任建立在可重複上。被點名的模型叫 GPT-6 Astra，傳聞中它產出的正是這類可編譯的證明。傳聞的真假先擱著，判準的更換已經值得記下：一個數學宣稱的成色，從此先看它附沒附上儲存庫。
1742 年，哥德巴赫在寫給歐拉的信紙邊上寫下這個猜想，此後近三百年，它的載體是墨水與書信；如今載體換成等寬字體的程式碼。材料換了，信任的格式也跟著換：紙上的證明靠同儕審查背書，儲存庫裡的證明靠編譯器背書。宣稱要升級為承諾，最可靠的路徑始終是交付一個別人能自己驗的東西，這一課我們在智譜 ZCode 開源的設計語言裡已經看過一次。
為什麼偏偏是哥德巴赫
這個猜想在中國網路世界自帶流量，背後有一段品牌史。1978 年，徐遲的報告文學《哥德巴赫猜想》刊出，陳景潤與他的「1+2」成為家喻戶曉的名字，數學家第一次以明星規格進入公眾記憶。從那以後，「1+1」這個代號預裝在好幾代人的常識裡。所以當「AI破解哥德巴赫猜想」十個字出現，觀眾完全不需要科普就能完成情緒結算：最難的題，遇上了最新的機器。
搜尋頁的長尾也證明了這個名字的號召力。一支講歷史的影片「一封書信，近三百年的接力」，播放兩萬多次，安安靜靜接住了被標題騙進來、想弄清楚來龍去脈的人。名字本身已是成品，任何敘事掛上去就能運轉。
先問交付物，再讀驚嘆號
這場熱鬧的答案，數學圈給得很快：流傳的成果是弱化版與前置命題，距離「破解」二字，還隔著近三百年未完的接力。對設計觀察者來說，更有用的收穫是一套判讀習慣。下一個 AI 數學宣稱出現時，先找交付物。一份可編譯的證明檔、一個人人可查的儲存庫，這兩樣東西比任何片名都誠實。如果截圖裡有那行 No goals，最好再確認它來自可重現的環境。
縮圖經濟與驗證經濟目前仍各走各的路。哪一天平臺把「已驗證」做成縮圖上的一種邊框色，兩條路才算接上。在那之前，驚嘆號會繼續置頂，問號會繼續收尾，而最接近真相的答案，會繼續停在終端機裡的那行 No goals。