第97章 匪夷所思的兩百頁
五月五日,下午兩點二十七分。
江城站二樓候車大廳。
電子屏幕上,開往南京南的G字頭列車已經開始滾動檢票提醒。
林照野坐在靠近檢票口的一排塑料座椅上,右手環抱著一個黑色雙肩包,左手握著手機。
候車大廳里人聲嘈雜。
拖箱輪子碾過地磚,小孩的哭鬧聲,廣播女聲毫無起伏的播報,某個人手機里外放的短視頻音效,全部混在一起,像一鍋沸騰的水。
林照野這幾天在江城其實沒有休息好。
不是因為酒店的環境不夠好,實在是一閉眼,腦子裡就是那塊塊十三邊形,那張邊界圖,那個高中生,那個被他們暫時稱為Tile J的候選構造。
廣播聲突兀地在頭頂響起,打破了他的沉思。
「旅客朋友們請注意,您乘坐的G1726 次列車現在開始檢票,請帶好您的隨身物品,在檢票口排隊等候……」
林照野深吸了一口氣,背上雙肩包,剛準備動身,手裡的手機忽然震動起來。
屏幕上跳出顧南舟的來電。
他接通,將手機貼在耳邊。
「南舟?」
電話那頭沒有任何寒暄,也沒有平時那種客氣的尊稱開場。
「林老師,您現在上車了嗎?」
顧南舟的聲音聽起來有一種奇怪的緊繃感,像是一根拉滿的弓弦。
林照野眉頭微皺,看了一眼已經開始移動的隊伍:「正準備檢票,怎麼了?」
「江臨交東西了。」
林照野剛要邁出去的腳步收了回來。
「交坐標表了?」
「不是。」
「那是四類大塊圖?」
「也不是。」
林照野的眉頭慢慢擰了起來,額頭上的川字紋顯得格外深刻。
「那就是局部情形表,他把那些有限邊界拼合的窮舉情況列出來了?」
【寫到這裡我希望讀者記一下我們域名 TW 看書網超給力,𝚜𝚑𝚞.𝚝𝚠書庫廣 】
電話那邊沉默了兩秒。
僅僅是兩秒,但林照野聽見了顧南舟沉重的呼吸聲。
「是紙面證明。」
林照野沒說話。
候車大廳里人來人往,一個拖著銀色行李箱的男人差點撞到他的膝蓋。
男人回頭低聲說了句不好意思,便匆匆匯入檢票的人潮里。
林照野卻像什麼都沒聽見,身體站在原地,思緒也仿佛在這一瞬間凝固了。
好半響他才沉聲問道:「什麼叫紙面證明?」
顧南舟的聲音壓得很低,仿佛怕驚動了什麼:「七項都有。」
「圖形定義,四類大塊,局部情形表,骨架唯一性,周期帶排除論證,主定理推導,還有一份專門給審閱者看的說明。」
林照野第一反應根本不是驚喜。
「我前幾天怎麼跟他說的?」
他的聲音一下子沉了下去,帶著長年身居教職的威嚴。
「寧可慢,不可錯。數學證明不是搭積木,底座哪怕有一毫米的虛位,蓋到第一百層的時候大廈就會直接垮塌。你是怎麼盯的,你們讓他趕工了?」
「沒有。」顧南舟回答得很快。
「那這份三天不到的時間就寫完的七項核心證明是什麼?」
林照野的聲音提高了幾分,引得旁邊排隊的好幾個旅客側目。
「他以為這是阿里競賽題?只要寫出個大體思路,閱卷老師就會給他步驟分嗎?這是要面對整個離散幾何和鋪砌理論圈的審查的。」
電話那頭的顧南舟沒有辯解,甚至沒有去安撫林照野的情緒。
他只是等林照野說完,才低聲說道:「林老師,我看到文件的時候,一開始的想法和您一模一樣,以為這是胡鬧。」
林照野輕哼了一聲表示聽到了。
顧南舟繼續道:「但我看了目錄,也試著看了前三節的引理推導,完全不像是趕工稿。」
林照野臉上的表情微微一變。
「發我看看。」
「已經發了。」
通話結束。
林照野站在檢票隊伍旁邊的空地上,單手劃開手機屏幕,點開微信。
顧南舟的對話框裡,一張長截圖赫然跳出。
那是一個文件夾的目錄結構截圖。
文件夾名稱冷酷而克制。
Tile_J_internal_proof_v0.9
下面整整齊齊排列著七個 PDF 文件。
00_shape_definition.pdf
01_supertile_construction.pdf
02_local_cases_table_paper.pdf
03_skeleton_recognition.pdf
04_no_periodic_strip.pdf
05_main_theorem.pdf
README_for_review.pdf
沒有代碼包。
沒有計算機核驗程序。
沒有那些需要花大量時間去編譯,調試,打包,在伺服器上復現的計算流文件。
這讓林照野倒懸在心口的第一口氣稍微鬆了那麼一點。
至少,江臨還沒有離譜到聲稱自己在兩天內寫完核驗程序,調試完所有局部枚舉,還打包成可復現材料。
如果他連核驗包都交了,林照野會直接把這份文件丟進廢紙簍,因為那在物理時間上違背了碳基生物的極限。
可下一秒,當他的視線向右移動,看見每個文件大小和後面附帶的頁數標記時,他剛松下去的那口氣,再次卡在了胸腔里。
形狀定義,十四頁。
四類大塊構造,二十六頁。
局部情形表紙面版,六十八頁。
骨架識別,三十七頁。
周期帶排除,四十二頁。
主定理,十九頁。
審閱說明,八頁。
合起來,兩百一十四頁。
林照野站在人潮湧動的檢票口旁邊,足足十幾秒沒動。
這不僅是頁數的問題,這是排版後的 PDF,這意味著大量的公式錄入,圖形繪製,符號定義。
在不到三天的時間裡敲出兩百多頁的數學排版,這已經不僅僅是腦力勞動,這需要機械般的手速和毫無卡頓的邏輯流。
「這位同志,您走不走?」
身後的一個背著旅行包的小伙子忍不住出聲提醒。
林照野抬頭看了一眼檢票口。
閘機正在快速吞吐著車票,綠色的通行箭頭頻頻閃爍,隊伍在不斷往前挪動。
大屏幕上,G1726的狀態已經變成了正在檢票。
他沒有動,低下頭,點開顧南舟發來的第二張截圖。
那是03_skeleton_recognition.pdf那一節的正文第一頁。
在黑體加粗的標題之下,第一段的摘要引言位置,寫著這樣一行字——
「本節證明的不是底層單磚歸屬唯一,而是在允許有限邊界擾動的意義下,高層合成骨架可由局部邊界規則唯一讀出。」
林照野看著這一行字,喉嚨里像是被什麼東西輕輕卡住,咽不下去,也吐不出來。
這句話寫得一點都不炫技,毫無美感。
甚至在用詞上顯得有些冗長。
但它正好釘在他們反覆提醒過的那個點上。
微信提示音再次響起。
顧南舟發來了一條文字消息。
【林老師,您要回來看看嗎?】
「讓陳彥把文件全部列印出來,我現在就打車回江大。」
林照野沒有再看檢票口一眼,按住語音鍵,對著電話那頭說道,聲音里那股疲憊一掃而空。
與此同時。
江城天河機場,T3航站樓。
邵明棠已經過了安檢,正坐在貴賓艙候機室靠近落地窗的單人沙發上。
膝蓋上放著一個深灰色的皮質電腦包,手裡端著一杯溫熱的檸檬水。
窗外,巨大的波音客機正在跑道上緩緩滑行。
顧南舟給她訂的是下午三點十分飛往北京的航班。
登機提示還沒有響。
機場的氛圍要比高鐵站安靜一些,但那種無處不在的匆忙感更加強烈。
拖著行李箱的商務旅客,步伐一致的空姐,戴著降噪耳機的大學生,每個人都在精準的時間線上切分著自己的行程,奔赴下一個目的地。
邵明棠也該走了。
北京的研究所里還有一場關於符號動力系統與非周期結構的研討會。
辦公桌上有一份博士生的開題材料等著她簽字。
更麻煩的是,《數學年刊》派發給她的一篇長達八十頁的審稿意見,她已經拖延了三天沒有回覆主編郵件。
不得不說,時間才是她這種級別的學者最稀缺的資源。
可就在她準備拉開電腦包拉鏈,趁著登機前的二十分鐘回復幾封郵件時,她放在旁邊的手機屏幕亮了。
來電顯示——顧南舟。
邵明棠拿起手機,滑動接聽。
「顧老師,我正準備登機,如果是關於後續跟進的紀要,你可以發我郵箱。」
「邵老師,江臨交材料了。」顧南舟的聲音透過聽筒傳來。
邵明棠第一反應很平靜:「他把坐標系參數還是基礎組合圖的矢量文件發過來了?進展不錯嘛,你讓陳彥核對一下,有沒有參數遺漏,初學者很容易在邊界角度上少算幾位精度。」
「是紙面證明。」
邵明棠的手指頓住了。
「哪一部分?」
「全部。」
邵明棠眉頭輕輕皺起,那雙總是帶著審視意味的眼睛裡閃過懷疑。
「全部是什麼意思?顧老師,我們都是做數學的,這種詞不能亂用。」
「七項都有。」顧南舟的聲音依舊很低,「從圖形定義一直到主定理。」
「周期帶排除呢?」
作為幾何拓撲方向的專家,她太清楚非周期平鋪證明中最難啃的骨頭在哪裡。
構造一個奇怪的形狀不難,難的是如何證明這個形狀在鋪滿整個無限平面的過程中,絕對不可能形成一條周期帶。
「單獨寫了。」
顧南舟知道她最關心什麼。
「寫了多少?」
「四十二頁?」邵明棠還以為自己聽錯了,聲調微微上揚,「就為了排除周期帶?」
「是的,純粹的邏輯推演和窮舉分析,沒有廢話。」
「翻面讀法處理了沒有?存在手性問題的單磚,在翻轉時會導致邊界匹配條件極度複雜化。」
「有專門的章節說明。」
「那麼短重複片段呢?那些在局部看起來像周期,但在更高層級會斷裂的偽周期序列呢?」邵明棠的語速越來越快。
「他單獨做了編號處理。」
電話那頭安靜了幾秒。
候機室的廣播響起了柔和的提示音:「前往北京的旅客請注意,您乘坐的CA1834 次航班現在開始登機,請帶好您的登機牌。」
邵明棠慢慢把電腦包合上。
「發我目錄截圖。」
「已經發到您微信了。」
邵明棠將手機切換到微信界面。
完整的目錄映入眼帘。
緊接著,是顧南舟特意發來的一張內頁截圖。
邵明棠盯著這截圖看了很久。
久到對面的商務客已經收起報紙前往登機口。
登機提示音轉為催促:「前往北京的旅客請注意,這是CA1834次航班……」
邵明棠抬頭看了一眼登機口,忽然拎起電腦包起身。
然後在手機上給顧南舟回了一條消息。
「我現在就回去,稍等。」
下午四點五十。
江大數學學院C樓,C216討論室。
幾天前,這裡第一次出現Tile J,幾位學者教授圍著一個高中生,列出長長的體力活清單,試圖告訴他通往學術殿堂的階梯有多麼陡峭。
而今天,陳彥抱著厚厚一摞剛剛從文印室拿出來的列印材料,用腳抵開門走進來時,兩條手臂都在微微發酸。
「顧老師,全部列印好了。」
他喘了口氣,把厚厚一疊材料放在寬大的會議桌上,發出砰的一聲悶響。
紙張甚至還帶著大型雷射印表機定影器里的餘溫。
淡淡的墨粉氣味在空氣里瀰漫。
顧南舟走上前,從最上面拿起一份分裝好的材料。
封面上沒有使用任何花哨的字體,也沒有加粗放大,只有標準的黑體字,排版乾淨得像是一份說明書。
Tile J Internal Proof Draft v0.9
(Tile J 內部證明草稿 0.9 版)
下面孤零零地跟著一行字。
提交者:江臨
沒有花哨標題,沒有誇張摘要。
甚至沒有在一開頭寫上一句數學論文裡常見的我們證明了。
翻開封面,就是簡簡單單的目錄結構。
圖形定義。
四類超圖塊。
局部情形表。
骨架識別。
周期帶排除。
主定理。
審閱說明。
陸知行坐在靠窗的椅子上,手裡也分到了一份列印稿。
翻了翻手裡的紙頁,密密麻麻的幾何邊界條件和置換矩陣讓他感到一陣頭暈。
他確實看不懂全部數學推導細節。
但他看得懂工程的嚴謹度。
這絕對不是小孩頭腦發熱,熬了三個通宵趕出來的期末作業。
因為這份文檔具備極高的工業級規範。
每個文件的頁腳都有精確到次級分類的版本號追蹤。
每一張複雜的拼接圖都有獨立的圖床編號。
每一節的開頭,不僅寫了這一節要證明的核心目標,甚至誠實地列出了當前版本存在優化空間的遺留事項。
在最後那份僅有八頁的《審閱說明》里,江臨甚至用項目要點的形式列了三條紅線。
一、本稿件僅作為小組內部證明邏輯跑通的草稿,未經同行交叉檢驗前,不構成任何意義上的公開論文定稿。
二、由於計算資源限制,計算機核驗包代碼仍在整理重構中,尚未達到可交付標準。當前提交的局部情形表為手工推演的紙面版本,存在人工疏漏風險。
三、懇請審閱者優先檢查以下核心邏輯鏈條:1. 骨架識別的收斂性;2. 周期帶排除的分類完備性;3. 局部情形表是否存在未窮舉的邊緣特例。
陸知行看到第二條時,心裡的石頭反而落了地。
江臨沒有把事情做得太滿。
沒有為了追求那種震撼全場的戲劇效果,硬著頭皮聲稱自己連上萬行的核驗代碼都已經完美寫完並零Bug運行了。
他坦然承認了計算機部分的延遲。
這說明,這個高中生的理智,始終凌駕於他的驕傲之上。
他非常清楚這項工作的流程邊界在哪裡,並且嚴格遵守了這一邊界。
「吱呀——」
門被推開。
林照野大步流星地走進來。
他明顯是從高鐵站打車一路催著司機狂奔回來的。
二十分鐘後,走廊里傳來高跟鞋清脆的敲擊聲,邵明棠也到了。
她單手拉著一個銀色的RIMOWA小行李箱,左手腕上還掛著因為過機場安檢而摘下,剛剛才重新戴上的積家腕錶。
她走進 C216,第一句話既不是問候,也不是抱怨交通。
她把行李箱往門邊一推,目光直接鎖定在長桌上:「周期帶排除那一節在哪?」
陳彥一個激靈,立刻把標註著 04_no_periodic_strip 的那疊材料抽出來,雙手遞了過去。
林照野已經翻閱到了第三份文件。
03_skeleton_recognition.pdf
顧南舟站在一旁,轉頭看向坐在桌子盡頭的江臨。
江臨安靜地坐在那裡,面前放著一個黑色筆記本和一支筆。
他的神情很平,沒有局促不安,也沒有得意洋洋。
如果不知情的人走進來,只會以為他剛剛交上去的不是一份可能震動幾何學界的紙面證明,而是一份按部就班完成的高中數學階段測試卷。
顧南舟看著他,心裡荒謬感與敬畏感交織成一團。
幾天前,也是在這個房間,他們幾個還在語重心長地告訴江臨:「這工作量極大,一個暑假能把初步框架搭出來都算快了。」
他們還在黑板前敲打著:「慢一點,穩一點,別急功近利。」
而現在,三天都不到,這孩子就把一座用嚴密邏輯砌成的城堡,以紙面證明的形式,擺在了他們面前。
顧南舟沒有問他這幾天有沒有睡覺。
問這個問題沒有意義。
對於真正沉浸在數學心流中的人來說,物理時間的流逝是可以被壓縮的。
他雙手撐在桌面上,只問了一個最核心的問題:「江臨,你提交的這份稿子,你自己評估是什麼狀態?」
江臨抬起頭,目光清澈。
「內部證明草稿,距離能投給期刊的終稿,還需要計算機核驗包。」
「圖形定義和超圖塊構造的邏輯比較成熟,各位老師可以先查閱這兩部分。」
「骨架識別中的局部同構性證明,以及周期帶排除的極限分類,是我自認為推導最耗時的部分。我建議優先覆核這兩節,如果這兩節的基礎假設被證偽,前面的構造全部推翻重來。」
林照野從稿件中抬起頭,深深地看了他一眼。
原先在高鐵站因為誤以為學生趕工而積壓的火氣,已經消散得無影無蹤。
這孩子清醒得可怕,他比在場的任何人都知道自己交出來的是個什麼東西,它的長板在哪裡,它的阿喀琉斯之踵又可能藏在哪裡。
……
C216討論室里,逐漸陷入高密度的安靜。
就像是在拆解一枚結構極其複雜的引爆裝置,所有人都知道某件足以改變現狀的事情正在發生,但沒有一個人敢提前開口出聲,生怕一點細微的氣流擾動就會破壞掉此刻的專注。
房間裡只剩下紙張被翻動的沙沙聲,筆尖偶爾在紙面上划過的沙沙聲。
林照野讀得很快。
眼睛像掃描儀一樣,在定義參數、引理描述和輔助配圖之間來回跳躍。
遇到關鍵推導時,會毫不猶豫地拿起筆,在頁邊距打上一個大大的問號。
遇到複雜的替換規則會停下來,在旁邊空白的草稿紙上飛快地畫出一個局部邊界,自己推演兩步,看看是否與江臨的結論吻合。
顧南舟站在後排,默默觀察著他的閱讀軌跡。
林照野先讀了第一頁的定義。
然後他直接跳到了第五頁的引理3.1。
接著他又向後翻,越過大段的文字,直接盯住第十二頁的證明過程核心推導。
十幾分鐘後,他卻又猛地翻回第二頁,去核對某個不起眼的初始約束條件。
這就是數學工作者在審查一份重量級證明時,最典型的防禦性讀法。
時間一分一秒地流逝。
牆上的掛鍾秒針一圈一圈地轉。
整整過了一個小時。
林照野終於停下了閱讀。
「顧南舟。」
「嗯。」顧南舟神經一緊,立刻上前一步。
「他把目標,說對了。」林照野的聲音有些沙啞。
「哪一句?」顧南舟心臟漏跳了一拍。
林照野伸出手指,在第一頁摘要部分重重地點了兩下,然後把那一頁沿著桌面推了過去。
「不是底層磚歸屬唯一,是高層合成骨架可讀出。」
林照野逐字逐句地重複了一遍這句話,仿佛在品嘗其中的分量。
「這句話如果第一步沒寫出來,或者理解有一絲偏差,後面幾十頁的推導全是一鍋糊塗帳。」
他抬起頭,目光直視桌子對面的江臨。
「你確實做到了。」
江臨微微頷首,並沒有順勢接下這句分量極重的誇獎。
他只是實事求是地說:「回去後,引言這一塊我重寫了六遍。一開始我也陷入了試圖證明底層絕對位置的誤區,後來發現邏輯鏈會斷,才退回到高層拓撲讀出的路徑上。」
林照野銳利的目光沒有離開江臨。
「既然允許底層不唯一,那麼,不可避免地會產生邊界擾動。這種容錯空間如果在疊代中被放大,系統就會崩潰。你這裡的邊界擾動,是怎麼從代數上壓制住它的?」
這不僅是提問,這已經是正式的學術答辯了。
「請翻到第十七頁。」江臨不假思索地說道。
林照野立刻翻到十七頁。
那裡橫亘著一張表格。
邊界模糊幾何類型。
局部可滑動最大範圍。
是否影響下一層骨架拓撲。
異常匹配處理規則矩陣。
林照野一行一行地往下看。
手指沿著表格的邊框慢慢滑動,大腦在飛速運轉,模擬著表格中描述的幾種極端碰撞情況。
站在旁邊的陳彥忍不住伸長了脖子,試圖跟著林照野的思路去看。
但他很快就放棄了。
並非完全看不懂上面的每一個漢字和數學符號,而是當這些符號組合在一起時,信息密度大得驚人,就像是一把密集的鋼齒梳子,毫不留情地從他的腦皮層上狠狠刮過,留下深深的刻痕卻抓不住實體。
江臨這份稿子,像一台緩慢但不可阻擋的推土機,一格一格一類一類地往前平推。
把所有的髒活累活都攤在陽光下。
慢得甚至讓人覺得有些繁瑣。
但正是這种放棄了聰明和炫技的不漂亮,在這群老派學者的眼裡,才散發著一種讓人心驚肉跳的厚重感。
又過了足足半個小時,林照野再次把紅筆放下。
「這一節骨架識別,我暫時沒有發現結構性斷裂,可以進行下一輪逐行覆核。」
陳彥心裡一震。
能被逐行覆核,意味著江臨已經拿到了一張進入成人學術世界的入場券。
就在這時,坐在另一側的邵明棠還在看。
她負責的是周期帶排除。
那四十二頁的材料,她看得比林照野還要慢,還要吃力。
當看完最後一行證明完畢的方塊符號時,邵明棠長久地停滯了動作。
顧南舟敏銳地察覺到了她的異樣,低聲問:「邵老師,怎麼,周期帶的假設邏輯有缺漏嗎?」
邵明棠沒有立刻回答。
她伸手將那頁印著短重複片段表格的紙張轉了九十度,推到顧南舟和林照野的視野中間。
「你們看這裡,他把S-3到S-7這五個片段,單獨剝離出來列在這裡了。」
顧南舟傾身看了一眼。
那些是幾段特殊的邊界符號序列。
在非周期平鋪的過程中,這些序列會發生一種危險的現象。
它們會在局部產生短暫的,看起來非常有規律的重複。
如果只觀察這幾步,審稿人很容易誤以為整個平鋪將墮落為周期性的。
但只要繼續推演下去,它們最終又會被其他約束條件打破。
這是整個證明中最具迷惑性的偽證區。
無數試圖證明一鋪單磚的人,都掛在這片沼澤地里。
江臨不但沒有試圖用模糊的語言把這些危險的片段藏起來。
他還把它們做成了高亮標記,擺在了整個章節最顯眼的地方。
這就好像是在排雷現場,他不僅趟過雷區,還主動在每一顆最容易被踩爆的地雷旁邊,插上了一面鮮紅的旗幟,坦蕩地告訴後面走上來的審稿人。
「我知道這裡看起來很危險,我知道你們一定會質疑這裡。請看,我已經把它的引信拆解完了。」
邵明棠的視線穿過長長的會議桌,落在江臨身上。
「江臨,這些短重複片段的陷阱,你是怎麼發現的?這是純幾何直覺,還是代數運算?」
江臨迎著這位幾何拓撲專家的目光,語調平靜地作答:「一開始是按層級在草稿紙上手算,算到第二層膨脹的時候,我發現有一段連續匹配的邊界出現了很不舒服的對稱重複。」
「只是依靠手算察覺到的?」邵明棠追問。
「察覺到之後,我就不能依靠直覺了。」江臨回答,「我後來引入了狀態轉移表格,把這五個片段作為初始輸入,強行推導到更高層,去檢驗它們到底會不會形成可以向兩端無限延伸的周期帶。」
「結果呢?」
「在進行第三次和第五次遞歸疊代後,這幾條偽周期序列發生了不可逆的分裂。它們無法再保持統一的編碼讀法,因此周期帶假設不成立。」
邵明棠低下頭,目光再次落在那幾行嚴密的推導公式上,然後輕輕點了點頭,將那疊材料整齊地收攏在一起。
「這一節周期帶的排除邏輯,環環相扣,也可以正式進入逐行覆核階段。」
聽到這裡,顧南舟緊繃了好幾個小時的後背,終於慢慢放鬆下來,他緩緩呼出了一口濁氣。
到目前為止,這份兩百多頁的紙面證明,沒有表現出任何一絲一毫屬於趕工稿的浮躁氣味。
而它最讓人感到詫異的地方,恰恰在於它太不像一個臨時趕出來的東西了。
一個高中生只花了不到三天時間交出來的龐大文件,它的字裡行間居然帶著一種被時光反覆打磨過的,沉甸甸的鈍感。
顧南舟的腦海中,不受控制地閃過數學史上那些著名的天才和他們的傑作。
數學史不是沒有過高密度文本。
不是沒有過年輕人用幾十頁紙,把別人以為需要很長時間才能說清楚的事情說出來。
可江臨仍然不一樣。
那些人至少有可追溯的訓練路徑。
江臨呢?
江城七中,高三。
下個月高考。
顧南舟猛地搖了搖頭,強行收住了腦海中蔓延的思緒。
現在絕不是感嘆這種匪夷所思的時候。
下午六點半,江城的天色漸漸暗了下來。
C216的頂燈已經全部打開,冷白色的燈光照亮了滿桌的文件。
林照野、邵明棠、顧南舟三個人,像三台高功率運轉的處理中心,各自負責一塊最難啃的區域。
陸知行作為工程視角的旁觀者,坐在旁邊負責記錄審查流程,確保每一個提出的疑點都有案可查。
陳彥則在白板前和電腦前兩頭跑,負責把幾位教授口述的幾處待核實問題編號,分門別類地整理到文檔上。
而江臨,依然安安穩穩地坐在長桌的最外端,像一個接受法庭盤問的證人,被這三位專家學者一條一條地追問。
林照野問得快,如同疾風驟雨。
邵明棠問得准,如同手術刀剔骨。
顧南舟問得細,如同顯微鏡排雷。
但即便是在這樣高強度的三方交叉火力下,江臨的每一個答案都依然滴水不漏。
沒有一處問題,能夠撼動核心的數學鏈條。
沒有一處漏洞,能夠把這座剛打下地基的大廈砸出裂痕。
基礎的骨架,在狂風暴雨的推演中,穩如泰山。
就仿佛他事先已經做過千百次的預演。
但大家其實都知道,這不可能是預演,根本沒有時間給他做預演。
唯一的答案只能是,這個高中生是真真正正的天才。
畢竟天才總是不可思議的。
江城站二樓候車大廳。
電子屏幕上,開往南京南的G字頭列車已經開始滾動檢票提醒。
林照野坐在靠近檢票口的一排塑料座椅上,右手環抱著一個黑色雙肩包,左手握著手機。
候車大廳里人聲嘈雜。
拖箱輪子碾過地磚,小孩的哭鬧聲,廣播女聲毫無起伏的播報,某個人手機里外放的短視頻音效,全部混在一起,像一鍋沸騰的水。
林照野這幾天在江城其實沒有休息好。
不是因為酒店的環境不夠好,實在是一閉眼,腦子裡就是那塊塊十三邊形,那張邊界圖,那個高中生,那個被他們暫時稱為Tile J的候選構造。
廣播聲突兀地在頭頂響起,打破了他的沉思。
「旅客朋友們請注意,您乘坐的G1726 次列車現在開始檢票,請帶好您的隨身物品,在檢票口排隊等候……」
林照野深吸了一口氣,背上雙肩包,剛準備動身,手裡的手機忽然震動起來。
屏幕上跳出顧南舟的來電。
他接通,將手機貼在耳邊。
「南舟?」
電話那頭沒有任何寒暄,也沒有平時那種客氣的尊稱開場。
「林老師,您現在上車了嗎?」
顧南舟的聲音聽起來有一種奇怪的緊繃感,像是一根拉滿的弓弦。
林照野眉頭微皺,看了一眼已經開始移動的隊伍:「正準備檢票,怎麼了?」
「江臨交東西了。」
林照野剛要邁出去的腳步收了回來。
「交坐標表了?」
「不是。」
「那是四類大塊圖?」
「也不是。」
林照野的眉頭慢慢擰了起來,額頭上的川字紋顯得格外深刻。
「那就是局部情形表,他把那些有限邊界拼合的窮舉情況列出來了?」
【寫到這裡我希望讀者記一下我們域名 TW 看書網超給力,𝚜𝚑𝚞.𝚝𝚠書庫廣 】
電話那邊沉默了兩秒。
僅僅是兩秒,但林照野聽見了顧南舟沉重的呼吸聲。
「是紙面證明。」
林照野沒說話。
候車大廳里人來人往,一個拖著銀色行李箱的男人差點撞到他的膝蓋。
男人回頭低聲說了句不好意思,便匆匆匯入檢票的人潮里。
林照野卻像什麼都沒聽見,身體站在原地,思緒也仿佛在這一瞬間凝固了。
好半響他才沉聲問道:「什麼叫紙面證明?」
顧南舟的聲音壓得很低,仿佛怕驚動了什麼:「七項都有。」
「圖形定義,四類大塊,局部情形表,骨架唯一性,周期帶排除論證,主定理推導,還有一份專門給審閱者看的說明。」
林照野第一反應根本不是驚喜。
「我前幾天怎麼跟他說的?」
他的聲音一下子沉了下去,帶著長年身居教職的威嚴。
「寧可慢,不可錯。數學證明不是搭積木,底座哪怕有一毫米的虛位,蓋到第一百層的時候大廈就會直接垮塌。你是怎麼盯的,你們讓他趕工了?」
「沒有。」顧南舟回答得很快。
「那這份三天不到的時間就寫完的七項核心證明是什麼?」
林照野的聲音提高了幾分,引得旁邊排隊的好幾個旅客側目。
「他以為這是阿里競賽題?只要寫出個大體思路,閱卷老師就會給他步驟分嗎?這是要面對整個離散幾何和鋪砌理論圈的審查的。」
電話那頭的顧南舟沒有辯解,甚至沒有去安撫林照野的情緒。
他只是等林照野說完,才低聲說道:「林老師,我看到文件的時候,一開始的想法和您一模一樣,以為這是胡鬧。」
林照野輕哼了一聲表示聽到了。
顧南舟繼續道:「但我看了目錄,也試著看了前三節的引理推導,完全不像是趕工稿。」
林照野臉上的表情微微一變。
「發我看看。」
「已經發了。」
通話結束。
林照野站在檢票隊伍旁邊的空地上,單手劃開手機屏幕,點開微信。
顧南舟的對話框裡,一張長截圖赫然跳出。
那是一個文件夾的目錄結構截圖。
文件夾名稱冷酷而克制。
Tile_J_internal_proof_v0.9
下面整整齊齊排列著七個 PDF 文件。
00_shape_definition.pdf
01_supertile_construction.pdf
02_local_cases_table_paper.pdf
03_skeleton_recognition.pdf
04_no_periodic_strip.pdf
05_main_theorem.pdf
README_for_review.pdf
沒有代碼包。
沒有計算機核驗程序。
沒有那些需要花大量時間去編譯,調試,打包,在伺服器上復現的計算流文件。
這讓林照野倒懸在心口的第一口氣稍微鬆了那麼一點。
至少,江臨還沒有離譜到聲稱自己在兩天內寫完核驗程序,調試完所有局部枚舉,還打包成可復現材料。
如果他連核驗包都交了,林照野會直接把這份文件丟進廢紙簍,因為那在物理時間上違背了碳基生物的極限。
可下一秒,當他的視線向右移動,看見每個文件大小和後面附帶的頁數標記時,他剛松下去的那口氣,再次卡在了胸腔里。
形狀定義,十四頁。
四類大塊構造,二十六頁。
局部情形表紙面版,六十八頁。
骨架識別,三十七頁。
周期帶排除,四十二頁。
主定理,十九頁。
審閱說明,八頁。
合起來,兩百一十四頁。
林照野站在人潮湧動的檢票口旁邊,足足十幾秒沒動。
這不僅是頁數的問題,這是排版後的 PDF,這意味著大量的公式錄入,圖形繪製,符號定義。
在不到三天的時間裡敲出兩百多頁的數學排版,這已經不僅僅是腦力勞動,這需要機械般的手速和毫無卡頓的邏輯流。
「這位同志,您走不走?」
身後的一個背著旅行包的小伙子忍不住出聲提醒。
林照野抬頭看了一眼檢票口。
閘機正在快速吞吐著車票,綠色的通行箭頭頻頻閃爍,隊伍在不斷往前挪動。
大屏幕上,G1726的狀態已經變成了正在檢票。
他沒有動,低下頭,點開顧南舟發來的第二張截圖。
那是03_skeleton_recognition.pdf那一節的正文第一頁。
在黑體加粗的標題之下,第一段的摘要引言位置,寫著這樣一行字——
「本節證明的不是底層單磚歸屬唯一,而是在允許有限邊界擾動的意義下,高層合成骨架可由局部邊界規則唯一讀出。」
林照野看著這一行字,喉嚨里像是被什麼東西輕輕卡住,咽不下去,也吐不出來。
這句話寫得一點都不炫技,毫無美感。
甚至在用詞上顯得有些冗長。
但它正好釘在他們反覆提醒過的那個點上。
微信提示音再次響起。
顧南舟發來了一條文字消息。
【林老師,您要回來看看嗎?】
「讓陳彥把文件全部列印出來,我現在就打車回江大。」
林照野沒有再看檢票口一眼,按住語音鍵,對著電話那頭說道,聲音里那股疲憊一掃而空。
與此同時。
江城天河機場,T3航站樓。
邵明棠已經過了安檢,正坐在貴賓艙候機室靠近落地窗的單人沙發上。
膝蓋上放著一個深灰色的皮質電腦包,手裡端著一杯溫熱的檸檬水。
窗外,巨大的波音客機正在跑道上緩緩滑行。
顧南舟給她訂的是下午三點十分飛往北京的航班。
登機提示還沒有響。
機場的氛圍要比高鐵站安靜一些,但那種無處不在的匆忙感更加強烈。
拖著行李箱的商務旅客,步伐一致的空姐,戴著降噪耳機的大學生,每個人都在精準的時間線上切分著自己的行程,奔赴下一個目的地。
邵明棠也該走了。
北京的研究所里還有一場關於符號動力系統與非周期結構的研討會。
辦公桌上有一份博士生的開題材料等著她簽字。
更麻煩的是,《數學年刊》派發給她的一篇長達八十頁的審稿意見,她已經拖延了三天沒有回覆主編郵件。
不得不說,時間才是她這種級別的學者最稀缺的資源。
可就在她準備拉開電腦包拉鏈,趁著登機前的二十分鐘回復幾封郵件時,她放在旁邊的手機屏幕亮了。
來電顯示——顧南舟。
邵明棠拿起手機,滑動接聽。
「顧老師,我正準備登機,如果是關於後續跟進的紀要,你可以發我郵箱。」
「邵老師,江臨交材料了。」顧南舟的聲音透過聽筒傳來。
邵明棠第一反應很平靜:「他把坐標系參數還是基礎組合圖的矢量文件發過來了?進展不錯嘛,你讓陳彥核對一下,有沒有參數遺漏,初學者很容易在邊界角度上少算幾位精度。」
「是紙面證明。」
邵明棠的手指頓住了。
「哪一部分?」
「全部。」
邵明棠眉頭輕輕皺起,那雙總是帶著審視意味的眼睛裡閃過懷疑。
「全部是什麼意思?顧老師,我們都是做數學的,這種詞不能亂用。」
「七項都有。」顧南舟的聲音依舊很低,「從圖形定義一直到主定理。」
「周期帶排除呢?」
作為幾何拓撲方向的專家,她太清楚非周期平鋪證明中最難啃的骨頭在哪裡。
構造一個奇怪的形狀不難,難的是如何證明這個形狀在鋪滿整個無限平面的過程中,絕對不可能形成一條周期帶。
「單獨寫了。」
顧南舟知道她最關心什麼。
「寫了多少?」
「四十二頁?」邵明棠還以為自己聽錯了,聲調微微上揚,「就為了排除周期帶?」
「是的,純粹的邏輯推演和窮舉分析,沒有廢話。」
「翻面讀法處理了沒有?存在手性問題的單磚,在翻轉時會導致邊界匹配條件極度複雜化。」
「有專門的章節說明。」
「那麼短重複片段呢?那些在局部看起來像周期,但在更高層級會斷裂的偽周期序列呢?」邵明棠的語速越來越快。
「他單獨做了編號處理。」
電話那頭安靜了幾秒。
候機室的廣播響起了柔和的提示音:「前往北京的旅客請注意,您乘坐的CA1834 次航班現在開始登機,請帶好您的登機牌。」
邵明棠慢慢把電腦包合上。
「發我目錄截圖。」
「已經發到您微信了。」
邵明棠將手機切換到微信界面。
完整的目錄映入眼帘。
緊接著,是顧南舟特意發來的一張內頁截圖。
邵明棠盯著這截圖看了很久。
久到對面的商務客已經收起報紙前往登機口。
登機提示音轉為催促:「前往北京的旅客請注意,這是CA1834次航班……」
邵明棠抬頭看了一眼登機口,忽然拎起電腦包起身。
然後在手機上給顧南舟回了一條消息。
「我現在就回去,稍等。」
下午四點五十。
江大數學學院C樓,C216討論室。
幾天前,這裡第一次出現Tile J,幾位學者教授圍著一個高中生,列出長長的體力活清單,試圖告訴他通往學術殿堂的階梯有多麼陡峭。
而今天,陳彥抱著厚厚一摞剛剛從文印室拿出來的列印材料,用腳抵開門走進來時,兩條手臂都在微微發酸。
「顧老師,全部列印好了。」
他喘了口氣,把厚厚一疊材料放在寬大的會議桌上,發出砰的一聲悶響。
紙張甚至還帶著大型雷射印表機定影器里的餘溫。
淡淡的墨粉氣味在空氣里瀰漫。
顧南舟走上前,從最上面拿起一份分裝好的材料。
封面上沒有使用任何花哨的字體,也沒有加粗放大,只有標準的黑體字,排版乾淨得像是一份說明書。
Tile J Internal Proof Draft v0.9
(Tile J 內部證明草稿 0.9 版)
下面孤零零地跟著一行字。
提交者:江臨
沒有花哨標題,沒有誇張摘要。
甚至沒有在一開頭寫上一句數學論文裡常見的我們證明了。
翻開封面,就是簡簡單單的目錄結構。
圖形定義。
四類超圖塊。
局部情形表。
骨架識別。
周期帶排除。
主定理。
審閱說明。
陸知行坐在靠窗的椅子上,手裡也分到了一份列印稿。
翻了翻手裡的紙頁,密密麻麻的幾何邊界條件和置換矩陣讓他感到一陣頭暈。
他確實看不懂全部數學推導細節。
但他看得懂工程的嚴謹度。
這絕對不是小孩頭腦發熱,熬了三個通宵趕出來的期末作業。
因為這份文檔具備極高的工業級規範。
每個文件的頁腳都有精確到次級分類的版本號追蹤。
每一張複雜的拼接圖都有獨立的圖床編號。
每一節的開頭,不僅寫了這一節要證明的核心目標,甚至誠實地列出了當前版本存在優化空間的遺留事項。
在最後那份僅有八頁的《審閱說明》里,江臨甚至用項目要點的形式列了三條紅線。
一、本稿件僅作為小組內部證明邏輯跑通的草稿,未經同行交叉檢驗前,不構成任何意義上的公開論文定稿。
二、由於計算資源限制,計算機核驗包代碼仍在整理重構中,尚未達到可交付標準。當前提交的局部情形表為手工推演的紙面版本,存在人工疏漏風險。
三、懇請審閱者優先檢查以下核心邏輯鏈條:1. 骨架識別的收斂性;2. 周期帶排除的分類完備性;3. 局部情形表是否存在未窮舉的邊緣特例。
陸知行看到第二條時,心裡的石頭反而落了地。
江臨沒有把事情做得太滿。
沒有為了追求那種震撼全場的戲劇效果,硬著頭皮聲稱自己連上萬行的核驗代碼都已經完美寫完並零Bug運行了。
他坦然承認了計算機部分的延遲。
這說明,這個高中生的理智,始終凌駕於他的驕傲之上。
他非常清楚這項工作的流程邊界在哪裡,並且嚴格遵守了這一邊界。
「吱呀——」
門被推開。
林照野大步流星地走進來。
他明顯是從高鐵站打車一路催著司機狂奔回來的。
二十分鐘後,走廊里傳來高跟鞋清脆的敲擊聲,邵明棠也到了。
她單手拉著一個銀色的RIMOWA小行李箱,左手腕上還掛著因為過機場安檢而摘下,剛剛才重新戴上的積家腕錶。
她走進 C216,第一句話既不是問候,也不是抱怨交通。
她把行李箱往門邊一推,目光直接鎖定在長桌上:「周期帶排除那一節在哪?」
陳彥一個激靈,立刻把標註著 04_no_periodic_strip 的那疊材料抽出來,雙手遞了過去。
林照野已經翻閱到了第三份文件。
03_skeleton_recognition.pdf
顧南舟站在一旁,轉頭看向坐在桌子盡頭的江臨。
江臨安靜地坐在那裡,面前放著一個黑色筆記本和一支筆。
他的神情很平,沒有局促不安,也沒有得意洋洋。
如果不知情的人走進來,只會以為他剛剛交上去的不是一份可能震動幾何學界的紙面證明,而是一份按部就班完成的高中數學階段測試卷。
顧南舟看著他,心裡荒謬感與敬畏感交織成一團。
幾天前,也是在這個房間,他們幾個還在語重心長地告訴江臨:「這工作量極大,一個暑假能把初步框架搭出來都算快了。」
他們還在黑板前敲打著:「慢一點,穩一點,別急功近利。」
而現在,三天都不到,這孩子就把一座用嚴密邏輯砌成的城堡,以紙面證明的形式,擺在了他們面前。
顧南舟沒有問他這幾天有沒有睡覺。
問這個問題沒有意義。
對於真正沉浸在數學心流中的人來說,物理時間的流逝是可以被壓縮的。
他雙手撐在桌面上,只問了一個最核心的問題:「江臨,你提交的這份稿子,你自己評估是什麼狀態?」
江臨抬起頭,目光清澈。
「內部證明草稿,距離能投給期刊的終稿,還需要計算機核驗包。」
「圖形定義和超圖塊構造的邏輯比較成熟,各位老師可以先查閱這兩部分。」
「骨架識別中的局部同構性證明,以及周期帶排除的極限分類,是我自認為推導最耗時的部分。我建議優先覆核這兩節,如果這兩節的基礎假設被證偽,前面的構造全部推翻重來。」
林照野從稿件中抬起頭,深深地看了他一眼。
原先在高鐵站因為誤以為學生趕工而積壓的火氣,已經消散得無影無蹤。
這孩子清醒得可怕,他比在場的任何人都知道自己交出來的是個什麼東西,它的長板在哪裡,它的阿喀琉斯之踵又可能藏在哪裡。
……
C216討論室里,逐漸陷入高密度的安靜。
就像是在拆解一枚結構極其複雜的引爆裝置,所有人都知道某件足以改變現狀的事情正在發生,但沒有一個人敢提前開口出聲,生怕一點細微的氣流擾動就會破壞掉此刻的專注。
房間裡只剩下紙張被翻動的沙沙聲,筆尖偶爾在紙面上划過的沙沙聲。
林照野讀得很快。
眼睛像掃描儀一樣,在定義參數、引理描述和輔助配圖之間來回跳躍。
遇到關鍵推導時,會毫不猶豫地拿起筆,在頁邊距打上一個大大的問號。
遇到複雜的替換規則會停下來,在旁邊空白的草稿紙上飛快地畫出一個局部邊界,自己推演兩步,看看是否與江臨的結論吻合。
顧南舟站在後排,默默觀察著他的閱讀軌跡。
林照野先讀了第一頁的定義。
然後他直接跳到了第五頁的引理3.1。
接著他又向後翻,越過大段的文字,直接盯住第十二頁的證明過程核心推導。
十幾分鐘後,他卻又猛地翻回第二頁,去核對某個不起眼的初始約束條件。
這就是數學工作者在審查一份重量級證明時,最典型的防禦性讀法。
時間一分一秒地流逝。
牆上的掛鍾秒針一圈一圈地轉。
整整過了一個小時。
林照野終於停下了閱讀。
「顧南舟。」
「嗯。」顧南舟神經一緊,立刻上前一步。
「他把目標,說對了。」林照野的聲音有些沙啞。
「哪一句?」顧南舟心臟漏跳了一拍。
林照野伸出手指,在第一頁摘要部分重重地點了兩下,然後把那一頁沿著桌面推了過去。
「不是底層磚歸屬唯一,是高層合成骨架可讀出。」
林照野逐字逐句地重複了一遍這句話,仿佛在品嘗其中的分量。
「這句話如果第一步沒寫出來,或者理解有一絲偏差,後面幾十頁的推導全是一鍋糊塗帳。」
他抬起頭,目光直視桌子對面的江臨。
「你確實做到了。」
江臨微微頷首,並沒有順勢接下這句分量極重的誇獎。
他只是實事求是地說:「回去後,引言這一塊我重寫了六遍。一開始我也陷入了試圖證明底層絕對位置的誤區,後來發現邏輯鏈會斷,才退回到高層拓撲讀出的路徑上。」
林照野銳利的目光沒有離開江臨。
「既然允許底層不唯一,那麼,不可避免地會產生邊界擾動。這種容錯空間如果在疊代中被放大,系統就會崩潰。你這裡的邊界擾動,是怎麼從代數上壓制住它的?」
這不僅是提問,這已經是正式的學術答辯了。
「請翻到第十七頁。」江臨不假思索地說道。
林照野立刻翻到十七頁。
那裡橫亘著一張表格。
邊界模糊幾何類型。
局部可滑動最大範圍。
是否影響下一層骨架拓撲。
異常匹配處理規則矩陣。
林照野一行一行地往下看。
手指沿著表格的邊框慢慢滑動,大腦在飛速運轉,模擬著表格中描述的幾種極端碰撞情況。
站在旁邊的陳彥忍不住伸長了脖子,試圖跟著林照野的思路去看。
但他很快就放棄了。
並非完全看不懂上面的每一個漢字和數學符號,而是當這些符號組合在一起時,信息密度大得驚人,就像是一把密集的鋼齒梳子,毫不留情地從他的腦皮層上狠狠刮過,留下深深的刻痕卻抓不住實體。
江臨這份稿子,像一台緩慢但不可阻擋的推土機,一格一格一類一類地往前平推。
把所有的髒活累活都攤在陽光下。
慢得甚至讓人覺得有些繁瑣。
但正是這种放棄了聰明和炫技的不漂亮,在這群老派學者的眼裡,才散發著一種讓人心驚肉跳的厚重感。
又過了足足半個小時,林照野再次把紅筆放下。
「這一節骨架識別,我暫時沒有發現結構性斷裂,可以進行下一輪逐行覆核。」
陳彥心裡一震。
能被逐行覆核,意味著江臨已經拿到了一張進入成人學術世界的入場券。
就在這時,坐在另一側的邵明棠還在看。
她負責的是周期帶排除。
那四十二頁的材料,她看得比林照野還要慢,還要吃力。
當看完最後一行證明完畢的方塊符號時,邵明棠長久地停滯了動作。
顧南舟敏銳地察覺到了她的異樣,低聲問:「邵老師,怎麼,周期帶的假設邏輯有缺漏嗎?」
邵明棠沒有立刻回答。
她伸手將那頁印著短重複片段表格的紙張轉了九十度,推到顧南舟和林照野的視野中間。
「你們看這裡,他把S-3到S-7這五個片段,單獨剝離出來列在這裡了。」
顧南舟傾身看了一眼。
那些是幾段特殊的邊界符號序列。
在非周期平鋪的過程中,這些序列會發生一種危險的現象。
它們會在局部產生短暫的,看起來非常有規律的重複。
如果只觀察這幾步,審稿人很容易誤以為整個平鋪將墮落為周期性的。
但只要繼續推演下去,它們最終又會被其他約束條件打破。
這是整個證明中最具迷惑性的偽證區。
無數試圖證明一鋪單磚的人,都掛在這片沼澤地里。
江臨不但沒有試圖用模糊的語言把這些危險的片段藏起來。
他還把它們做成了高亮標記,擺在了整個章節最顯眼的地方。
這就好像是在排雷現場,他不僅趟過雷區,還主動在每一顆最容易被踩爆的地雷旁邊,插上了一面鮮紅的旗幟,坦蕩地告訴後面走上來的審稿人。
「我知道這裡看起來很危險,我知道你們一定會質疑這裡。請看,我已經把它的引信拆解完了。」
邵明棠的視線穿過長長的會議桌,落在江臨身上。
「江臨,這些短重複片段的陷阱,你是怎麼發現的?這是純幾何直覺,還是代數運算?」
江臨迎著這位幾何拓撲專家的目光,語調平靜地作答:「一開始是按層級在草稿紙上手算,算到第二層膨脹的時候,我發現有一段連續匹配的邊界出現了很不舒服的對稱重複。」
「只是依靠手算察覺到的?」邵明棠追問。
「察覺到之後,我就不能依靠直覺了。」江臨回答,「我後來引入了狀態轉移表格,把這五個片段作為初始輸入,強行推導到更高層,去檢驗它們到底會不會形成可以向兩端無限延伸的周期帶。」
「結果呢?」
「在進行第三次和第五次遞歸疊代後,這幾條偽周期序列發生了不可逆的分裂。它們無法再保持統一的編碼讀法,因此周期帶假設不成立。」
邵明棠低下頭,目光再次落在那幾行嚴密的推導公式上,然後輕輕點了點頭,將那疊材料整齊地收攏在一起。
「這一節周期帶的排除邏輯,環環相扣,也可以正式進入逐行覆核階段。」
聽到這裡,顧南舟緊繃了好幾個小時的後背,終於慢慢放鬆下來,他緩緩呼出了一口濁氣。
到目前為止,這份兩百多頁的紙面證明,沒有表現出任何一絲一毫屬於趕工稿的浮躁氣味。
而它最讓人感到詫異的地方,恰恰在於它太不像一個臨時趕出來的東西了。
一個高中生只花了不到三天時間交出來的龐大文件,它的字裡行間居然帶著一種被時光反覆打磨過的,沉甸甸的鈍感。
顧南舟的腦海中,不受控制地閃過數學史上那些著名的天才和他們的傑作。
數學史不是沒有過高密度文本。
不是沒有過年輕人用幾十頁紙,把別人以為需要很長時間才能說清楚的事情說出來。
可江臨仍然不一樣。
那些人至少有可追溯的訓練路徑。
江臨呢?
江城七中,高三。
下個月高考。
顧南舟猛地搖了搖頭,強行收住了腦海中蔓延的思緒。
現在絕不是感嘆這種匪夷所思的時候。
下午六點半,江城的天色漸漸暗了下來。
C216的頂燈已經全部打開,冷白色的燈光照亮了滿桌的文件。
林照野、邵明棠、顧南舟三個人,像三台高功率運轉的處理中心,各自負責一塊最難啃的區域。
陸知行作為工程視角的旁觀者,坐在旁邊負責記錄審查流程,確保每一個提出的疑點都有案可查。
陳彥則在白板前和電腦前兩頭跑,負責把幾位教授口述的幾處待核實問題編號,分門別類地整理到文檔上。
而江臨,依然安安穩穩地坐在長桌的最外端,像一個接受法庭盤問的證人,被這三位專家學者一條一條地追問。
林照野問得快,如同疾風驟雨。
邵明棠問得准,如同手術刀剔骨。
顧南舟問得細,如同顯微鏡排雷。
但即便是在這樣高強度的三方交叉火力下,江臨的每一個答案都依然滴水不漏。
沒有一處問題,能夠撼動核心的數學鏈條。
沒有一處漏洞,能夠把這座剛打下地基的大廈砸出裂痕。
基礎的骨架,在狂風暴雨的推演中,穩如泰山。
就仿佛他事先已經做過千百次的預演。
但大家其實都知道,這不可能是預演,根本沒有時間給他做預演。
唯一的答案只能是,這個高中生是真真正正的天才。
畢竟天才總是不可思議的。