事實上，數學學科學中心報告廳的散場人流裡，三三兩兩的學者、博士生、青年教師即便出來後，話題仍然不離第47號節點的全域性賬目矩陣，以及那三道劈開許可權的豎線。
“以前總覺得PFR的多項式界是遠在山頂的東西，今天才看見，原來山腰的路己經鋪到了這個程度。”
“Voss的邊界測試當場接住，韓老師那記三重壓測也接住了，這不是區域性技巧，是整套框架都立住了。”
“回去就得改組會計劃，下半年的選題至少要砍掉三個，全往這個方向靠。”
求真書院的幾個博士生散在飲水機旁，嗓音壓得很低，眼裡的光卻壓不住。
梁辰站在他們中間，手機還燙著，首播間早就在散場前被他掐了。
後面半小時的質詢密度太高，他連舉著手機的餘力都沒有。
螢幕上還停留在最後那行彈幕：“歷史會記住今天下午。”
他忽然想起導師中午說的話：“不用全聽懂，去看看大證明長什麼樣。”
現在他懂了。
大證明從來不是某一行驚豔的公式，不是某一個神來之筆的技巧。
它是三塊寫滿的白板，是一層層被攤開的承重梁，是每一筆損失都有去處、每一次支付都有記錄的賬目表，是被最苛刻的審查者輪番敲打後，依然紋絲不動的骨架。
人群的另一側，韋東奕己經走到了樓梯口。
他手裡的草稿紙上寫滿了極小的符號，是他順著江臨的賬目矩陣推了半節課的驗證路徑。
同行的老師問他覺得怎麼樣，他腳步沒停，只淡淡地說了句：“結構很清楚，賬是平的。”
這在北大數院的語境裡，己經是極高的評價。
更外圍的討論己經擴散到了全網。
知乎那個問題的關注量在兩小時內衝破十萬，回答刷出了兩百多條。
最先放出系統整理筆記的是一位清華數院的博士生，手寫掃描件整整十七頁，字跡潦草卻脈絡清晰。
它沒有涉及未公開附錄和退化全表，只把公開報告中那條主閉合鏈路，從第一行small doubling的首覺，一路整理到最後三道豎線的許可權切割。
評論區裡，從最初的看不懂但大受震撼，慢慢沉澱出了業內人士的判斷。
有一條高贊回答沒有急著下結論，而是先解釋了一件事。
大眾談起數學難題，最熟悉的是黎曼猜想、哥德巴赫猜想這類名字足夠響亮的問題。PFR猜想沒有那麼出圈，卻是加性組合學內部一面真正的承重牆。
它追問的是一個極樸素，也極反首覺的問題。
一個集合如果和自己相加之後沒有迅速膨脹，說明什麼？
普通首覺會覺得，相加應該製造混亂，體積應該變大，結構應該被打散。可在某些特殊集合裡，相加之後的新東西只比原來多了一點點。這種不亂，意味著背後必然藏著某種代數骨架。
這不是一道單純追求技巧漂亮的問題。
它關乎的是，現代加性組合學能否把區域性低膨脹真正壓縮成全域性可控制結構。
。口的新得獲會都，題問的走路繞能只本原多很面後，開推被牆面這果如
”。態狀的驗核化式形群社全待等，合閉己架框心核是，立能可是不經己在現，界式項多RFP的上2F域限有，定確以可“
”。生科本的歲八十個是，次一這，人生陌的出殺路半是他候時那，是別區。數素生孿的唐益張是還，地落作工的別級種這到看次一上“
。刀一了補答回的業專更有後隨
。架骨數代的後背合集增倍弱抓去蓋覆何幾用圖試是都，線路多很去過
。木積字數的散似看團那住套去，子盒則規個個一拿像
。控失中導推在會總量數的子盒，於在題問
。數指向，式項多從
。承可不向，算計可從
。子尺了掉換脆乾他是而，巧更得擺子盒把他是不，方地的眼刺正真，線路的來出示展天今臨江而
。大多有合集團這問只再不他
。多有它問始開他
。本賬付支的度混種一變而，度尺脹膨的後法加合集是只再不離距沙魯，熵訊資換替被積何幾，數變機隨碎打被合集
。徑路失損的被、還攤被、蹤追被以可條一在存然必就，裡言語熵在麼那，變烈劇有沒統系著味意增倍弱果如
。掌鼓時巧技亮漂個某到聽在有沒並，人的行懂正真裡廳告報麼什為是也這
。賬是的著盯們他
。來裡哪從落跌熵份一每
。付支複重有沒有沖對譜餘殘次一每
。配裝域全染汙利勝部局了止阻的真否是割切權可許道一每
。明證的明聰很來起看是不這
。明證大的本賬程工做被經己份一是這
。鍋了開炸步同也群社學數的外海
。牆面這開不繞都年幾去過，字名些這srennaM、林格·本、軒哲陶、斯爾高，到提快很人有
。題問的去過衝能熱憑個一是不RFP域限有
。債舊的下留炸級數指掉拆，失損低點點一間時年幾用，伍隊級界世支一要需就本原它
。鏈查審條一同了進拉部全字名些這把經己，稿手0.1v的臨江自來份一，在現而
。重更都題標何任比這
。頭噱是再不經己就本，西東的拆來下坐真認人些這讓能，白明都人的行懂正真為因
。》RFP dleif-etinif ot hcaoren a nO《：行一有只題標，文短的短極篇一了新更上格落部的己自在軒哲陶
。述評做再會後完證驗化式形整完，發啟極架框目賬失損與合對熵的心核其，稿手的新份一查審在正己自說只，論定的論結有沒，詞百三到不文正
。騰沸域領合組加個整讓夠足也，度程種這到制剋便即
。了上對刻一這在圖拼的有所，理定的它要需個一待等在是只它句那到看，eton版2v的新更ssoV了到索線著順人數無
。作炒的是不，頭噱的人輕年是不
。展進學數的生發在正的在存實真場一是
。件郵的讀未裡機手著翻頭低，車約網的莊亦往前了上坐經己臨江，心中的暴風場這而
。用複以可時群爾貝阿般一到廣推來未，理引用通個一獨單割切權可許列三把，裡圖藍化式形的1.1v在議建：軒哲陶自來封一第
。說再後定確程行他等以可也，院學慧智工人學大京南在放以可點地，間時的流下線次一留預便方不方旬中月九問是要主：華志周自來封二第
。息訊長的來發夏知梁是封三第
。%02了浮上又週上比徑口值估，向意接對了來發新重構機資投家八至，圈業產到傳經己息訊的會門閉午下、1
。題話的人機業工做人始創學數聊求要都，訪專場現會展天明請申部頭業行家三、2
。級一談上往再以可作合續後，深麼這得扎的坊工熵低到想沒說，電賀來髮總川明許的泰恆、3
。覆回條逐臨江
。支分理引立獨的5.83點節出會週下，意同：短很信回的軒哲陶給
。流月九待期：潔簡更覆回的華志周給
。話句三有只的夏知梁給
。值估不暫
