第99章 星星之火
世界協調時零點，arXiv放出了當天的更新列表。
對全世界的數學工作者來說，這是一個再普通不過的時刻。
伺服器位於康奈爾大學的龐大機器，像一台不知疲倦的學術吞吐泵，將全球各地在過去二十四小時內提交的智慧結晶、心血、亦或是狂想，無差別地傾瀉在網際網路上。
每天這個時候，幾百篇新預印本會被批量推送上線，按學科分類，整整齊齊地排進各自的列表里。
代數幾何、數論、偏微分方程、組合數學……
每一個分類下面，都是一長串當天上傳的標題，作者，和那串以年月開頭的編號。
絕大多數論文，會在這個列表里待上一天，被全世界各地的幾十個人掃一眼摘要，也許有兩三個人會點開PDF下載，然後沉下去。
等待它們的是不知道有沒有盡頭的審稿周期，或者乾脆在學術的汪洋大海中無人問津。
這就是學術世界的日常。
平靜，海量，毫不起眼，卻又暗流涌動。
在整個數學分類下，當天新增論文超過百篇。
math.CO，組合數學分類下，也排著一長串新標題。
英國，沃里克。
當地時間凌晨一點零七分，馬庫斯·霍爾特原本已經合上電腦，準備睡覺。
他今年四十六歲，是沃里克大學的數學教授。
他的研究方向是離散幾何，如果用更精確的學術語言來界定，他做的是平面鋪砌與非周期代換系統。
這個方向冷門艱深，極度考驗研究者對幾何拓撲的直覺。
全世界真正將身家性命壓在這個方向上的核心研究者，滿打滿算不超過一百五十人。
他們大多彼此認識，甚至清楚每個人手頭正在攻克的子課題。
但睡前掃一眼 arXiv 更新列表，是霍爾特十幾年雷打不動的習慣。
大多數時候，更新列表上只是一些熟悉領域裡的小改進，某個問題的推廣，某個模型的技術修補。
並不會給他帶來驚喜。
霍爾特端著一杯剛泡好的洋甘菊茶，靠在書房那把有些褪色的皮質靠背椅上，用右手拇指在iPad的屏幕上機械地往下劃。
圖著色問題在稀疏圖上的算法邊界，跳過。
關於某些特殊超圖組合恆等式的代數證明，跳過。
一種新型多面體拉姆齊數估計，掃一眼摘要，存下來回頭讓博士生看看。
下一篇。
An Aperiodic Monotile via Local Forcing.
【寫到這裡我希望讀者記一下我們域名 TW 看書網超貼心，𝗌𝗁𝗎.𝗍𝗐等你尋 】
霍爾特的拇指懸停在屏幕上方，第一反應絕不是興奮。
相反，湧上心頭的是幾乎刻進DNA里的職業性疲憊，甚至伴隨了輕微的煩躁。
因為非周期單磚這五個字，在他這個圈子裡，是一個特殊的存在。
它就像是物理學界的永動機，或者數論界的哥德巴赫猜想，自帶一種致命的魔力，吸引著無數飛蛾撲火。
正因為它有名，正因為它在幾何直觀上顯得如此通俗易懂，所以每隔一段時間，霍爾特的郵箱裡，arXiv的列表上，就會冒出一個聲稱解決了它的勇士。
絕大多數是民間數學愛好者。
有人寄來自以為能鋪滿平面的手繪怪形狀，附上一封長達十幾頁，充滿感嘆號和狂熱情緒的信件。
有人把彭羅斯鋪砌改了改邊緣線，換個顏色，就宣布自己顛覆了凝聚態物理和結晶學。
有人的證明通篇充斥著顯然，容易看出，不難想到，卻在最基礎的拓撲定義上漏洞百出。
霍爾特記得，幾年前，有一個自稱退休工程師的人甚至把一份這樣的手稿，同時寄給了圈裡好幾個人，據說連九十多歲的彭羅斯本人都收到了一份。
結果那東西，連第一頁的歐氏空間等距變換群的定義都沒撐過去。
他見過太多了。
多到養成了一種條件反射，看到單磚加非周期再加一個查無背景的名字，他基本可以斷定，這又是一篇可以三秒鐘掃完，然後永遠丟進垃圾桶的東西。
他嘆了口氣，端起茶杯喝了一口，拇指準備划過。
但他沒有。
因為標題里的最後兩個詞，像一根極細的針，輕輕扎了一下他的視神經。
Local Forcing
這個詞太冷太具體了。
這不太像民科或者業餘愛好者喜歡用的詞。
民科的論文，標題往往很長很滿，帶著生怕世界不知道其偉大的抑制不住的興奮。
比如——《關於一類全新的非周期鋪砌的革命性發現及其對晶體學的深遠意義》，諸如此類。
而這一篇，只有六個詞。
An Aperiodic Monotile via Local Forcing.
霍爾特鬼使神差地輕觸了屏幕。
平板加載出PDF。
點開詳情頁，他的目光習慣性地先掃向作者和單位。
Jiangcheng No.7 High School， China
霍爾特的眉頭立刻皺了起來。
高中？
中國高中？
單作者？
這幾個信息元素疊加在一起，在數學界的語境下，幾乎相當於把不要浪費時間這六個字打在了屏幕上。
在高度專業化的現代數學中，一個署名單位是中國普通高中的作者，單槍匹馬解決一個困擾學界半個世紀的幾何難題？
概率無限趨近於零。
如果不是剛才掃了一眼摘要，霍爾特絕對會立刻關掉這個頁面。
摘要也很短。
沒有革命性的，沒有突破，沒有任何一個試圖說服讀者它有多重要的形容詞。
它只是平靜地陳述：本文構造了一個單連通多邊形，證明它能夠鋪滿平面，且任何這樣的鋪砌都不具有平移周期性。
克制而精準，是極其標準的現代數學學術語言。
霍爾特往下翻，直接跳過引言，來到了第一張圖。
圖 1：Tile J 的幾何構造
屏幕上出現了一個十三邊形。
霍爾特端著茶杯的手，瞬間懸停在半空，茶水因為細微的顫抖而在杯壁上盪起一圈漣漪。
他做了二十多年的鋪砌研究，對各種幾何形狀有著一種近乎野獸般的直覺和嗅覺。
眼前這個東西，輪廓極度不規則，到處是突兀的凹角和凸角，像一頂被人粗暴壓扁又用力擰過一把的怪帽子。
太醜了。
但讓霍爾特瞳孔微縮的是，它不是民科會畫出來的那種丑。
民科畫的丑，往往是隨意的，沒有內在邏輯的，為了湊拼圖而強行扭曲邊緣的丑。
而眼前的這個十三邊形的丑，帶著一種令人心悸的必然性。
它不像是一個憑審美畫出來的圖形，反倒看著像是一組極度嚴苛的數學方程互相傾軋妥協後，被死死約束出來的解。
它的每一個角，似乎都卡在某個特定的角度上。
它的每一條邊，似乎都和別的邊有著說不清的對應關係。
這說明，這個形狀底層嵌在一個非常經典的六角形/三角形網格之中。
霍爾特本能地放下茶杯，坐直了身體，兩指在屏幕上放大，仔細審視那條看似突兀的凹邊。
「不對勁。」
他低聲喃喃自語，點開PDF側欄，跳到第三節。
第一頁開頭孤零零地印著兩行英文。
This section does not prove uniqueness of individual tile assignments.
It proves recognizability of the hierarchical skeleton under finite boundary ambiguity.
霍爾特盯著這兩行英文看了足足一分鐘。
之前的疲憊和漫不經心一掃而空，取而代之的是一種獵人看到未知猛獸足跡時的戰慄。
這句話太專業了。
甚至可以說，太知道愛因斯坦問題的命門和痛處了。
在過去幾十年無數宣告失敗的單磚候選證明中，百分之九十的人都死在一個地方。
他們天真地以為，只要證明了每一塊底層的磚都能唯一地歸入某個上一層的大塊，證明就完成了。
然而，在無限延伸的平面上，由於非周期性，邊界上總會存在某些模稜兩可的拼接方式。
真正要證明的，不是每一塊底層磚都能絕對唯一地歸入上一層大塊，而是在有限邊界歧義之外，層級骨架能不能被局部規則穩定讀出。
這個來自中國高中的傢伙，不僅知道這個陷阱，甚至主動把刀尖對準了這裡。
霍爾特已經變涼的花草茶推到書桌邊緣，重新打開PDF的側邊欄，深吸了一口氣，直接跳到整個證明最核心也是最容易暴斃的章節。
04_no_periodic_strip.pdf
如果這篇稿子是某個高級別的惡作劇，或者存在某個隱蔽的致命錯誤，百分之九十九會在這裡露餡。
霍爾特先看讀法約定。
然後看翻面處理。
再看短重複片段。
很快，他看到一張表。
S-3，S-4，S-5，S-6，S-7。
這些是局部看起來，似乎有可能順著某個軸線進行周期延展的邊界片段。
作者根本沒有把這些危險的局部組合藏起來，或者用一句容易證明其不成立糊弄過去。
相反，他像一個冷酷的外科醫生，把這些可能導致理論崩潰的毒瘤一個個切開，單獨編號。
他列出了這些片段的初始形態，翻面讀法約束，然後最關鍵的是，他推演了這些片段在進行第三次代換後的分裂情況。
霍爾特的手指在屏幕上停住，低聲感嘆了一句：「Interesting...」
繼續翻附錄。
一個小時之後，霍爾特靠回椅背，只覺得一陣難以名狀的電流從尾椎骨竄上後腦。
他看了看電腦右下角的時間，凌晨一點四十五分。
他思索片刻，打開郵箱客戶端，新建了一封郵件。
在收件人欄里，他謹慎地敲下了第一個名字：Craig Kaplan。
停頓了一下。
滑鐵盧大學的那幫人是做計算幾何、鋪砌和可視化的頂級專家。
對這種基於代換規則的複雜構造，Kaplan的團隊擁有世界上最敏銳的代碼直覺。
如果存在低級錯誤，他們寫個腳本跑一下就能發現。
於是，他又輸入了第二個名字：Chaim Goodman-Strauss。
阿肯色大學的幾何學家。
如果這篇稿子的層級替代結構存在拓撲學上的幻覺，那種級別的老狐狸幾乎不可能看不出來。
他原本還想再加幾個名字。
離散幾何的圈子太小了。
小到一封帶有可能解決單磚問題暗示的郵件一旦擴散出去，半天之內就能傳遍全球所有真正關心這個問題的人，甚至引來媒體的無端騷擾。
在還沒有真正看清，沒有做哪怕一次基礎覆核之前，霍爾特不想製造無謂的學術噪音。
最後，他的郵件標題寫得極短，不帶任何標點符號。
You need to look at this.
正文更是簡練到了極點。
I am not saying it is correct.
But it is not the usual nonsense. Look at Section 4， specifically the treatment of the S-5 ambiguity.
點擊發送後，霍爾特沒有去睡覺，而是重新回到PDF第一頁，拿起觸控筆，在那個醜陋的十三邊形旁邊，重重地畫了一個圈。
這一次，他開始逐字逐句地，用審視數學真理的嚴苛目光，認真閱讀。
書房的窗外，是英國深夜濃重的黑暗。
但在學術網際網路的神經元里，一個巨大的信號已經開始沿著光纜飛速傳遞。
幾個小時後，加拿大，滑鐵盧市。
Craig Kaplan剛剛起床。
作為一個長期浸淫在Penrose鋪砌、伊斯蘭幾何紋樣和計算機替代系統中的專家，他每天的第一件事就是煮咖啡，然後查閱郵箱。
當他看到來自馬庫斯·霍爾特半夜發來的郵件時，咖啡壺正發出咕嚕咕嚕的沸騰聲。
「You need to look at this.」
看到這個標題，Kaplan挑了挑眉毛。
他太了解霍爾特了，那個典型的英國老派學者，絕不會輕易在郵件里用這種帶有命令式的迫切語氣。
他端著咖啡，點開了郵件里的arXiv連結。
看標題，看摘要，看圖 1 的形狀。
然後，他的目光落在了作者單位上：Jiangcheng No.7 High School。
Kaplan 盯著屏幕足足愣了十秒鐘，然後撲哧一聲笑了出來。
「馬庫斯昨晚是不是喝多了？」
他本能地想要關掉頁面，但處於對霍爾特學術信譽的尊重，他忍住了。
把頁面拉到了霍爾特郵件中特別指出的第四節。
幾分鐘後，Kaplan臉上的笑意完全消失了。
他放下馬克杯，立刻喚醒了旁邊的兩台高性能工作站。
……
同一時間，德國，柏林。
一個計算幾何與組合算法實驗室里。
年輕的博士後研究員克勞斯正在跑一個SMT求解器。
他沒有看證明文本。
他是被同門師兄在群里@起來的。
「用De Bruijn網格法，測試這塊磚的局部可延展性。」克勞斯一邊咬著冷掉的三明治，一邊敲擊鍵盤。
他要做的，是讓超級計算機來判斷，給定一個由Tile J拼成的半徑為R的圓盤區域，是否必然存在一種方法將其擴展到無窮大，並且在擴展過程中強制打破平移周期性。
這是局部強迫理論在計算學上的終極試金石。
屏幕上的終端窗口瘋狂滾動著數據。
狀態空間呈指數級爆炸，但克勞斯寫出了極好的剪枝算法，去掉了那些在論文S表格中已經被證實為死路的分支。
半小時後，計算結束。
終端輸出了綠色的字符：NO PERIODIC PATCHES FOUND UP TO R=10.
SURVIVING BRANCHES MATCH SUBSTITUTION DATA.
克勞斯手裡的三明治掉在了桌子上。
他在那個只有七八個頂級算法研究者的私密小群里發了一張截圖。
下面附帶了幾句話。
I expected nonsense.
This is not nonsense.
At least the local forcing table is not collapsing.
This deserves a real proof check.
……
歐洲，北美，日本……
在這看似風平浪靜的幾個小時內，火苗開始在學術圈極其隱秘的深處，沿著最頂尖的幾個大腦迅速蔓延。
沒有人在社交媒體上大呼小叫，真正懂行的人都在沉默地下載PDF，沉默地寫代碼驗證，沉默地在草稿紙上推演S-5表格的拓撲死路。
下午兩點。一個名叫Tiling & Tessellation的硬核學術論壇上，終於有人忍不住貼出了Tile J的圖。
帖子標題非常謹慎：Another einstein claim? (Tile J， on arXiv today)
最開始的十幾個回復，充滿了學術界常見的刻薄和冷嘲熱諷。
「High school? seriously? 」
「等有人驗證了代換系統再叫醒我。」
「輪廓太隨意了，不像是有深刻代數性質的東西。」
可是，僅僅過了四十分鐘，風向變了。
一個頂著滑鐵盧大學IP的帳號（很多人猜測是Kaplan實驗室的人）回復了一句。
等等，這個代換結構看起來是真的，我剛用他們的坐標重新生成了前四層超大塊，沒有重疊。
又過了一會兒，一位在法國CNRS工作的學者貼出了論文裡那四類超圖塊的矩陣截圖。
他配文道。
局部規則極其醜陋。它受到令人難以置信的約束。這通常是個好兆頭。虛假的證明往往看起來太完美太對稱了。而這個，看著像現實。
論壇里原本喧鬧的冷嘲熱諷開始迅速安靜下來。
真正懂一點的人，已經閉嘴去啃那份主文檔、補充證明和代碼核驗包了。
不懂的人，還在盯著那塊怪異的十三邊形圖案，爭論它到底像什麼。
有人說像被踩扁的風箏。
有人說像壞掉的箭頭。
有人說像一隻被數學家嚴刑拷打過的螃蟹。
Tile J的第一批外號，就在這種既驚愕又荒誕的氣氛中，亂七八糟地誕生了。
江城大學，數學科學學院，C216室。
下午三點。
顧南舟的郵箱開始像拉響了防空警報一樣，連續不斷地彈出新郵件提示。
作為江城大學數學院的領軍人物之一，他清楚地知道，現在發生的一切，意味著什麼。
第一封來自美國，羅格斯大學。
語氣禮貌，但問題像手術刀一樣鋒利。
「顧教授，請問作者江臨真的是一名高中教師嗎？」
「該構造是否經過您團隊的獨立核查，引理 3.2 中是否存在隱式假設？」
第二封來自歐洲，法蘭西學院。
一位脾氣古怪但極具權威的布爾巴基學派的老幾何學家發來的。
他的郵件比代碼還短。
「有補充代碼嗎，我們想重現局部狀態表，我懷疑S-4情況的完備性。」
第三封來自日本，京都大學數理解析研究所。
對方問得極細，顯然是把論文生吞活剝了一遍。
「在04節中，S-5的短重複似乎依賴於特定的讀法約定。如果對右邊界應用手性反射，拓撲同胚是否仍然成立，是否有詳細的展開說明？」
第四封來自一個沒有任何機構後綴的陌生Gmail地址，只有乾巴巴的一句。
「請確認這不是一場惡作劇。」
……
倫敦時間下午兩點，北京時間晚上十點。
擁有兩萬多名學術界關注者的，馬庫斯·霍爾特的個人推特帳號上，出現了一條極其簡短的動態。
我暫時還沒準備好為完整的拓撲證明背書，但Tile J預印本值得嚴肅且嚴謹的關注，其代換規則在計算上是穩健的。
沒有感嘆號，沒有誇張的表情包配圖，沒有任何情緒化的形容詞，甚至連可能解決了單磚問題這種推測都沒有提。
但對於懂行的人來說，這句話的分量重於泰山。
因為它是一個極其明確的信號。
意思是：學術界的大佬已經親自下場跑過數據了。
這篇來自中國高中的論文，已經正式脫離了民科胡扯的範疇，拿到了進入神聖學術殿堂進行最終審判的入場券。
大家可以開始花時間去推敲它了。
半小時後，這條推特的截圖被人轉進了國內幾個核心的純數微信群。
又過了十幾分鐘，知乎上出現了一個匿名提問，並迅速被打上了熱榜標籤。
提問：如何評價馬庫斯·霍爾特稱 arXiv最新上線的Tile J論文值得嚴肅對待？
底下第一條高贊回復，帶著一種抑制不住的驚疑不定。
「謝邀，剛在數學群里看到截圖，整個人都是懵的。查了一下作者單位，Jiangcheng No.7 High School。真的假的，不是同名同姓的某位大佬惡搞？」
第二條回復更加專業且謹慎。
「別急著吹，霍爾特教授的話很嚴謹，只是說計算穩健，沒說拓撲證明對了。如果真的是單磚，那就不是普通大新聞，而是非周期鋪砌方向最具終結意味的成果，是可以直接寫進數學史教科書。如果是假新聞或者營銷號炒作，這種反噬能毀了一個人。所以我的建議是，先等同行覆核。」
但無論大家如何謹慎，火苗已經不可阻擋地從學術圈邊緣開始往大眾視野漫延。
對全世界的數學工作者來說，這是一個再普通不過的時刻。
伺服器位於康奈爾大學的龐大機器，像一台不知疲倦的學術吞吐泵，將全球各地在過去二十四小時內提交的智慧結晶、心血、亦或是狂想，無差別地傾瀉在網際網路上。
每天這個時候，幾百篇新預印本會被批量推送上線，按學科分類，整整齊齊地排進各自的列表里。
代數幾何、數論、偏微分方程、組合數學……
每一個分類下面，都是一長串當天上傳的標題，作者，和那串以年月開頭的編號。
絕大多數論文，會在這個列表里待上一天，被全世界各地的幾十個人掃一眼摘要，也許有兩三個人會點開PDF下載，然後沉下去。
等待它們的是不知道有沒有盡頭的審稿周期，或者乾脆在學術的汪洋大海中無人問津。
這就是學術世界的日常。
平靜，海量，毫不起眼，卻又暗流涌動。
在整個數學分類下，當天新增論文超過百篇。
math.CO，組合數學分類下，也排著一長串新標題。
英國，沃里克。
當地時間凌晨一點零七分，馬庫斯·霍爾特原本已經合上電腦，準備睡覺。
他今年四十六歲，是沃里克大學的數學教授。
他的研究方向是離散幾何，如果用更精確的學術語言來界定，他做的是平面鋪砌與非周期代換系統。
這個方向冷門艱深，極度考驗研究者對幾何拓撲的直覺。
全世界真正將身家性命壓在這個方向上的核心研究者，滿打滿算不超過一百五十人。
他們大多彼此認識，甚至清楚每個人手頭正在攻克的子課題。
但睡前掃一眼 arXiv 更新列表，是霍爾特十幾年雷打不動的習慣。
大多數時候，更新列表上只是一些熟悉領域裡的小改進，某個問題的推廣，某個模型的技術修補。
並不會給他帶來驚喜。
霍爾特端著一杯剛泡好的洋甘菊茶，靠在書房那把有些褪色的皮質靠背椅上，用右手拇指在iPad的屏幕上機械地往下劃。
圖著色問題在稀疏圖上的算法邊界，跳過。
關於某些特殊超圖組合恆等式的代數證明，跳過。
一種新型多面體拉姆齊數估計，掃一眼摘要，存下來回頭讓博士生看看。
下一篇。
An Aperiodic Monotile via Local Forcing.
【寫到這裡我希望讀者記一下我們域名 TW 看書網超貼心，𝗌𝗁𝗎.𝗍𝗐等你尋 】
霍爾特的拇指懸停在屏幕上方，第一反應絕不是興奮。
相反，湧上心頭的是幾乎刻進DNA里的職業性疲憊，甚至伴隨了輕微的煩躁。
因為非周期單磚這五個字，在他這個圈子裡，是一個特殊的存在。
它就像是物理學界的永動機，或者數論界的哥德巴赫猜想，自帶一種致命的魔力，吸引著無數飛蛾撲火。
正因為它有名，正因為它在幾何直觀上顯得如此通俗易懂，所以每隔一段時間，霍爾特的郵箱裡，arXiv的列表上，就會冒出一個聲稱解決了它的勇士。
絕大多數是民間數學愛好者。
有人寄來自以為能鋪滿平面的手繪怪形狀，附上一封長達十幾頁，充滿感嘆號和狂熱情緒的信件。
有人把彭羅斯鋪砌改了改邊緣線，換個顏色，就宣布自己顛覆了凝聚態物理和結晶學。
有人的證明通篇充斥著顯然，容易看出，不難想到，卻在最基礎的拓撲定義上漏洞百出。
霍爾特記得，幾年前，有一個自稱退休工程師的人甚至把一份這樣的手稿，同時寄給了圈裡好幾個人，據說連九十多歲的彭羅斯本人都收到了一份。
結果那東西，連第一頁的歐氏空間等距變換群的定義都沒撐過去。
他見過太多了。
多到養成了一種條件反射，看到單磚加非周期再加一個查無背景的名字，他基本可以斷定，這又是一篇可以三秒鐘掃完，然後永遠丟進垃圾桶的東西。
他嘆了口氣，端起茶杯喝了一口，拇指準備划過。
但他沒有。
因為標題里的最後兩個詞，像一根極細的針，輕輕扎了一下他的視神經。
Local Forcing
這個詞太冷太具體了。
這不太像民科或者業餘愛好者喜歡用的詞。
民科的論文，標題往往很長很滿，帶著生怕世界不知道其偉大的抑制不住的興奮。
比如——《關於一類全新的非周期鋪砌的革命性發現及其對晶體學的深遠意義》，諸如此類。
而這一篇，只有六個詞。
An Aperiodic Monotile via Local Forcing.
霍爾特鬼使神差地輕觸了屏幕。
平板加載出PDF。
點開詳情頁，他的目光習慣性地先掃向作者和單位。
Jiangcheng No.7 High School， China
霍爾特的眉頭立刻皺了起來。
高中？
中國高中？
單作者？
這幾個信息元素疊加在一起，在數學界的語境下，幾乎相當於把不要浪費時間這六個字打在了屏幕上。
在高度專業化的現代數學中，一個署名單位是中國普通高中的作者，單槍匹馬解決一個困擾學界半個世紀的幾何難題？
概率無限趨近於零。
如果不是剛才掃了一眼摘要，霍爾特絕對會立刻關掉這個頁面。
摘要也很短。
沒有革命性的，沒有突破，沒有任何一個試圖說服讀者它有多重要的形容詞。
它只是平靜地陳述：本文構造了一個單連通多邊形，證明它能夠鋪滿平面，且任何這樣的鋪砌都不具有平移周期性。
克制而精準，是極其標準的現代數學學術語言。
霍爾特往下翻，直接跳過引言，來到了第一張圖。
圖 1：Tile J 的幾何構造
屏幕上出現了一個十三邊形。
霍爾特端著茶杯的手，瞬間懸停在半空，茶水因為細微的顫抖而在杯壁上盪起一圈漣漪。
他做了二十多年的鋪砌研究，對各種幾何形狀有著一種近乎野獸般的直覺和嗅覺。
眼前這個東西，輪廓極度不規則，到處是突兀的凹角和凸角，像一頂被人粗暴壓扁又用力擰過一把的怪帽子。
太醜了。
但讓霍爾特瞳孔微縮的是，它不是民科會畫出來的那種丑。
民科畫的丑，往往是隨意的，沒有內在邏輯的，為了湊拼圖而強行扭曲邊緣的丑。
而眼前的這個十三邊形的丑，帶著一種令人心悸的必然性。
它不像是一個憑審美畫出來的圖形，反倒看著像是一組極度嚴苛的數學方程互相傾軋妥協後，被死死約束出來的解。
它的每一個角，似乎都卡在某個特定的角度上。
它的每一條邊，似乎都和別的邊有著說不清的對應關係。
這說明，這個形狀底層嵌在一個非常經典的六角形/三角形網格之中。
霍爾特本能地放下茶杯，坐直了身體，兩指在屏幕上放大，仔細審視那條看似突兀的凹邊。
「不對勁。」
他低聲喃喃自語，點開PDF側欄，跳到第三節。
第一頁開頭孤零零地印著兩行英文。
This section does not prove uniqueness of individual tile assignments.
It proves recognizability of the hierarchical skeleton under finite boundary ambiguity.
霍爾特盯著這兩行英文看了足足一分鐘。
之前的疲憊和漫不經心一掃而空，取而代之的是一種獵人看到未知猛獸足跡時的戰慄。
這句話太專業了。
甚至可以說，太知道愛因斯坦問題的命門和痛處了。
在過去幾十年無數宣告失敗的單磚候選證明中，百分之九十的人都死在一個地方。
他們天真地以為，只要證明了每一塊底層的磚都能唯一地歸入某個上一層的大塊，證明就完成了。
然而，在無限延伸的平面上，由於非周期性，邊界上總會存在某些模稜兩可的拼接方式。
真正要證明的，不是每一塊底層磚都能絕對唯一地歸入上一層大塊，而是在有限邊界歧義之外，層級骨架能不能被局部規則穩定讀出。
這個來自中國高中的傢伙，不僅知道這個陷阱，甚至主動把刀尖對準了這裡。
霍爾特已經變涼的花草茶推到書桌邊緣，重新打開PDF的側邊欄，深吸了一口氣，直接跳到整個證明最核心也是最容易暴斃的章節。
04_no_periodic_strip.pdf
如果這篇稿子是某個高級別的惡作劇，或者存在某個隱蔽的致命錯誤，百分之九十九會在這裡露餡。
霍爾特先看讀法約定。
然後看翻面處理。
再看短重複片段。
很快，他看到一張表。
S-3，S-4，S-5，S-6，S-7。
這些是局部看起來，似乎有可能順著某個軸線進行周期延展的邊界片段。
作者根本沒有把這些危險的局部組合藏起來，或者用一句容易證明其不成立糊弄過去。
相反，他像一個冷酷的外科醫生，把這些可能導致理論崩潰的毒瘤一個個切開，單獨編號。
他列出了這些片段的初始形態，翻面讀法約束，然後最關鍵的是，他推演了這些片段在進行第三次代換後的分裂情況。
霍爾特的手指在屏幕上停住，低聲感嘆了一句：「Interesting...」
繼續翻附錄。
一個小時之後，霍爾特靠回椅背，只覺得一陣難以名狀的電流從尾椎骨竄上後腦。
他看了看電腦右下角的時間，凌晨一點四十五分。
他思索片刻，打開郵箱客戶端，新建了一封郵件。
在收件人欄里，他謹慎地敲下了第一個名字：Craig Kaplan。
停頓了一下。
滑鐵盧大學的那幫人是做計算幾何、鋪砌和可視化的頂級專家。
對這種基於代換規則的複雜構造，Kaplan的團隊擁有世界上最敏銳的代碼直覺。
如果存在低級錯誤，他們寫個腳本跑一下就能發現。
於是，他又輸入了第二個名字：Chaim Goodman-Strauss。
阿肯色大學的幾何學家。
如果這篇稿子的層級替代結構存在拓撲學上的幻覺，那種級別的老狐狸幾乎不可能看不出來。
他原本還想再加幾個名字。
離散幾何的圈子太小了。
小到一封帶有可能解決單磚問題暗示的郵件一旦擴散出去，半天之內就能傳遍全球所有真正關心這個問題的人，甚至引來媒體的無端騷擾。
在還沒有真正看清，沒有做哪怕一次基礎覆核之前，霍爾特不想製造無謂的學術噪音。
最後，他的郵件標題寫得極短，不帶任何標點符號。
You need to look at this.
正文更是簡練到了極點。
I am not saying it is correct.
But it is not the usual nonsense. Look at Section 4， specifically the treatment of the S-5 ambiguity.
點擊發送後，霍爾特沒有去睡覺，而是重新回到PDF第一頁，拿起觸控筆，在那個醜陋的十三邊形旁邊，重重地畫了一個圈。
這一次，他開始逐字逐句地，用審視數學真理的嚴苛目光，認真閱讀。
書房的窗外，是英國深夜濃重的黑暗。
但在學術網際網路的神經元里，一個巨大的信號已經開始沿著光纜飛速傳遞。
幾個小時後，加拿大，滑鐵盧市。
Craig Kaplan剛剛起床。
作為一個長期浸淫在Penrose鋪砌、伊斯蘭幾何紋樣和計算機替代系統中的專家，他每天的第一件事就是煮咖啡，然後查閱郵箱。
當他看到來自馬庫斯·霍爾特半夜發來的郵件時，咖啡壺正發出咕嚕咕嚕的沸騰聲。
「You need to look at this.」
看到這個標題，Kaplan挑了挑眉毛。
他太了解霍爾特了，那個典型的英國老派學者，絕不會輕易在郵件里用這種帶有命令式的迫切語氣。
他端著咖啡，點開了郵件里的arXiv連結。
看標題，看摘要，看圖 1 的形狀。
然後，他的目光落在了作者單位上：Jiangcheng No.7 High School。
Kaplan 盯著屏幕足足愣了十秒鐘，然後撲哧一聲笑了出來。
「馬庫斯昨晚是不是喝多了？」
他本能地想要關掉頁面，但處於對霍爾特學術信譽的尊重，他忍住了。
把頁面拉到了霍爾特郵件中特別指出的第四節。
幾分鐘後，Kaplan臉上的笑意完全消失了。
他放下馬克杯，立刻喚醒了旁邊的兩台高性能工作站。
……
同一時間，德國，柏林。
一個計算幾何與組合算法實驗室里。
年輕的博士後研究員克勞斯正在跑一個SMT求解器。
他沒有看證明文本。
他是被同門師兄在群里@起來的。
「用De Bruijn網格法，測試這塊磚的局部可延展性。」克勞斯一邊咬著冷掉的三明治，一邊敲擊鍵盤。
他要做的，是讓超級計算機來判斷，給定一個由Tile J拼成的半徑為R的圓盤區域，是否必然存在一種方法將其擴展到無窮大，並且在擴展過程中強制打破平移周期性。
這是局部強迫理論在計算學上的終極試金石。
屏幕上的終端窗口瘋狂滾動著數據。
狀態空間呈指數級爆炸，但克勞斯寫出了極好的剪枝算法，去掉了那些在論文S表格中已經被證實為死路的分支。
半小時後，計算結束。
終端輸出了綠色的字符：NO PERIODIC PATCHES FOUND UP TO R=10.
SURVIVING BRANCHES MATCH SUBSTITUTION DATA.
克勞斯手裡的三明治掉在了桌子上。
他在那個只有七八個頂級算法研究者的私密小群里發了一張截圖。
下面附帶了幾句話。
I expected nonsense.
This is not nonsense.
At least the local forcing table is not collapsing.
This deserves a real proof check.
……
歐洲，北美，日本……
在這看似風平浪靜的幾個小時內，火苗開始在學術圈極其隱秘的深處，沿著最頂尖的幾個大腦迅速蔓延。
沒有人在社交媒體上大呼小叫，真正懂行的人都在沉默地下載PDF，沉默地寫代碼驗證，沉默地在草稿紙上推演S-5表格的拓撲死路。
下午兩點。一個名叫Tiling & Tessellation的硬核學術論壇上，終於有人忍不住貼出了Tile J的圖。
帖子標題非常謹慎：Another einstein claim? (Tile J， on arXiv today)
最開始的十幾個回復，充滿了學術界常見的刻薄和冷嘲熱諷。
「High school? seriously? 」
「等有人驗證了代換系統再叫醒我。」
「輪廓太隨意了，不像是有深刻代數性質的東西。」
可是，僅僅過了四十分鐘，風向變了。
一個頂著滑鐵盧大學IP的帳號（很多人猜測是Kaplan實驗室的人）回復了一句。
等等，這個代換結構看起來是真的，我剛用他們的坐標重新生成了前四層超大塊，沒有重疊。
又過了一會兒，一位在法國CNRS工作的學者貼出了論文裡那四類超圖塊的矩陣截圖。
他配文道。
局部規則極其醜陋。它受到令人難以置信的約束。這通常是個好兆頭。虛假的證明往往看起來太完美太對稱了。而這個，看著像現實。
論壇里原本喧鬧的冷嘲熱諷開始迅速安靜下來。
真正懂一點的人，已經閉嘴去啃那份主文檔、補充證明和代碼核驗包了。
不懂的人，還在盯著那塊怪異的十三邊形圖案，爭論它到底像什麼。
有人說像被踩扁的風箏。
有人說像壞掉的箭頭。
有人說像一隻被數學家嚴刑拷打過的螃蟹。
Tile J的第一批外號，就在這種既驚愕又荒誕的氣氛中，亂七八糟地誕生了。
江城大學，數學科學學院，C216室。
下午三點。
顧南舟的郵箱開始像拉響了防空警報一樣，連續不斷地彈出新郵件提示。
作為江城大學數學院的領軍人物之一，他清楚地知道，現在發生的一切，意味著什麼。
第一封來自美國，羅格斯大學。
語氣禮貌，但問題像手術刀一樣鋒利。
「顧教授，請問作者江臨真的是一名高中教師嗎？」
「該構造是否經過您團隊的獨立核查，引理 3.2 中是否存在隱式假設？」
第二封來自歐洲，法蘭西學院。
一位脾氣古怪但極具權威的布爾巴基學派的老幾何學家發來的。
他的郵件比代碼還短。
「有補充代碼嗎，我們想重現局部狀態表，我懷疑S-4情況的完備性。」
第三封來自日本，京都大學數理解析研究所。
對方問得極細，顯然是把論文生吞活剝了一遍。
「在04節中，S-5的短重複似乎依賴於特定的讀法約定。如果對右邊界應用手性反射，拓撲同胚是否仍然成立，是否有詳細的展開說明？」
第四封來自一個沒有任何機構後綴的陌生Gmail地址，只有乾巴巴的一句。
「請確認這不是一場惡作劇。」
……
倫敦時間下午兩點，北京時間晚上十點。
擁有兩萬多名學術界關注者的，馬庫斯·霍爾特的個人推特帳號上，出現了一條極其簡短的動態。
我暫時還沒準備好為完整的拓撲證明背書，但Tile J預印本值得嚴肅且嚴謹的關注，其代換規則在計算上是穩健的。
沒有感嘆號，沒有誇張的表情包配圖，沒有任何情緒化的形容詞，甚至連可能解決了單磚問題這種推測都沒有提。
但對於懂行的人來說，這句話的分量重於泰山。
因為它是一個極其明確的信號。
意思是：學術界的大佬已經親自下場跑過數據了。
這篇來自中國高中的論文，已經正式脫離了民科胡扯的範疇，拿到了進入神聖學術殿堂進行最終審判的入場券。
大家可以開始花時間去推敲它了。
半小時後，這條推特的截圖被人轉進了國內幾個核心的純數微信群。
又過了十幾分鐘，知乎上出現了一個匿名提問，並迅速被打上了熱榜標籤。
提問：如何評價馬庫斯·霍爾特稱 arXiv最新上線的Tile J論文值得嚴肅對待？
底下第一條高贊回復，帶著一種抑制不住的驚疑不定。
「謝邀，剛在數學群里看到截圖，整個人都是懵的。查了一下作者單位，Jiangcheng No.7 High School。真的假的，不是同名同姓的某位大佬惡搞？」
第二條回復更加專業且謹慎。
「別急著吹，霍爾特教授的話很嚴謹，只是說計算穩健，沒說拓撲證明對了。如果真的是單磚，那就不是普通大新聞，而是非周期鋪砌方向最具終結意味的成果，是可以直接寫進數學史教科書。如果是假新聞或者營銷號炒作，這種反噬能毀了一個人。所以我的建議是，先等同行覆核。」
但無論大家如何謹慎，火苗已經不可阻擋地從學術圈邊緣開始往大眾視野漫延。