第423章 被！證！偽！了！
法國，奧賽。
巴黎－薩克雷大學數學樓，雷米·夏爾捷拖著疲憊的步子走出討論班的小教室。
他是皮埃爾·龐蘇門下的三年級博士生。
龐蘇，巴黎－薩克雷大學教授，格羅莫夫門下最負盛名的弟子之一。
卡諾群上那條以他名字命名的求導定理，後來成了擬等距剛性這一脈的基石。
而前些日子，格羅莫夫從京城回來就給幾位老學生下了一個任務。
這個任務龐蘇自然不會親自去做，所以最後自然就落到了雷米頭上：四個編了號的臨界對，從C－2041到C－2044。
聽上去不多，雷米一開始也是這麼以為的。
然後他就在這四個編號上，搭進去了整整五個星期。
所謂臨界對，就是兩條改寫規則能在同一處同時下手的地方。
驗它就得把兩條路各自往下推到底，看它們最後歸不歸到同一個標準形裡。
道理是很簡單，但是幹起來可真要了人老命了。
雷米每推一步都是某個有限域係數的非交換多項式環裡的等式。
他先照著一套定死的PBW基，把幾百項的和逐項約化成標準形，再配平。
一步攤開就是上千個符號，係數活在有限域裡，加減乘除全得手算，還不許碰浮點。
用龐蘇教授的原話說，近似在這兒不是不精確，是沒有意義。
而且更折磨人的是每一個臨界對，都得兩個人背靠背各推一遍，逐符號比對。
上星期他和師兄對C－2042，對到第七頁才發現兩人有一個上標不一樣。
他和師兄三天的活直接作廢，當時他們都差點哭出來。
最氣人的是，這些折磨得他們欲仙欲死的恆等式，他到現在都不知道是幹什麼用的。
龐蘇只給他說是替一位叫莎拉的年輕人，核驗某個構造的一致性，手稿不便外傳。
莎拉是誰？什麼構造？一致了又能怎樣？這些他一概不知。
今天下午，他剛把第四個臨界對的複核記錄交了上去。
五個星期，四個編號。
“他孃的，按照這個速度，等全部驗完，我的學士帽都能傳給我兒子戴了！”
走出數學樓的時候，雷米仰頭看了看天，認認真真地考慮了一分鐘要不要轉行去做應用統計。
最後還是算了。
。西東算得也像好，邊那計統是要主，念信有多是不倒
。舍宿，點九上晚
。viXra了開點地慣習邊一，堡漢吃邊一米雷
。表列帖新，向方論群合組
。了住停就然忽手的他，著刷著刷
。》例反個一的想猜斯柯－斯魯德安定穩《
。薇羅·拉莎：者作
？拉莎
。眼眨了眨米雷
？眼麼這麼怎，字名個這
。住拿沒點差堡漢的裡手他，候時的行三第到掃要摘，去進了點地差神使鬼他
……組換變尼利加爾皮－夫耶維特馬？式等恆致一著？數變不和態化撓
？嗎號記套那的期星個五了啃他是就不這
。去下了讀始開節一第從，邊一到放堡漢的中手將忙連米雷
。大越得張的他，讀下往越
。磚塊四的上牆面一是只，號編個四那的啃他來原
。子尺的新把一了出造牆面三證連再後然，刑死了判尋搜給上學數從，理定界下的級式函塔條一了證先，拉莎位那來原
