知乎最近有一道提問被反覆轉發：如果哥德巴赫猜想是錯的，但最小的反例也有 10 的 1000 次方那麼多位數，我們是否永遠無法證明、也無力證偽。先別急著想數學，看一眼這個數在頁面上的寫法。底數 10 用正常字級站著，1000 這四個數字縮小了幾號、抬高半個字身，貼在右上角，行高還被它微微撐開。一個幾乎不佔面積的排版動作，指認了一個任何螢幕都裝不下的數量。這道問題最有趣的部分，就藏在這四個縮小的數字裡。
位置就是語法：指數的排版發明
把乘方的次數放進右上角，是數學書寫演化了幾百年才定下的規矩。1637 年，笛卡爾在《幾何學》裡以這個位置標記次數，取代此前用整個詞語或重複字母表達乘方的做法。從此位置本身承載運算意義：上標是乘方，下標是編號。讀者不必讀到任何說明文字，就能分辨 1000 在一行式子裡扮演的角色。
現代介面全盤繼承這套語法。LaTeX 用一個記號切換進上標模式，試算表遇到裝不下的大數，直接輸出字母 E 帶指數的科學記號。10 的 1000 次方在螢幕上只佔約七個字元的寬度，跟一句日常短語差不多。指數記法本質上是一套壓縮格式，每多疊一層指數，描述一個數所需的面積就再縮小一個量級以上。反過來算，把 10 的 1000 次方展開成一般寫法，是 1 後面接一千個零，一千零一個字元；而這還只是那個假想反例的「位數」，反例本身要寫的數字，比宇宙裡任何清點得到的東西都多。
十九位之前的驗證進度
哥德巴赫猜想的主張很簡潔：任何大於 2 的偶數，都能寫成兩個質數之和。8 等於 3 加 5，這是作業簿尺寸的驗證，每個人都能親手做完。把偶數一個一個檢查上去，是目前唯一能實際執行的驗證方式。葡萄牙阿威羅大學的奧利維拉-席爾瓦與兩位合作者，在 2014 年刊出的論文裡把這條檢查線推到 4 乘 10 的 18 次方。這個上限寫出來是十九位數，一張手機截圖放得下，也是人類對這個命題目前最遠的目視距離。
理論端最近的一次推進，停在半個世紀前。陳景潤 1973 年發表的結果證明，每個夠大的偶數都可以寫成一個質數加一個半質數，即俗稱的「1 加 2」。命題本身要求的「1 加 1」，至今無人抵達。
現在把提問裡的反例尺寸放上同一條數線。已驗證範圍是十九位數，假想反例的位數是 10 的 1000 次方。這兩個刻度之間的距離，任何線性比例尺都畫不出來；把 4 乘 10 的 18 次方縮成一粒沙，反例的位置仍然落在一切座標系之外。對這條進度條而言，推進速度與終點之間的關係已經失去意義。
印不進宇宙的物件
一個位數多達 10 的 1000 次方的數，本身約等於 10 的「10 的 1000 次方」次方。作為對照，常被引用的大數 googol 是 10 的 100 次方，googolplex 是 10 的 googol 次方；假想反例比 googolplex 還要大出難以陳述的倍數。日常介面的度量衡多數停在兩位小數，像加油站價格牌的排版粒度那樣；而這裡需要度量的物件，光是位數本身就要用一千零一個字元才寫得完。
放進物理世界檢查排版條件更直觀。可觀測宇宙的原子約 10 的 80 次方顆；把刻度再細到普朗克長度，全宇宙容納的位置約 10 的 185 次方個。反例的位數是 10 的 1000 次方，任何基材上都排不下這串數字。紙張與硬碟，乃至整個宇宙，對這件證物來說屬於同一個容量等級。
於是出現一道形態上的分岔。證明的形態是有限長度的文本，可以被另一個人逐行閱讀、逐步檢查；反例的形態是一件必須出示的具體數字，作者得把它完整交到讀者手上，驗證才成立。數學記號寫得下反例的地址，寫不下反例本身。一件證物大到所有基材都裝不下時，命題的真偽就離開了展示的層面：答案依然存在，只是不存在於任何畫布上。
信任改由格式提供
日常生活中，介面早就在處理數字大過展示能力的情境。電商頁面把銷量顯示成「1.3 萬」這類捨入區間，被省略的尾數由平臺信用背書，這套顯示文法我們在抖音銷量數字的顯示文法裡拆解過。共同動作只有一個：把無法完整呈現的量，換算成一個可信的格式。
數學圈正經歷同方向的搬家。Lean 這類證明助理把證明改寫成可被機器逐行檢查的文本，數學界近年用它整理出快速成長的定理庫。當結論大到無法親自驗算，信任的來源便從看到物件移到檢查格式，有效位數的約定與誤差範圍的標註，都是這個方向在各自領域的版本。
工程圖面給出最務實的類比。設計師標註公差時，只對可製造、可量測的範圍負責，沒有人為 10 的 1000 次方位之外的情境做設計。一個命題在一切可操作範圍內成立時，實務效果與成立無異。回頭看那道提問，它真正碰到的困難出在驗證的粒度：粒度之內的事實由檢查建立，粒度之外的，由格式與約定託管。
畫布的尺寸
回到右上角那個小小的 1000。四個數字的面積，完成了一次乾淨的壓縮，同時標出了排版系統的邊界：記號能為最大的數留一個小座位，卻沒有一種基材放得下那個數的展開。哥德巴赫猜想若有這樣的反例，它就安放在所有畫布之外。而弄清楚畫布有多大、能承載什麼，向來是設計工作的第一課，這一課，數學家與設計師得一起上。