【第303章 掛穀猜想】
------------------------------------------
周圍還在等行李的人被這動靜吸引過來了，好幾個年輕學生認出了趙陽，很快就形成了一個半圓形的包圍圈，把趙陽圍在了最裡麵。
快來看偶像！哥德巴赫猜想證明者！趙神！世界最年輕的科爾獎得主！這些聲音此起彼伏。
田副校長連忙跟國際交流處的工作人員一起維持秩序，趙陽接過一個又一個遞來的筆記本、課本、甚至還有一張登機牌背麵，在上麵草草簽了個名。有個男生簽名的時候太激動，手抖了一下，筆記本差點掉地上，被後麵的人扶了一把。
這時候一個戴眼鏡的中年男教授也拿著筆記本擠過來了，紅著臉說自己是中科大的，在燕大做訪問，一直特別崇拜趙博士。趙陽接過他的筆記本簽了個名，那人捧著本子連聲說謝謝，臉上的紅光一路延伸到脖頸。
過了接近十分鐘，人群漸漸散開。趙陽抬頭看了一眼大屏上的航班信息，從洛杉磯飛來的CX航班已經顯示到達。出站口開始陸續有拖著行李箱的乘客走出來。
陶哲軒推著一個黑色的登機箱從出站通道走出來。他穿著一件深灰色的外套，裡麵是件格子襯衫，跟他平時在講座和視頻裡穿的那一套基本沒什麼區別。他環顧了一圈很快就看到了趙陽和旁邊的田副校長。
“陶教授，歡迎歡迎。”田副校長率先迎上去伸出手。
請記住我們的域名𝐨𝐨𝐩.𝐭𝐰
陶哲軒跟他握了握手，然後轉向趙陽。他上下打量了趙陽一下，嘴角動了一下，然後從背包側兜裡掏出了一個深藍色的絨布盒子遞給趙陽。
“你的柯爾獎。美國數學會那邊讓我帶句話，下屆國際數學家大會，他們希望你能親自去領，可別再讓人代拿了。”
“那得看我心情。”
趙陽聳了聳肩，笑著朝著陶哲軒說到。
說完便接過盒子，沒打開看，隨手放進了自己的背包裡。陶哲軒看了他一眼，沒有在這個話題上多停留。他轉過臉去跟田副校長寒暄，兩個人大致聊了幾句行程安排和下午要開的項目啟動會。
從機場出來的路上，陶哲軒和趙陽並排坐在後排。王海在前麵開著車，田副校長坐在副駕駛。一路上田副校長說了些歡迎致辭的話，又提了幾個燕大近期推進的國際合作項目，語氣熱情但不囉嗦。他說完之後車廂裡安靜了片刻。
陶哲軒朝著趙陽問道：“你那個PvsNP課題具體卡在哪一步？”
“電路複雜度下界。”
趙陽靠在椅背上，手指無意識地在背包帶子上敲了兩下。
“我嘗試用布爾函數敏感度去逼近的時候，每次到了最後一步放縮，誤差項都會被撐開。換了幾個技術路徑都沒繞過去。”
“你用的基底是什麼？”
陶哲軒看著趙陽問道。
“傅裡葉。”
“太窄了。”
陶哲軒想了一會兒。
“單純靠頻譜分析去處理電路下界，隻能到AC0。想要匹配到NC或者更往上的複雜度類，你需要同時引入多項式方法和代數幾何的那套工具。GCT框架之前嘗試過這條路，但那套東西門檻太高了，而且它隻是理論上可能，實際推導的時候算力支撐不住。”
他說到這兒停了一下，手指在車窗框上輕輕敲了敲。“我當年也是被類似的問題困住了。當時我的思路是去看概率可檢驗證明和交互式證明係統能不能提供某種對角化以外的證明路徑。但那個方向在理論上可行的前提是足夠強的偽隨機生成器，目前來看在數論層麵的支撐不夠。”
趙陽聽完沒有馬上接話。他看著窗外一閃而過的灰色高架橋和乾枯的行道樹，腦子裡把陶哲軒剛才說的這幾個方向跟自己做過的幾次嘗試對齊了一下。陶哲軒說的思路他之前也有考慮過，但同樣遇到了障礙，在目前的數學工具箱裡找不到現成的解法。
“所以我才說這個問題不是單靠一個人能推過去的。哪怕是你。”
”。你是也該應，做能誰有代時個這說果如但“：句一了補後然，收了收神眼，兒會一了停軒哲陶。實事個一述陳在地平很是就，侃調是像不也維恭是像不氣語，下一了笑候時的話這說軒哲陶
。話說有沒陽趙
。告報短簡的生師係學數向麵場一了排安又，會動啟的目項合聯了加參軒哲陶著領長校副田，後之大燕了到
。開展全完有沒也但，句幾了釋解多時平比來下停他，題問的計估數維中想猜ayekaK於關他問生士博個有，題問個幾了答回軒哲陶後束結。生學聽旁的位座有沒了滿站麵後最室教，鐘分十四長時，用應新的中論度測何幾在析分和調是目題告報
。乾骨的組目項個幾和長校副田上加再，授教老個幾了來係學數，塵洗風接軒哲陶給廳會宴的心中流交際國在大燕上晚
。高很都商智，廣很都度廣的究研，物動食雜種那是都，像點有真還軒哲陶和陽趙，竟畢，順很來起接人個兩但，大很躍跳，片芯到物生到理物到伸延直一學數從題話，句幾聊他跟來過側時不時間席，邊旁陽趙在坐軒哲陶
。聽在都間時分部大，句幾入插爾偶授教他其
。來下靜安廊走的麵外，上關一門。室公辦的大燕在他了到來陽趙著跟軒哲陶，了散人後束結會宴
。上桌在放杯溫保的裡手把，來下坐軒哲陶”。頭由個是隻牌獎送，來過次這“
”。你找來過好隻我，國美去不你。的加參求要動主我是，目項合聯的大燕和ALCU“
。真認的別特種一到聽就裡話電在，樣一太不前以跟來次這軒哲陶得覺就始開場機去發出從，了兒會一有了等話句這等他。下坐子椅把了拉陽趙
”。想猜ayekaK“
。上桌在攤，紙稿草的疊折張幾出掏裡包文公的身隨從軒哲陶
重權分變維多套那的用裡明證想猜數素生孿在前之你“
