《我的系統能刷數學經驗》第372章 徹底證明!(加更)(1)

作者:見習人類觀察員·5個月前

(ps:之前請假還欠一章好像一首還沒補,上一章劇情卡著的話大大們應該會很難受,今天干脆補上加更,而且3300字,很有誠意了吧。大大們知道怎麼做吧。然後恢復禮物加更,具體看文末作者說)

11月9日,下午三點。

徐辰推開IHES那間辦公室的門時,拉福格己經站在白板前了。

窗外的巴黎下著秋雨,光線昏沉。

辦公室裡,沒有開弔燈,只有桌上的檯燈亮著。那圈昏黃的光暈落在白板上,像是在等待著什麼東西被寫下來。

兩人都沒有說話。

也不需要說話。

他們都知道,今天就是決戰。

……

拉福格深吸了一口氣,拿起了黑色的馬克筆。

他將這一個月來,在無數個深夜裡換來的一切——自守表示的譜分解、跡公式的精細展開、尤拉乘積的絕對收斂條件——毫無保留地鋪陳在了白板的左半邊。

黑色的字跡蒼勁而厚重。

那是三十年的積累,一筆一劃地落在了今天這塊白板上。

徐辰拿起了藍色的馬克筆,將他的底層構造——測試卷積核Φ_N的區域性分量、Schramm-Loewner演化的軟化投影、那個在的靈光一現中誕生的“對稱摺疊運算元“——寫在了白板的右半邊。

藍色的字元尖銳而有力,帶著毫不掩飾的鋒芒。

一黑一藍,兩人從白板的兩端,開始向中央那片空白逼近。

……

這個過程,令人窒息。

因為這兩個模組,是在過去整整一個月的時間裡,由兩個人在完全分開的空間裡、獨立推導完成的。

雖然之前進行過一次介面除錯,雖然那三個漏洞己經被一一修補,但那次除錯只是區域性的、基於邊界條件的校驗。

今天,他們要進行的,是全域性的、底層的邏輯咬合。

如果在這最後的對接中,有某個極其隱蔽的、隱藏在數百行推導最深處的底層假設,悄悄地、以某種不可察覺的方式產生了錯位——

比如,拉福格在跡公式的譜展開中使用的某個區域性測度歸一化,和徐辰在對稱摺疊運算元中使用的全域性共軛約定,差了一個微小的共軛符號——

整個證明就會在最後這一步,轟然坍塌。

……

在數學史上,這種“倒在最後一毫米”的悲劇,簡首數不勝數。

最著名的例子,莫過於當年安德魯·懷爾斯在證明費馬大定理時的那次“世紀大翻車”。

1993年,懷爾斯在劍橋大學做了一連三天的報告,向全世界宣佈他證明了費馬大定理。整個數學界為之沸騰。然而,就在幾個月後的同行評審階段,審稿人發現,他在處理“科利瓦金-弗萊切尤拉系統”時,有一個微小的上界估計出現了邏輯斷層。

!塌崩間瞬明證的頁百兩達長個整,裂的小微個一這為因就

。個這了上補地險驚分十,下助幫的勒泰·德查理生學在才後最,棄放要想度一至甚,試嘗的絕次數無了歷經,年一整整了關閉迫被斯爾懷

。聲學些一到拿,篇三兩個發上》刊年學數《在能至甚,文論級頂的”示表瓦羅伽“和”線曲圓橢“於關篇幾出分拆能也然雖,心的年七前之他那,個那上補能沒斯爾懷年當果如

?樣怎又那但

。了罷石腳墊塊幾的下留者敗失是過不,果的碎零些那,前面盃聖極終座這”理定大馬費“在

。會機的神封上史學數在個那去失遠永將他

……

。雜復更斯爾懷比,面局的臨面格福拉和辰徐,在現而

。宙宇論理的同不然截系言語個兩這影投算層底與析分和調整是,的合圖試人兩們他而。的完架框言語的何幾數代套一同在是,明證的斯爾懷

——敗失合咬天今果如

。果的面是算,上》展進新學數《或》刊年學數《在發,文論級頂的“造構域區核積卷試測“和“解分譜示表守自“於關篇干若理整能也然雖,導推部全的人兩來月個一這那

。別區無毫敗失底徹與,說來人兩的想猜赫德哥結終底徹領綱茲蘭朗用在志於對這但

……

……唰

……唰

。聲沙沙的板白筆克馬支兩有只,裡室公辦

。納容全完的去老被法無,激的抑度極種某為因是而,怕害為因是不。抖微微在手的格福拉

。算驗預的次萬億了完,前之下落號符個一每在,度速的頻超近接種一以腦大,跳心的己自到不覺經己至甚他,冽冷神眼的辰徐

。近越來越,上線界形無的央中板白在,尖筆的人兩

。米釐十

。米釐五

……

。彩的般諭神們它予賦,刻時峰巔些這化神歡喜總們人

。懼恐能本的裂斷條鏈輯邏對及以,張的度極有只,耀榮點半到不往往人的中其與參,下當在但

。裡鬱抑刻深的失喪定確輯邏對陷正人本他而,聲笑談的雜嘈和味草菸質劣著斥充遭周,時理定備完不下寫裡落角的館啡咖納也維在爾德哥,年1391;算計後最的完上桌在趴、痛劇著忍是,中攣痙胃重嚴的致導考思度強高期長於由於正他,步一後最的程方力引論對相義廣定敲林柏在坦斯因,年5191;眠失夜整得慮焦而力業學和困貧為因正他,時稿初的理定本基數代下寫裡間房小狹的克瑞倫布在斯高的歲22,年9971

。刻時的靜安最、憊疲最、狽狼最於生誕往往它,臺舞的麗華不從理真

……

:號符黑行一後最的翼左式公跡整了下寫格福拉,於終

)}p,N{Φ(p_πp∏)π(m π_∑

:完寫號符藍行一後最的翼右映對何幾層底將辰徐

xd )x,x(Φ_K })A,2(LG)?,2(LG{_∫

。筆停時同,人兩

……

猜你喜歡

同題材或同分類的其他作品。