第34章 意外之喜！
年輕工程師拿出電腦，找了找，調出了論文的PDF。
田工接過筆記本電腦，眯著眼睛，把字體放大了一些。
《有限狀態博弈樹的絕對剪枝不等式與漸近收斂定理》
田工看到題目的時候，神色逐漸認真起來了。
會客室里其他人繼續閒聊，沒人注意到他的表情變化。
田工先翻到摘要，掃了一眼，又翻到引言，看了大約半分鐘，再翻到第三節的主定理。
然後他停下來了。
他把電腦往桌上一放，從公文包里掏出一支筆，拿過茶几上的便簽紙，在上面飛快地寫了幾行公式。
寫完，他盯著那幾行公式看了一會兒，又拿起電腦，翻到論文後面的證明部分。
跟著田工來的幾個人都是老部下，看他如此，都停下了閒聊。
「老田？」戴眼鏡的中年人試探著喊了一聲。
田工沒理他，又翻了兩頁，然後突然抬起頭。
「小趙，上個月你跟我匯報的那個事，就是搜索空間爆炸那個，你們現在卡在哪一步了？」
被點名的小趙愣了一下：「就是……分支因子上去之後，剪枝效率衰減得厲害，alpha-beta那套在我們的狀態空間裡基本失效，我們試了幾種啟發式，但是沒法給出可證明的界，驗證組那邊不認。」
田工點點頭：「你們用的還是Pearl那一套？」
「基本上是，數學專家讓我們這麼做的。」
田工指了指電腦屏幕說：「我說怎麼調不出來，概率框架在你們那個場景下本來就不合適，節點值之間的相關性太強，獨立同分布的假設根本不成立。」
小趙有些不知道該怎麼接話。
「這篇論文裡那個絕對剪枝不等式，思路是對的，他不走概率路線，走的是組合極值，你們那個問題，狀態是確定性的，本來就不該用概率方法去做。」
「老田，您是說……這篇論文對我們的項目有用？」戴眼鏡的中年人湊過來。
「應該有用，至少這個不等式可以拿來驗證一下我們目前那幾個啟發式的下界，如果他證明的這個界是緊的，那我們就知道繼續優化的天花板在哪兒了，這個東西，比我們自己摸黑試要省時間。」
「我預估，至少能省三個月到半年的時間。」
「這麼多嗎？」
會客室里其他幾個人都坐直了身子。
「可是田工，」小趙猶豫了一下，「這篇論文不是涉嫌引用文獻造假嗎？外面都在說那五篇蘇聯文獻是編的。」
田工把手機往桌上一放，笑了。
「你們怎麼就那麼篤定是編的？」
「網上查不到啊。」
「網上查不到的東西多了。」
田工慢悠悠地說：「蘇聯解體之後我去過一次大俄，大俄科學院圖書館裡面，整櫃整櫃的舊期刊積著灰，沒人管。」
「那也不能說這篇論文沒造假吧？」
「我跟你們說，造假這種事，從一篇論文裡是看得出來的。」
「你們看這篇論文的第三節，他從那五篇蘇聯文獻里引了三個引理，分別用在不等式的構造、收斂性證明和反例構造里，這三個引理不是孤立的，它們和論文裡其他部分的推導環環相扣。」
「如果是編的引理，他要麼編不出能用的，要麼編出來用一次就完，不可能編三個還彼此自洽地嵌在一個完整的證明里。」
「再說他引用的那五個名字，前兩個是搞AVL樹的那對師徒，做組合結構的，後三個是七十年代莫斯科國立大學那一撥人，主攻博弈論的極值分析，這些名字串在一起，是有學派源流的，編瞎話的人編不出來這麼一個譜系。」
「他論文裡第七頁那個引理3.2，是從蘭迪斯工作推出來的，我有印象，那個東西後來被蘇聯人用在另一個完全不相關的領域，叫近鄰搜索，一個大一學生，要是真造假，他能造到把蘭迪斯六十年代的工作背景都給造圓了？」
會客室里安靜了幾秒。
戴眼鏡的中年人苦笑：「田工，您這眼力……」
「少拍馬屁了，這不是眼力，稍微有點常識都能推斷出，不知道你們為什麼會覺得文獻造假。」
眾人：……
大佬你是在罵我們沒常識嗎？
果然人不管到了多少歲，都要挨領導的罵。
「這篇論文得驗證一下。」田工不知道其他人在想什麼，雷厲風行地把任務安排了下去。
這時候小趙出聲了：「田工，您也知道，我們最近不是在試另一套解法嗎？組裡十幾號人全壓在那個方向上，節點都排到一個月後了，實在抽不出人。」
「那……」
「華記。「田工旁邊一直沒說話的另一位老工程師突然開口。
田工轉頭看他。
「我們有人在華記。」
「華記這兩年一直想在人工智慧領域布局，我們派了不少工程師過去跟他們交流，著急的話，可以讓在那邊的工程師想辦法。」
田工點點頭：「這個思路對，讓他們去驗證，也不用占我們目前項目的人手。」
「那就讓小趙跟那邊的聯絡人對接一下。」
「好。」
田工看了看表，站起身：「走吧，不等了，校長估計一時半會兒來不了。」
幾個人收拾東西，剛走出會客室，就在走廊里碰上了急匆匆趕來的副校長。
副校長一看他們要走，臉色都變了，趕緊上前：「田工，幾位老師，實在抱歉，校長那邊臨時有學生工作要處理，他最多再耽誤一刻鐘就來。」
「不用了。」田工態度很平和，「我們時間也差不多了，這次來沒談成事情，回頭有機會再說。」
副校長一臉愧疚：「田工，這次真的是我們招待不周……」
田工笑了笑：「其實這次過來，倒給了我一個意外之喜。」
「啊？」副校長一愣，「什麼？」
田工沒解釋，只是拍了拍他的肩膀：「回頭校長回來了，你跟他說，今天這趟沒白來。」
說完一行人就走了。
副校長站在原地，一臉懵。
什麼意外之喜？
校長終於跟數院的人折騰完後，來到了會客室。
副校長立刻迎了上去：「校長，611所的田工他們走了。」
「走了？哎，今天這事兒趕得，他們有沒有說什麼……」
「田工臨走的時候說了一句話，說這次來給了他一個意外之喜。」
校長腳步頓住了。
「意外之喜？什麼意外之喜？」
「我也不知道，他沒具體說。」
校長的眉頭皺了起來：「咱們今天就把人家晾在會客室一個多小時了，他能有什麼意外之喜？他不罵咱們就不錯了。」
「那他說的是反話？」副校長試探著問。
田工接過筆記本電腦，眯著眼睛，把字體放大了一些。
《有限狀態博弈樹的絕對剪枝不等式與漸近收斂定理》
田工看到題目的時候，神色逐漸認真起來了。
會客室里其他人繼續閒聊，沒人注意到他的表情變化。
田工先翻到摘要，掃了一眼，又翻到引言，看了大約半分鐘，再翻到第三節的主定理。
然後他停下來了。
他把電腦往桌上一放，從公文包里掏出一支筆，拿過茶几上的便簽紙，在上面飛快地寫了幾行公式。
寫完，他盯著那幾行公式看了一會兒，又拿起電腦，翻到論文後面的證明部分。
跟著田工來的幾個人都是老部下，看他如此，都停下了閒聊。
「老田？」戴眼鏡的中年人試探著喊了一聲。
田工沒理他，又翻了兩頁，然後突然抬起頭。
「小趙，上個月你跟我匯報的那個事，就是搜索空間爆炸那個，你們現在卡在哪一步了？」
被點名的小趙愣了一下：「就是……分支因子上去之後，剪枝效率衰減得厲害，alpha-beta那套在我們的狀態空間裡基本失效，我們試了幾種啟發式，但是沒法給出可證明的界，驗證組那邊不認。」
田工點點頭：「你們用的還是Pearl那一套？」
「基本上是，數學專家讓我們這麼做的。」
田工指了指電腦屏幕說：「我說怎麼調不出來，概率框架在你們那個場景下本來就不合適，節點值之間的相關性太強，獨立同分布的假設根本不成立。」
小趙有些不知道該怎麼接話。
「這篇論文裡那個絕對剪枝不等式，思路是對的，他不走概率路線，走的是組合極值，你們那個問題，狀態是確定性的，本來就不該用概率方法去做。」
「老田，您是說……這篇論文對我們的項目有用？」戴眼鏡的中年人湊過來。
「應該有用，至少這個不等式可以拿來驗證一下我們目前那幾個啟發式的下界，如果他證明的這個界是緊的，那我們就知道繼續優化的天花板在哪兒了，這個東西，比我們自己摸黑試要省時間。」
「我預估，至少能省三個月到半年的時間。」
「這麼多嗎？」
會客室里其他幾個人都坐直了身子。
「可是田工，」小趙猶豫了一下，「這篇論文不是涉嫌引用文獻造假嗎？外面都在說那五篇蘇聯文獻是編的。」
田工把手機往桌上一放，笑了。
「你們怎麼就那麼篤定是編的？」
「網上查不到啊。」
「網上查不到的東西多了。」
田工慢悠悠地說：「蘇聯解體之後我去過一次大俄，大俄科學院圖書館裡面，整櫃整櫃的舊期刊積著灰，沒人管。」
「那也不能說這篇論文沒造假吧？」
「我跟你們說，造假這種事，從一篇論文裡是看得出來的。」
「你們看這篇論文的第三節，他從那五篇蘇聯文獻里引了三個引理，分別用在不等式的構造、收斂性證明和反例構造里，這三個引理不是孤立的，它們和論文裡其他部分的推導環環相扣。」
「如果是編的引理，他要麼編不出能用的，要麼編出來用一次就完，不可能編三個還彼此自洽地嵌在一個完整的證明里。」
「再說他引用的那五個名字，前兩個是搞AVL樹的那對師徒，做組合結構的，後三個是七十年代莫斯科國立大學那一撥人，主攻博弈論的極值分析，這些名字串在一起，是有學派源流的，編瞎話的人編不出來這麼一個譜系。」
「他論文裡第七頁那個引理3.2，是從蘭迪斯工作推出來的，我有印象，那個東西後來被蘇聯人用在另一個完全不相關的領域，叫近鄰搜索，一個大一學生，要是真造假，他能造到把蘭迪斯六十年代的工作背景都給造圓了？」
會客室里安靜了幾秒。
戴眼鏡的中年人苦笑：「田工，您這眼力……」
「少拍馬屁了，這不是眼力，稍微有點常識都能推斷出，不知道你們為什麼會覺得文獻造假。」
眾人：……
大佬你是在罵我們沒常識嗎？
果然人不管到了多少歲，都要挨領導的罵。
「這篇論文得驗證一下。」田工不知道其他人在想什麼，雷厲風行地把任務安排了下去。
這時候小趙出聲了：「田工，您也知道，我們最近不是在試另一套解法嗎？組裡十幾號人全壓在那個方向上，節點都排到一個月後了，實在抽不出人。」
「那……」
「華記。「田工旁邊一直沒說話的另一位老工程師突然開口。
田工轉頭看他。
「我們有人在華記。」
「華記這兩年一直想在人工智慧領域布局，我們派了不少工程師過去跟他們交流，著急的話，可以讓在那邊的工程師想辦法。」
田工點點頭：「這個思路對，讓他們去驗證，也不用占我們目前項目的人手。」
「那就讓小趙跟那邊的聯絡人對接一下。」
「好。」
田工看了看表，站起身：「走吧，不等了，校長估計一時半會兒來不了。」
幾個人收拾東西，剛走出會客室，就在走廊里碰上了急匆匆趕來的副校長。
副校長一看他們要走，臉色都變了，趕緊上前：「田工，幾位老師，實在抱歉，校長那邊臨時有學生工作要處理，他最多再耽誤一刻鐘就來。」
「不用了。」田工態度很平和，「我們時間也差不多了，這次來沒談成事情，回頭有機會再說。」
副校長一臉愧疚：「田工，這次真的是我們招待不周……」
田工笑了笑：「其實這次過來，倒給了我一個意外之喜。」
「啊？」副校長一愣，「什麼？」
田工沒解釋，只是拍了拍他的肩膀：「回頭校長回來了，你跟他說，今天這趟沒白來。」
說完一行人就走了。
副校長站在原地，一臉懵。
什麼意外之喜？
校長終於跟數院的人折騰完後，來到了會客室。
副校長立刻迎了上去：「校長，611所的田工他們走了。」
「走了？哎，今天這事兒趕得，他們有沒有說什麼……」
「田工臨走的時候說了一句話，說這次來給了他一個意外之喜。」
校長腳步頓住了。
「意外之喜？什麼意外之喜？」
「我也不知道，他沒具體說。」
校長的眉頭皺了起來：「咱們今天就把人家晾在會客室一個多小時了，他能有什麼意外之喜？他不罵咱們就不錯了。」
「那他說的是反話？」副校長試探著問。