第一百零六章 誰說我只會做已知答案的題?
第106章 誰說我只會做已知答案的題?
那篇文章是在一個星期三的早晨抵達集訓隊的。
方宜民去傳達室取信件,回來的時候手裡抱著一摞牛皮紙信封和幾本訂閱的學術期刊。
他把東西放在活動室的桌子上,隊員們像往常一樣圍過來翻找自己的信件。
陳志遠翻到一本《數學通報》,正要翻開,忽然發現期刊堆里夾著一份英文報紙。
報紙是複印版,紙張比原版薄,但字跡清晰。
頭版右下角有一篇被紅筆圈起來的文章,標題是:「TheMemorizationMachine:
InsideChinasMathOlympiadFactory」—記憶機器:中國數學奧林匹克工廠內幕。
陳志遠讀完標題,臉色就變了。
他把報紙遞給旁邊的顧小北,顧小北接過去看了幾行,嘴唇抿成一條線。
報紙在隊員們手裡傳遞,每傳到一個人手裡,活動室里的溫度就下降一度。
傳到陸沉手裡的時候,他已經從前面幾個人的表情里讀出了文章的大致內容,但他還是從頭到尾讀了一遍。
文章署名是一個他從沒聽說過的英文名字,身份標註為教育觀察家。
文章的開頭從1989年國際數學奧林匹克說起,提到了中國隊在莫斯科的團體金牌,然後話鋒一轉——
「這枚金牌的背後,是一個將數學簡化為記憶訓練的系統。中國的數學教育不培養數學家,它培養的是人肉計算器。」
文章引用了幾個匿名信源的言論,描述了中國學生如何每天刷題十幾個小時、背誦數百個解題套路、在考場上復現標準答案。
文章還專門提到了即將到來的1990年IMO—「去年在莫斯科,中國隊用一套超前的數值算法震驚了賽場。
但當我們拆解那個算法時發現,它本質上仍是對蘇聯學派已有理論的重新包裝。
真正的原創性突破,依然來自莫斯科、普林斯頓和巴黎。
中國的年輕選手們可以把一道已知答案的題目做到完美,但當問題變成提出一個新問題時,他們沉默了。
陸沉把報紙放在桌上。
活動室里沒有人說話。
那種沉默不是被說服的沉默。
在場的十八個人,每一個都是在全國幾十萬中學生里殺出來的,他們太清楚自己付出了什麼,也太清楚那篇文章里描述的東西和他們的真實經歷根本不是一回事。
但正是這種根本不是一回事讓他們憤怒。
對方根本沒有試圖了解過他們,就給他們貼上了一張記憶機器的標籤,而這張標籤一旦貼上去,任何辯解都會被看作記憶機器的辯解。
方宜民站在門口,手裡還拿著那摞信件的剩餘部分,臉上的表情像吞了一隻蒼蠅。
「劉領隊說,這份報紙是數學所那邊傳過來的。所里的意思是—讓你們看看。」
「看了以後呢?」王雪松問。
全網首發更新 看書就上 TW 看書網,ⓢⓗⓤ.ⓣⓦ超讚
他的聲音比平時低了一個調,手裡拿著的鋼筆筆帽被他反覆拔開又按上,咔嗒咔嗒的聲音在安靜的空氣里格外清晰。
「劉領隊沒說。」方宜民把信件放在桌角,「他讓你們自己消化。」
陸沉把那份報紙重新拿起來,翻到文章的第三段—那一段專門分析了莫斯科算法模塊的不完整Cholesky分解。
文章作者顯然做了功課,他甚至知道預條件子的技術細節,但他的結論是:「這種方法在蘇聯科學院的計算數學傳統中早有雛形,中國選手的創新不過是將已有的理論框架應用到了一道具體的題目上,這就像一個人背熟了菜譜然後做出了一道菜,你可以說他手藝不錯,但你不能說他是廚師。」
陸沉讀到這裡的時候,手指在報紙邊緣停住了。
他忽然意識到,寫這篇文章的人,可能真的讀過蘇聯科學院的相關論文。
他知道索科洛夫的工作,知道西伯利亞分院在數值代數方向上的積累,知道不完整分解的思想在1980年代的蘇聯學術圈裡確實有過討論。
但這個人的結論下錯了一他把存在相關討論等同於問題已被解決,把有雛形等同於已完成。
這是一種很隱蔽的謬誤,需要相當的專業知識才能識別。
而對於沒有專業知識的普通讀者來說,這種論述方式具有極強的說服力—它列舉了具體的技術名詞,引用了學術脈絡,看起來非常權威。
集訓隊裡的每一個人都能感覺到文章在歪曲事實,但不是每個人都能在專業層面上拆解這種歪曲。
陸沉把報紙折好,放進口袋裡。
上午的訓練課,彭老師明顯感覺到了氣氛的異常。
他講了二十分鐘,下面的人記筆記的手是機械的,眼神是散的。
他沒有問你們怎麼了,他只是在講完一個引理之後,把粉筆放下,兩隻手撐在講台邊沿上,等。
等了大概半分鐘,顧小北舉手了。
「彭老師,那份報紙您看了嗎?」
彭老師點了點頭。
「看了。」
「您怎麼看?」
彭老師摘下眼鏡,用衣角擦著鏡片。
他擦得很慢,像是在利用這個動作組織語言。
「那篇文章里有一句話,說中國學生只會做已知答案的題,當問題變成提出一個新問題」時就沉默了。這句話本身,就是一個邏輯謬誤。」
他把眼鏡重新戴上。
「它把兩種不同的能力—解題能力和提問能力——對立起來,好像一個人有了其中一種就不能有另一種。
但事實上,真正好的數學工作,從來都是兩者兼備的。你不可能提出一個好問題,除非你對已有的答案理解得足夠深。你也不可能真正理解一個已有的答案,除非你在心裡已經把它拆開、重組、並且問過了如果不是這樣會怎樣。」
他拿起粉筆,在黑板上寫了兩個詞:Solve,Ask。
「解題和提問,是同一枚硬幣的兩面。
那篇文章故意把它們割裂開,然後用割裂之後的假對立來攻擊你。這是辯論技巧,不是數學。」
彭老師的這番話讓活動室里的氣氛鬆動了一點,但沒有完全解開那個結。
因為隊員們都知道,他們知道那篇文章在邏輯上有問題,但外面的人不知道。
那篇文章是寫給外面的人看的,而外面的人不會像彭老師這樣坐下來聽一堂邏輯分析課。
午休的時候,陸沉沒有回宿舍。
他坐在閱覽室里,面前攤著那份報紙的複印件,旁邊是他自己的便簽本。
他把文章中涉及具體數學內容的部分逐段摘出來,一共找出了七處。
第一處,關於不完整Cholesky分解早有雛形的論斷。
第二處,關於圖蘭定理擴展形式證明中代數拓撲構造的可替代性評價—文章稱這個證明雖然正確但不夠本質,可以用純組合方法替換。
第三處,關於預條件子譜界推導中蘇聯學派已有框架的指認。
第四處,關於中國隊算法模塊2.1秒成績的平台紅利解釋—一文章稱BESM—6的硬體特性恰好契合了那種算法,如果換一台機器就不靈了。
第五處,關於組合數學中拉姆齊數下界估計的標準套路描述。
第六處,關於中國選手擅長計算、不擅構造的概括性判斷。
第七處,關於中國數學教育培養不出費爾茲獎級別數學家的預測。
七處。
每一處他都找到了對應的數學反駁。
他在便簽本上把七處謬誤的拆解框架寫了出來。
不是情緒化的駁斥,是逐條的技術性回應。
第一處需要引證不完整Cholesky分解的學術史—1980年曼特菲爾的那篇開創性論文之前,確實有過零散的討論,但從未有人給出完整的收斂性證明和譜界估計。
他把索科洛夫1980年發表在《蘇聯科學院報告》上的一篇綜述翻了出來那是他從莫斯科帶回來的複印件,一直夾在行李里一索科洛夫在那篇綜述里明確寫道:「預條件共軛梯度法的理論瓶頸在於,我們尚不清楚不完整分解對矩陣譜分布的影響機制。這個問題的解決,可能還需要很多年。」
1980年,索科洛夫說還需要很多年。
1989年,陸沉在莫斯科給出了譜界推導。
近十年的差距,被那篇文章用早有雛形四個字一筆勾銷。
陸沉把索科洛夫那段話的俄文原文和英文翻譯並排抄在便簽本上,旁邊標註了出處期刊名稱、卷號、頁碼、發表年份。
然後他繼續拆第二處、第三處、第四處。
每拆一處,他都找到對應的原始文獻—不是教科書上的二手引用,是原始論文的原文。
圖蘭定理擴展形式的純組合替代方案?
埃爾德什本人在1985年嘗試過,失敗了,他在論文末尾寫道:「這條路可能不通。」
埃爾德什說可能不通,那篇文章說可以替換。
陸沉把埃爾德什1985年論文的結論部分摘了出來,原文照錄。
做完這些的時候,窗外的天已經暗了。
他面前的便簽本上密密麻麻寫滿了七處反駁的文獻引證和邏輯拆解,像七座微型堡壘,每一座都用事實和推導做磚石。
他靠在椅背上,看著這七座堡壘。
然後他忽然想到一個問題—他把這些東西寫出來了,然後呢?
給誰看?
集訓隊的隊友們不需要看這些,他們自己就是被污衊的人。
劉領隊和彭老師也不需要看,他們比陸沉更清楚那篇文章的問題在哪裡。
外面的讀者?他們不會有機會讀到一本十一歲少年的便簽本。
他需要的是一個能讓這些反駁被聽見的場合。
那個場合在三天後自己出現了。
周六下午,集訓隊舉辦了一次小型的學術研討會。
這是集訓的常規安排—每隔一周,隊員們輪流報告自己近期研究的一個小問題,或者分享一篇讀過的有意思的論文。
目的是保持學術視野的開闊,不只是盯著競賽題。
這周的研討會輪到陸沉做主講。
原定的題目是圖蘭定理構造性算法的初步框架,那是他和張克明通信中確定的研究計劃。
但周六上午,陸沉找到劉領隊,說他想換一個題目。
劉領隊看著他。
「換什麼?」
「拆解那份報紙上的數學謬誤。」陸沉把便簽本遞過去,「我已經準備好了。」
劉領隊接過便簽本,從頭翻到尾。
他翻得很慢,翻到索科洛夫1980年引文那一頁時停了一下,翻到埃爾德什1985年論文結論那一頁時又停了一下。
翻完之後他把便簽本還給陸沉。
「你知道這意味著什麼嗎?」劉領隊問。
「知道。」
「你一旦在公開場合講這個,就不再是一個單純的競賽選手了,你會被看作某種回應者,甚至代言人,這些標籤貼上去以後,摘不掉。」
陸沉說他知道。
劉領隊看了他好一會兒,然後說:「那就講。」
下午兩點,活動室里坐滿了人。
十八個集訓隊員,彭老師,方宜民,孫老師,還有幾個聞訊而來的數學所年輕研究員。
劉領隊坐在最後一排靠門的位置,椅子往後仰著,兩隻手交叉放在肚子上,像一個來聽戲的觀眾。
陸沉站在黑板前面。
他把那份報紙的複印件用磁鐵吸在黑板的左上角,然後把便簽本攤開在講台上。
「上周三,集訓隊收到了這份報紙。」他的聲音不大,但活動室的混響讓每個字都清清楚楚,「文章里涉及了七處具體的數學判斷。我今天把這七處拆開,逐一分析。」
他沒有開場白,沒有情緒鋪墊,直接進入第一處。
「文章稱,莫斯科算法模塊中使用的預條件共軛梯度法,尤其是其中的不完整Cholesky分解技術,在蘇聯學派的數值代數傳統中早有雛形,因此中國選手的工作只是應用已有理論。」
他在黑板上畫了一條時間線。
1980年代,蘇聯數值代數學派的發展脈絡:薩馬爾斯基、馬楚克、索科洛夫。
他在1980年的位置標了一個紅點。
「1980年,蘇聯科學院西伯利亞分院的索科洛夫研究員在《蘇聯科學院報告》上發表了一篇關於預條件技術現狀的綜述,在這篇綜述的結論部分,他寫了這樣一段話。」
陸沉拿起粉筆,用俄文在黑板上寫下了那段話的原文,然後在下面寫了中文翻譯。
「預條件共軛梯度法的理論瓶頸在於,我們尚不清楚不完整分解對矩陣譜分布的影響機制。這個問題的解決,可能還需要很多年。」
粉筆在可能還需要很多年下面畫了一道重重的橫線。
「1980年,這個領域最前沿的研究者,說這個問題還需要很多年,1989年,在莫斯科的賽場上,一套完整的譜界推導被提交給了評委會,附帶所有證明細節,評委會成員、斯捷克洛夫研究所的葉戈羅夫教授給出的評審意見是,填補了理論空白。」
陸沉轉過身,指著黑板上那份報紙。
「從還需要很多年到填補理論空白,中間這近十年的距離,被這篇文章用早有雛形四個字抹掉了,這不是學術判斷,這是用一種模糊的相似性,去否定一個具體的突破。」
活動室里安靜得只剩下暖氣管里水流的聲音。
坐在後排的那幾個年輕研究員,原本是靠在椅背上的,現在身體微微前傾。
陸沉繼續拆第二處、第三處、第四處。
埃爾德什1985年的可能不通。
圖蘭定理擴展形式中代數拓撲構造的不可替代性他現場用五分鐘證明了為什麼純組合方法在邊界條件下會失效。
BESM—6硬體特性的問題一他把算法中與硬體相關的部分和算法核心的邏輯部分分離,證明核心效率提升來自數學結構本身而非平台取巧。
每一處拆解,他都配上了原始文獻的引證。
索科洛夫的名片就夾在便簽本里,他沒有拿出來,但他知道它在那裡。
講到第六處的時候,他的語速慢了下來。
「文章里有一句話,說中國選手擅長計算,不擅構造。」
他把那行英文原文抄在黑板上,「這句話本身,是一個需要檢驗的命題,我檢驗它的方式是—我在這裡,現場構造一個問題。」
他轉過身,在黑板上寫下了拉姆齊數R(5,5)的經典定義。
然後他在旁邊畫了一個圖——不是完全圖,是一個帶有特定對稱性的複合圖結構。
「如果把拉姆齊問題從完全圖推廣到這種複合圖,原來的下界估計方法,無論是概率方法還是構造方法都會失效,因為複合圖中的單形分布不再滿足獨立性假設。」
粉筆在黑板上飛快地移動。
他構造了一個新的圖類,定義了它的生成規則,然後給出了第一個關於這個圖類的拉姆齊型下界定理。
這不是事先準備好的內容,便簽本上根本沒有這一部分。
這是他站在黑板前面,在拆解謬誤的過程中,忽然想到的。
周堯的圖論方法、王雪松的矩陣特徵值框架、何巍關於群表示論在組合中應用的思考、彭老師畫的那張圖蘭定理拓撲構造的簡圖。
這些東西在他的大腦里被那篇文章的荒謬點燃了,像幾種原本分開放置的化學試劑忽然被倒進了同一個燒杯里。
他畫完了。
黑板上是一個完整的數學構造:從問題定義到圖類構造,從引理陳述到定理表述。
每一步都清晰,每一步都嚴絲合縫。
「這是一個新的問題。」
陸沉放下粉筆,轉過身,「它不是IMO題庫里的,不是任何一本習題集裡的。它是我剛才想出來的,它的下界估計需要同時用到代數拓撲中的單純復形同調群計算、圖論中的極值構造、以及矩陣特徵值的譜方法,這三種工具在傳統數學分類里分屬三個不同的分支。」
他看著黑板上自己剛剛寫下的那個定理表述。
「誰說我只會做已知答案的題?」
活動室里安靜了很長時間。
那種安靜和之前的安靜不一樣。
之前是認真聽講的安靜,現在是某種東西被擊碎之後、碎片還沒落地的安靜。
那篇文章是在一個星期三的早晨抵達集訓隊的。
方宜民去傳達室取信件,回來的時候手裡抱著一摞牛皮紙信封和幾本訂閱的學術期刊。
他把東西放在活動室的桌子上,隊員們像往常一樣圍過來翻找自己的信件。
陳志遠翻到一本《數學通報》,正要翻開,忽然發現期刊堆里夾著一份英文報紙。
報紙是複印版,紙張比原版薄,但字跡清晰。
頭版右下角有一篇被紅筆圈起來的文章,標題是:「TheMemorizationMachine:
InsideChinasMathOlympiadFactory」—記憶機器:中國數學奧林匹克工廠內幕。
陳志遠讀完標題,臉色就變了。
他把報紙遞給旁邊的顧小北,顧小北接過去看了幾行,嘴唇抿成一條線。
報紙在隊員們手裡傳遞,每傳到一個人手裡,活動室里的溫度就下降一度。
傳到陸沉手裡的時候,他已經從前面幾個人的表情里讀出了文章的大致內容,但他還是從頭到尾讀了一遍。
文章署名是一個他從沒聽說過的英文名字,身份標註為教育觀察家。
文章的開頭從1989年國際數學奧林匹克說起,提到了中國隊在莫斯科的團體金牌,然後話鋒一轉——
「這枚金牌的背後,是一個將數學簡化為記憶訓練的系統。中國的數學教育不培養數學家,它培養的是人肉計算器。」
文章引用了幾個匿名信源的言論,描述了中國學生如何每天刷題十幾個小時、背誦數百個解題套路、在考場上復現標準答案。
文章還專門提到了即將到來的1990年IMO—「去年在莫斯科,中國隊用一套超前的數值算法震驚了賽場。
但當我們拆解那個算法時發現,它本質上仍是對蘇聯學派已有理論的重新包裝。
真正的原創性突破,依然來自莫斯科、普林斯頓和巴黎。
中國的年輕選手們可以把一道已知答案的題目做到完美,但當問題變成提出一個新問題時,他們沉默了。
陸沉把報紙放在桌上。
活動室里沒有人說話。
那種沉默不是被說服的沉默。
在場的十八個人,每一個都是在全國幾十萬中學生里殺出來的,他們太清楚自己付出了什麼,也太清楚那篇文章里描述的東西和他們的真實經歷根本不是一回事。
但正是這種根本不是一回事讓他們憤怒。
對方根本沒有試圖了解過他們,就給他們貼上了一張記憶機器的標籤,而這張標籤一旦貼上去,任何辯解都會被看作記憶機器的辯解。
方宜民站在門口,手裡還拿著那摞信件的剩餘部分,臉上的表情像吞了一隻蒼蠅。
「劉領隊說,這份報紙是數學所那邊傳過來的。所里的意思是—讓你們看看。」
「看了以後呢?」王雪松問。
全網首發更新 看書就上 TW 看書網,ⓢⓗⓤ.ⓣⓦ超讚
他的聲音比平時低了一個調,手裡拿著的鋼筆筆帽被他反覆拔開又按上,咔嗒咔嗒的聲音在安靜的空氣里格外清晰。
「劉領隊沒說。」方宜民把信件放在桌角,「他讓你們自己消化。」
陸沉把那份報紙重新拿起來,翻到文章的第三段—那一段專門分析了莫斯科算法模塊的不完整Cholesky分解。
文章作者顯然做了功課,他甚至知道預條件子的技術細節,但他的結論是:「這種方法在蘇聯科學院的計算數學傳統中早有雛形,中國選手的創新不過是將已有的理論框架應用到了一道具體的題目上,這就像一個人背熟了菜譜然後做出了一道菜,你可以說他手藝不錯,但你不能說他是廚師。」
陸沉讀到這裡的時候,手指在報紙邊緣停住了。
他忽然意識到,寫這篇文章的人,可能真的讀過蘇聯科學院的相關論文。
他知道索科洛夫的工作,知道西伯利亞分院在數值代數方向上的積累,知道不完整分解的思想在1980年代的蘇聯學術圈裡確實有過討論。
但這個人的結論下錯了一他把存在相關討論等同於問題已被解決,把有雛形等同於已完成。
這是一種很隱蔽的謬誤,需要相當的專業知識才能識別。
而對於沒有專業知識的普通讀者來說,這種論述方式具有極強的說服力—它列舉了具體的技術名詞,引用了學術脈絡,看起來非常權威。
集訓隊裡的每一個人都能感覺到文章在歪曲事實,但不是每個人都能在專業層面上拆解這種歪曲。
陸沉把報紙折好,放進口袋裡。
上午的訓練課,彭老師明顯感覺到了氣氛的異常。
他講了二十分鐘,下面的人記筆記的手是機械的,眼神是散的。
他沒有問你們怎麼了,他只是在講完一個引理之後,把粉筆放下,兩隻手撐在講台邊沿上,等。
等了大概半分鐘,顧小北舉手了。
「彭老師,那份報紙您看了嗎?」
彭老師點了點頭。
「看了。」
「您怎麼看?」
彭老師摘下眼鏡,用衣角擦著鏡片。
他擦得很慢,像是在利用這個動作組織語言。
「那篇文章里有一句話,說中國學生只會做已知答案的題,當問題變成提出一個新問題」時就沉默了。這句話本身,就是一個邏輯謬誤。」
他把眼鏡重新戴上。
「它把兩種不同的能力—解題能力和提問能力——對立起來,好像一個人有了其中一種就不能有另一種。
但事實上,真正好的數學工作,從來都是兩者兼備的。你不可能提出一個好問題,除非你對已有的答案理解得足夠深。你也不可能真正理解一個已有的答案,除非你在心裡已經把它拆開、重組、並且問過了如果不是這樣會怎樣。」
他拿起粉筆,在黑板上寫了兩個詞:Solve,Ask。
「解題和提問,是同一枚硬幣的兩面。
那篇文章故意把它們割裂開,然後用割裂之後的假對立來攻擊你。這是辯論技巧,不是數學。」
彭老師的這番話讓活動室里的氣氛鬆動了一點,但沒有完全解開那個結。
因為隊員們都知道,他們知道那篇文章在邏輯上有問題,但外面的人不知道。
那篇文章是寫給外面的人看的,而外面的人不會像彭老師這樣坐下來聽一堂邏輯分析課。
午休的時候,陸沉沒有回宿舍。
他坐在閱覽室里,面前攤著那份報紙的複印件,旁邊是他自己的便簽本。
他把文章中涉及具體數學內容的部分逐段摘出來,一共找出了七處。
第一處,關於不完整Cholesky分解早有雛形的論斷。
第二處,關於圖蘭定理擴展形式證明中代數拓撲構造的可替代性評價—文章稱這個證明雖然正確但不夠本質,可以用純組合方法替換。
第三處,關於預條件子譜界推導中蘇聯學派已有框架的指認。
第四處,關於中國隊算法模塊2.1秒成績的平台紅利解釋—一文章稱BESM—6的硬體特性恰好契合了那種算法,如果換一台機器就不靈了。
第五處,關於組合數學中拉姆齊數下界估計的標準套路描述。
第六處,關於中國選手擅長計算、不擅構造的概括性判斷。
第七處,關於中國數學教育培養不出費爾茲獎級別數學家的預測。
七處。
每一處他都找到了對應的數學反駁。
他在便簽本上把七處謬誤的拆解框架寫了出來。
不是情緒化的駁斥,是逐條的技術性回應。
第一處需要引證不完整Cholesky分解的學術史—1980年曼特菲爾的那篇開創性論文之前,確實有過零散的討論,但從未有人給出完整的收斂性證明和譜界估計。
他把索科洛夫1980年發表在《蘇聯科學院報告》上的一篇綜述翻了出來那是他從莫斯科帶回來的複印件,一直夾在行李里一索科洛夫在那篇綜述里明確寫道:「預條件共軛梯度法的理論瓶頸在於,我們尚不清楚不完整分解對矩陣譜分布的影響機制。這個問題的解決,可能還需要很多年。」
1980年,索科洛夫說還需要很多年。
1989年,陸沉在莫斯科給出了譜界推導。
近十年的差距,被那篇文章用早有雛形四個字一筆勾銷。
陸沉把索科洛夫那段話的俄文原文和英文翻譯並排抄在便簽本上,旁邊標註了出處期刊名稱、卷號、頁碼、發表年份。
然後他繼續拆第二處、第三處、第四處。
每拆一處,他都找到對應的原始文獻—不是教科書上的二手引用,是原始論文的原文。
圖蘭定理擴展形式的純組合替代方案?
埃爾德什本人在1985年嘗試過,失敗了,他在論文末尾寫道:「這條路可能不通。」
埃爾德什說可能不通,那篇文章說可以替換。
陸沉把埃爾德什1985年論文的結論部分摘了出來,原文照錄。
做完這些的時候,窗外的天已經暗了。
他面前的便簽本上密密麻麻寫滿了七處反駁的文獻引證和邏輯拆解,像七座微型堡壘,每一座都用事實和推導做磚石。
他靠在椅背上,看著這七座堡壘。
然後他忽然想到一個問題—他把這些東西寫出來了,然後呢?
給誰看?
集訓隊的隊友們不需要看這些,他們自己就是被污衊的人。
劉領隊和彭老師也不需要看,他們比陸沉更清楚那篇文章的問題在哪裡。
外面的讀者?他們不會有機會讀到一本十一歲少年的便簽本。
他需要的是一個能讓這些反駁被聽見的場合。
那個場合在三天後自己出現了。
周六下午,集訓隊舉辦了一次小型的學術研討會。
這是集訓的常規安排—每隔一周,隊員們輪流報告自己近期研究的一個小問題,或者分享一篇讀過的有意思的論文。
目的是保持學術視野的開闊,不只是盯著競賽題。
這周的研討會輪到陸沉做主講。
原定的題目是圖蘭定理構造性算法的初步框架,那是他和張克明通信中確定的研究計劃。
但周六上午,陸沉找到劉領隊,說他想換一個題目。
劉領隊看著他。
「換什麼?」
「拆解那份報紙上的數學謬誤。」陸沉把便簽本遞過去,「我已經準備好了。」
劉領隊接過便簽本,從頭翻到尾。
他翻得很慢,翻到索科洛夫1980年引文那一頁時停了一下,翻到埃爾德什1985年論文結論那一頁時又停了一下。
翻完之後他把便簽本還給陸沉。
「你知道這意味著什麼嗎?」劉領隊問。
「知道。」
「你一旦在公開場合講這個,就不再是一個單純的競賽選手了,你會被看作某種回應者,甚至代言人,這些標籤貼上去以後,摘不掉。」
陸沉說他知道。
劉領隊看了他好一會兒,然後說:「那就講。」
下午兩點,活動室里坐滿了人。
十八個集訓隊員,彭老師,方宜民,孫老師,還有幾個聞訊而來的數學所年輕研究員。
劉領隊坐在最後一排靠門的位置,椅子往後仰著,兩隻手交叉放在肚子上,像一個來聽戲的觀眾。
陸沉站在黑板前面。
他把那份報紙的複印件用磁鐵吸在黑板的左上角,然後把便簽本攤開在講台上。
「上周三,集訓隊收到了這份報紙。」他的聲音不大,但活動室的混響讓每個字都清清楚楚,「文章里涉及了七處具體的數學判斷。我今天把這七處拆開,逐一分析。」
他沒有開場白,沒有情緒鋪墊,直接進入第一處。
「文章稱,莫斯科算法模塊中使用的預條件共軛梯度法,尤其是其中的不完整Cholesky分解技術,在蘇聯學派的數值代數傳統中早有雛形,因此中國選手的工作只是應用已有理論。」
他在黑板上畫了一條時間線。
1980年代,蘇聯數值代數學派的發展脈絡:薩馬爾斯基、馬楚克、索科洛夫。
他在1980年的位置標了一個紅點。
「1980年,蘇聯科學院西伯利亞分院的索科洛夫研究員在《蘇聯科學院報告》上發表了一篇關於預條件技術現狀的綜述,在這篇綜述的結論部分,他寫了這樣一段話。」
陸沉拿起粉筆,用俄文在黑板上寫下了那段話的原文,然後在下面寫了中文翻譯。
「預條件共軛梯度法的理論瓶頸在於,我們尚不清楚不完整分解對矩陣譜分布的影響機制。這個問題的解決,可能還需要很多年。」
粉筆在可能還需要很多年下面畫了一道重重的橫線。
「1980年,這個領域最前沿的研究者,說這個問題還需要很多年,1989年,在莫斯科的賽場上,一套完整的譜界推導被提交給了評委會,附帶所有證明細節,評委會成員、斯捷克洛夫研究所的葉戈羅夫教授給出的評審意見是,填補了理論空白。」
陸沉轉過身,指著黑板上那份報紙。
「從還需要很多年到填補理論空白,中間這近十年的距離,被這篇文章用早有雛形四個字抹掉了,這不是學術判斷,這是用一種模糊的相似性,去否定一個具體的突破。」
活動室里安靜得只剩下暖氣管里水流的聲音。
坐在後排的那幾個年輕研究員,原本是靠在椅背上的,現在身體微微前傾。
陸沉繼續拆第二處、第三處、第四處。
埃爾德什1985年的可能不通。
圖蘭定理擴展形式中代數拓撲構造的不可替代性他現場用五分鐘證明了為什麼純組合方法在邊界條件下會失效。
BESM—6硬體特性的問題一他把算法中與硬體相關的部分和算法核心的邏輯部分分離,證明核心效率提升來自數學結構本身而非平台取巧。
每一處拆解,他都配上了原始文獻的引證。
索科洛夫的名片就夾在便簽本里,他沒有拿出來,但他知道它在那裡。
講到第六處的時候,他的語速慢了下來。
「文章里有一句話,說中國選手擅長計算,不擅構造。」
他把那行英文原文抄在黑板上,「這句話本身,是一個需要檢驗的命題,我檢驗它的方式是—我在這裡,現場構造一個問題。」
他轉過身,在黑板上寫下了拉姆齊數R(5,5)的經典定義。
然後他在旁邊畫了一個圖——不是完全圖,是一個帶有特定對稱性的複合圖結構。
「如果把拉姆齊問題從完全圖推廣到這種複合圖,原來的下界估計方法,無論是概率方法還是構造方法都會失效,因為複合圖中的單形分布不再滿足獨立性假設。」
粉筆在黑板上飛快地移動。
他構造了一個新的圖類,定義了它的生成規則,然後給出了第一個關於這個圖類的拉姆齊型下界定理。
這不是事先準備好的內容,便簽本上根本沒有這一部分。
這是他站在黑板前面,在拆解謬誤的過程中,忽然想到的。
周堯的圖論方法、王雪松的矩陣特徵值框架、何巍關於群表示論在組合中應用的思考、彭老師畫的那張圖蘭定理拓撲構造的簡圖。
這些東西在他的大腦里被那篇文章的荒謬點燃了,像幾種原本分開放置的化學試劑忽然被倒進了同一個燒杯里。
他畫完了。
黑板上是一個完整的數學構造:從問題定義到圖類構造,從引理陳述到定理表述。
每一步都清晰,每一步都嚴絲合縫。
「這是一個新的問題。」
陸沉放下粉筆,轉過身,「它不是IMO題庫里的,不是任何一本習題集裡的。它是我剛才想出來的,它的下界估計需要同時用到代數拓撲中的單純復形同調群計算、圖論中的極值構造、以及矩陣特徵值的譜方法,這三種工具在傳統數學分類里分屬三個不同的分支。」
他看著黑板上自己剛剛寫下的那個定理表述。
「誰說我只會做已知答案的題?」
活動室里安靜了很長時間。
那種安靜和之前的安靜不一樣。
之前是認真聽講的安靜,現在是某種東西被擊碎之後、碎片還沒落地的安靜。