隨著係統的提示音落下,林葉隻覺世界開始褪色,而眼前的那一堆擺在桌麵上亂糟糟的草稿紙也開始扭曲、淡化。
下一秒,那種令人安心的失重感傳來。
當視野再次清晰時,他已經不在數院那間寬敞卻淩亂的辦公室裡了,而是回到了那個充滿了陽光、微塵和粉筆灰的高中教室。
窗外是四月的春景,黑板上仿佛還能看到一些殘留的粉筆印。
係統提供的這個修煉空間會根據現實中的季節來提供不同的窗外景色,可以說代入感拉滿了。
「呼……又回來了。」
林葉深吸了一口氣,那種熟悉的靜謐感讓他原本因為長期高強度思考而緊繃的神經稍微放鬆了一些。
前往閱讀更多精彩內容
這就是【十四天自由修煉空間】。
相比起之前那種由係統強製發布任務而讓他不不進入的模式,這次是他主動選擇回來,並且自己擁有絕對主導權的閉關室。
至於為什麼要選擇在這個時候使用這次寶貴的機會……
林葉徑直走向那個屬於他的後排靠窗座位,拉開椅子坐下,眼神逐漸變凝重。
因為他卡住了。 自從開學到現在,已經有兩個月的時間了,他在現實中幾乎是不眠不休地推進著邦別裡-朗猜想弱形式的證明。
請訪問ᴏᴏᴘ.ᴛᴡ獲取最快的章節更新
依託於【算術-幾何同構直覺】,他成功地定義出了納維-斯托克斯方程解空間的幾何形狀——也就是那個所謂的「偽雙曲流形」。
這第一步走很穩,那個用來限製解的幾何微分算子也構造像模像樣。
但當他試圖進行第二步,也就是證明【在這個流形上,有理點的高度是受控的】時,卻撞上了一堵看不見的牆。
無論他怎麼引入流體的耗散項,那個代表算術複雜度的高度函數始終無法收斂。
它就像是一匹脫韁的野馬,隻要時間t趨向於無窮,那個在丟番圖逼近中至關重要的誤差項(,f)就會指數級膨脹。
「雖然前段時間我證明了高度函數的控製項是收斂的,隻是沒想到……那個收斂竟然隻是幾何上的假象,算術上它卻發散了。」
想到這一點,林葉就感覺到一陣頭疼。
真不愧是邦別裡-朗猜想。
即使隻是一個弱形式,也都是陷阱滿滿。
這讓他想到了自己在上次的修煉空間中研究的那個問題,自己一開始就掉進了死磕代數的陷阱當中。
想到這個,林葉也終於是想起了自己好像還把這個問題發到了偏微分樹洞上麵,也不知道那些人有沒有發現死磕代數是不行的。 不過很快他就將心思拉了回來。
現在重要的還是自己的問題啊。
「現在的主要癥結就在於,流體在高雷諾數下的高頻振盪,導致了解曲線的高階導數增長速度失控,要想按住它,常規的分析手段肯定是已經失效了。」
「我需要從源頭解決這個問題,而現在需要知道的就是……」
林葉眯起了眼睛。
對於很多數學家,他們在研究過程中遇到了問題,最大的困難就是不知道自己想要解決問題需要什麼。
好在是對於林葉來說,他在這方麵很少遇到困難。
「我現在需要知道,在現代復幾何中,是如何利用jt叢,或者說高階切空間來強行截斷這種誤差增長的。」
這正是他知識體係中的盲區。
明確了自己需要什麼之後,他回過神,看向麵前的課桌。
此時,空蕩蕩的課桌上,沒有像往常一樣直接堆滿一堆學習資料。 此時上麵隻有一張潔白的、沒有任何字跡的a4紙,以及一支黑色的簽字筆。
而紙上也不像以前那樣寫著什麼修煉問題,因為這次的修煉問題需要他自己來設置。
係統的機械音適時在教室上方響起:
【請宿主在紙上寫下本次修煉的具體研究目標。】
【係統將根據目標關鍵詞,自動檢索並生成最高匹配度的學習資料與文獻。】
「果然是定製服務。」
林葉拿起筆,看著那張白紙。
既然是定製,那就不能寫太寬泛。
如果隻寫【證明邦別裡-朗猜想】,係統估計會給他扔一堆他早就看過的《a》或者法爾廷斯的論文,那是浪費時間。
必須足夠精準,直指那個誤差項的痛點!
」。具工的係關應對確精立建間之論數和析分複在……是的缺我,覺直何幾是不的缺我「
。神有如筆下葉林,眼開睜地猛 」。廣推維高的上域數函在典字atjv——是就也「
!刷刷刷
:字文的心核指直卻、澀晦其極行三了下寫上紙在他
】標目【
】。律規布分的上子除殊特在)tfl tj(升提tj 其,線曲純全的上簇數代型般一究研.1【
】。)f,(項差誤的中論理納林望奈製控以,理引數導數對義廣的簇爾貝阿非於用適個一造構或找尋.2【
】?跡軌點基的間空tj 入落會不,線曲解的形流體流明證何如:題問心核.3【
。灼灼光目,筆下放葉林,字行三這完寫
」。零歸迫被會就項差誤個那,點三這了決解要隻「
」。住鎖死死被會都數函度高,紮掙麼怎體流論無,時屆「
。吧料資習學麼什供提會統係看是還要主 ……過不
。料資習學的應相供提是而,題問答解接直他助幫會不可勵獎個這的統係
。了己自他看是還,題問決解否能終最
】。認確已標目【
】……獻文級頂的域領叉交析分複與論數維高索檢在正【
】。成完索檢【
。光微陣一了起泛空憑然突,上桌課的蕩蕩空本原,下落音聲統係著隨
」。砰「
。來下了落頭部大的重厚本一第
一及以……本三第、本二第是著接緊