走的時候話太多了？
顧晏舟皺著眉頭回想著那天離開時自己說了什麼。
可回想了半天，他並不覺得自己哪裡有說錯話啊？
想到這裡，他看向程鵬，一臉疑問。
看他這個樣子，程鵬直搖頭，不過這傢伙認識以來還比較識趣，上供了不少，平日說話也都是捧著自己，程鵬覺得有必要維持住現在的關係。
「我們從包廂出來，你說的那幾個人的信息。」
「我沒說錯啊？」
顧晏舟仔細回想了一下，他就是說了一下葉清河的情況，並沒有任何添油加醋，也沒有任何抹黑，沒什麼問題啊？
「看來你到現在還不知道你自己錯在哪裡了！話我提點到了，剩下的你自己琢磨吧！」
程鵬搖搖頭，沒興趣繼續解釋下去了。
等程鵬離開后，顧晏舟找出上次找的那個私家偵探的電話。
「你給我的資料有問題？」
「絕對沒有！！這個我可以用我的職業前途發誓！」
私家偵探斬釘截鐵地回道。
「那為什麼，我說了你給我的消息，卻出了大問題？」
「這個我就不知道了，但是當時我搜集到的資料絕對是能搜集到的最正確的。」
「你知道這個事情給我造成了多大的損失嗎？你現在嘴硬，我沒辦法，但是你不要讓我查出是你的問題，不然，到時候有你好看！！！」
顧晏舟也沒有什麼語氣證明這個問題就是私家偵探的問題，所以只能氣急敗壞沖著電話吼完，把電話掛掉扔到一邊。
他們家的市值最近萎縮得很厲害，或者說不止他家，所有物流行業的公司都是這種狀態，只要是上市了的公司，市值都在不斷地萎縮，市場上都在等三家公司最終拋出來的合作辦法。
每個公司都在想辦法跟三家公司套近乎，想要在這個時間節點前先一步吃下定心丸。
顧家不止他在忙，其他人也在忙，但是進展都不大。
上次吃飯結束后，他回去說了黃雅琴答應幫忙，讓他在家裡受到了追捧，可是那邊話剛說出去，這邊就出了問題。
這幾天沒有再約上黃雅琴，家裡已經有人在說閑話了。
可問題是他到現在都不知道問題出在哪裡了！
「晏舟哥哥，鳥巢有場音樂會，我拿到兩張票，晚上一起去聽吧？我們可以在音樂會開始前，先去五釘塔上吃個飯，然後再過去。」
就在這個時候，蘇雨柔打過來了電話。
聽著蘇雨柔嬌聲嬌氣的聲音，顧晏舟眉頭不由皺得更緊。
之前他還覺得這個蘇雨柔比較單純，經過這次這個事情，他發現蘇雨柔身上好像藏著很多解釋不清的秘密。
按理說，這件事她本該最能幫到自己，可她拿了好處卻一點忙也不幫。
這跟她之前口口聲聲說的喜歡自己，願意為自己做任何事情完全不符！
「好！」
雖然對於蘇雨柔有了各種懷疑，但是這個時候，他卻不能得罪蘇雨柔。
就像家裡說的，蘇雨柔雖然不能幫到自己，但是要想壞事，卻是一句話的事情。
「太好了，那我訂位子了！」
電話另一邊的蘇雨柔開心地道。
她也察覺出顧晏舟因為她不幫忙后，對她態度的變化，特別是最近幾天，連理都不怎麼好好理了，於是就想到用音樂會這個辦法拉近一下關係。
現在顧晏舟不拒絕，說明這個事情還在可控範圍。
要是還不行，那就只能想辦法動用一下家裡的關係，從蘇控股那邊弄點內部消息出來了。
想到蘇向北，她還是想先在顧晏舟這邊試試。
...........................................
房子看完，蘇妙兒就去婉妙音樂了，葉清河則是跟桃子還有周婉兒去了新齋。
有了周婉兒，桃子沒有再上去，而是坐到了前台位置上。
周婉兒跟著葉清河上到了二樓，找了個沙發就自己坐下看手機了，葉清河則是坐到辦公桌前，開始思考自己解決完邏輯－幾何強對偶后，給形式證明空間幾何帶來的核心進度。
首先，是打通兩大底層架構壁壘。
原本形式證明系統（句法、推理規則、證明樹）和高維空間幾何（拓撲、流形、幾何不變數、構型空間）是兩套孤立體系，無法互相映射、互相推演。
強對偶定理解決后，直接建立形式證明空間與抽象幾何空間的同構對偶關係。
每一條形式化推演，每一套公理體系都對應唯一高維幾何構型。
每一個空間幾何命題，都能等價轉化為邏輯可證命題。
第二，解決了形式證明的空間建模空白。
以往形式證明只能靠符號字元串逐層推演，由於沒有幾何空間載體，複雜幾何命題的形式化極易出現步驟爆炸、隱含邏輯漏洞，且無法機械化校驗。
現在有了強對偶定理，就可把所有形式證明過程嵌入高維幾何空間，用幾何連通性、奇點、曲率、同倫不變數，直接判定形式證明的相容性、完備性、有無矛盾、是否可證。
第三，攻克了高維幾何形式化證明的核心瓶頸。
低維警戒幾何形式證明已有成熟框架，但四維及以上非歐空間、彎曲流形、帶奇點幾何構型，一直無法完成嚴格形式化。
強對偶提供了降維映射＋對偶轉化方法，高維難證幾何命題可轉低維邏輯形式命題，證完再反向映射回原幾何空間，徹底突破高維形式證明的技術死局。
第四，建立形式證明空間的不變數體系基礎。
首次能用幾何不變數定義形式證明的複雜度、推理深度，公理依賴度，結束了形式證明只能靠人工判定嚴謹性的歷史，為整個形式證明空間幾何建立了量化、可刻畫、可統一分析的底層基礎。
不過，這並不代表著葉清河就打通了形式證明空間幾何的路。
他還需要解決相當多的問題才能解決這個問題。
首先，他需要藉助這個強對偶公理補全任意維數、帶邊界、含奇點、非緊緻場景下的邏輯－幾何強對偶推廣，把目前僅適用於光滑緊緻空間的定理，拓展到所有形式證明對應的幾何空間全覆蓋。
也就是完成基礎完備性攻堅。
這還是第一步！
