李東這才知道，香江那句不得了的東西，真不是導師濾鏡。
莎拉是真把安德魯斯–柯蒂斯猜想放倒了，當然是在綱領的意義上。
事情要從一年多以前說起。
那會兒莎拉還跟著彭羅斯做解析數論，不知道哪天動了念頭，一猛子扎進了拓撲。
而她還真有點李東的風範，一紮進去幹的第一件事，就是先把全行的飯碗給砸了。
她證了一條下界定理。
所謂的下界，就是最少也得這麼多。
這條定理說的是：哪怕一個呈示明明是能化簡的，把它化簡到底所需要的步數，最少也可能多到塔函式級。
那這跟安德魯斯–柯蒂斯猜想有什麼關係呢？
關係就在證偽兩個字上。
猜想說的是，這類繩結總解得開，想推翻它，就得找到一個解不開的反例。
可一個繩結解不開，要怎麼證明？
六十年來，大家的土辦法只有一個：扔給計算機去搜索把所有的解法全試一遍，全失敗了，那是不是就能將這個猜想證偽了呢？
而莎拉這條定理，就是把這個土辦法連根拔了。
它的回答是——當然不能，因為你不敢保證計算機的全部解法就是真的全部！有可能只是計算機的全部而已。
所以想給這個猜想判死刑，搜尋這件兵器，算是廢了。
那還剩什麼兵器？
不變數。
這東西就是尺子：給每一個呈示量出一個讀數，並且從數學上保證，只要是規定的那幾種變換，隨便怎麼變，讀數都不會變動。
這把尺子一旦到手，證偽就成了一道算術題。
拿它量平凡呈示，讀數是甲，再去量某個候選呈示，讀數是乙。
只要甲不等於乙，那就全劇終了。
因為變換動不了讀數，讀數不同的兩個東西，永遠不可能互相變過去。
所以那個候選，就是反例！
六十年的猜想當場就能被判死刑。
道理誰都懂。
問題是，六十年了，沒有人造得出這把尺子。
因此莎拉砸完飯碗後，又去把六十年來所有人的失敗翻了個遍，最後下了一句診斷。
。上子尺在，上想猜在不牆
。人形的生天裡學數是示呈衡平的群凡平
。群商的凡平非何任有沒又，寂死片一上調同們它
。樣一都數讀誰量，件類這量去，子尺典經的現是凡，是就話人說
。子尺有沒於等就，子尺的樣一都全數讀而
。子尺新把一了出搭裡疇範量張從，手己自拉莎是於
……是卻果結而然
。瞎全樣照，件種這量子尺新把這
。樣一也果結是可，兵借邊那理從想又著接
。牆面三了砌被麼這就，想猜個這偽證想，行不也的借外，行不的造新，行不的典經以所
。了棄放就半多兒這到，人般一個換
。條一了到看於終，月個幾了看牆面三這著盯拉莎可
。子樣的子尺把那的用能了出畫好恰來過反，起一在拼牆面三
。數變不化撓名取，來出了造著照
。西東的了不量子尺典經量去門專，上環限有在活數讀，裡基的下底最構結數代進藏訊資
。數讀的它了不實確換變種幾那明證：步一後最差只在現
。了廢就子尺把整，條一錯，算確的號符個千上裡環換非是都條一每，式等恆條萬一十了拆被步一這是題問可
。年百兩上幹得，人個一給兒活這，算條三兩啃天一手個一照按
。算運確的式方值取種這援支個一有沒，統系數代機算計的現而，年十整整啃頭悶得也，上起一手個十二出湊算就
。啃頭分行同位幾十了來拉後後前前，飛界世滿拉莎著帶斯羅彭，月個兩這
。條百幾來下啃才也天今到
