走的時候話太多了？

　　顧晏舟皺著眉頭回想著那天離開時自己說了什麼。

　　可回想了半天，他並不覺得自己哪裡有說錯話啊？

　　想到這裡，他看向程鵬，一臉疑問。

　　看他這個樣子，程鵬直搖頭，不過這傢夥認識以來還比較識趣，上供了不少，平日說話也都是捧著自己，程鵬覺得有必要維持住現在的關係。

　　「我們從包廂出來，你說的那幾個人的信息。」

　　「我沒說錯啊？」

　　顧晏舟仔細回想了一下，他就是說了一下葉清河的情況，並沒有任何添油加醋，也沒有任何抹黑，沒什麼問題啊？

　　「看來你到現在還不知道你自己錯在哪裡了！話我提點到了，剩下的你自己琢磨吧！」

　　程鵬搖搖頭，沒興趣繼續解釋下去了。

　　等程鵬離開後，顧晏舟找出上次找的那個私家偵探的電話。

　　「你給我的資料有問題？」

　　「絕對沒有！！這個我可以用我的職業前途發誓！」

　　私家偵探斬釘截鐵地回道。

　　「那為什麼，我說了你給我的消息，卻出了大問題？」

　　「這個我就不知道了，但是當時我搜集到的資料絕對是能搜集到的最正確的。」

　　「你知道這個事情給我造成了多大的損失嗎？你現在嘴硬，我沒辦法，但是你不要讓我查出是你的問題，不然，到時候有你好看！！！」

　　顧晏舟也沒有什麼語氣證明這個問題就是私家偵探的問題，所以隻能氣急敗壞沖著電話吼完，把電話掛掉扔到一邊。

　　他們家的市值最近萎縮得很厲害，或者說不止他家，所有物流行業的公司都是這種狀態，隻要是上市了的公司，市值都在不斷地萎縮，市場上都在等三家公司最終拋出來的合作辦法。

　　每個公司都在想辦法跟三家公司套近乎，想要在這個時間節點前先一步吃下定心丸。

　　顧家不止他在忙，其他人也在忙，但是進展都不大。

　　上次吃飯結束後，他回去說了黃雅琴答應幫忙，讓他在家裡受到了追捧，可是那邊話剛說出去，這邊就出了問題。

　　這幾天沒有再約上黃雅琴，家裡已經有人在說閑話了。

　　可問題是他到現在都不知道問題出在哪裡了！

　　「晏舟哥哥，鳥巢有場音樂會，我拿到兩張票，晚上一起去聽吧？我們可以在音樂會開始前，先去五釘塔上吃個飯，然後再過去。」

　　就在這個時候，蘇雨柔打過來了電話。

　　聽著蘇雨柔嬌聲嬌氣的聲音，顧晏舟眉頭不由皺得更緊。

　　之前他還覺得這個蘇雨柔比較單純，經過這次這個事情，他發現蘇雨柔身上好像藏著很多解釋不清的秘密。

　　按理說，這件事她本該最能幫到自己，可她拿了好處卻一點忙也不幫。

　　這跟她之前口口聲聲說的喜歡自己，願意為自己做任何事情完全不符！

　　「好！」

　　雖然對於蘇雨柔有了各種懷疑，但是這個時候，他卻不能得罪蘇雨柔。

　　就像家裡說的，蘇雨柔雖然不能幫到自己，但是要想壞事，卻是一句話的事情。

　　「太好了，那我訂位子了！」

　　電話另一邊的蘇雨柔開心地道。

　　她也察覺出顧晏舟因為她不幫忙後，對她態度的變化，特別是最近幾天，連理都不怎麼好好理了，於是就想到用音樂會這個辦法拉近一下關係。

　　現在顧晏舟不拒絕，說明這個事情還在可控範圍。

　　要是還不行，那就隻能想辦法動用一下家裡的關係，從蘇控股那邊弄點內部消息出來了。

　　想到蘇向北，她還是想先在顧晏舟這邊試試。

　　...........................................

　　房子看完，蘇妙兒就去婉妙音樂了，葉清河則是跟桃子還有周婉兒去了新齋。

　　有了周婉兒，桃子沒有再上去，而是坐到了前台位置上。

　　周婉兒跟著葉清河上到了二樓，找了個沙發就自己坐下看手機了，葉清河則是坐到辦公桌前，開始思考自己解決完邏輯－幾何強對偶後，給形式證明空間幾何帶來的核心進度。

　　首先，是打通兩大底層架構壁壘。

　　原本形式證明系統（句法、推理規則、證明樹）和高維空間幾何（拓撲、流形、幾何不變數、構型空間）是兩套孤立體系，無法互相映射、互相推演。

　　強對偶定理解決後，直接建立形式證明空間與抽象幾何空間的同構對偶關係。

　　每一條形式化推演，每一套公理體系都對應唯一高維幾何構型。

　　每一個空間幾何命題，都能等價轉化為邏輯可證命題。

　　第二，解決了形式證明的空間建模空白。

　　以往形式證明隻能靠符號字元串逐層推演，由於沒有幾何空間載體，複雜幾何命題的形式化極易出現步驟爆炸、隱含邏輯漏洞，且無法機械化校驗。

　　現在有了強對偶定理，就可把所有形式證明過程嵌入高維幾何空間，用幾何連通性、奇點、曲率、同倫不變數，直接判定形式證明的相容性、完備性、有無矛盾、是否可證。

　　第三，攻克了高維幾何形式化證明的核心瓶頸。

　　低維警戒幾何形式證明已有成熟框架，但四維及以上非歐空間、彎曲流形、帶奇點幾何構型，一直無法完成嚴格形式化。

　　強對偶提供了降維映射＋對偶轉化方法，高維難證幾何命題可轉低維邏輯形式命題，證完再反向映射回原幾何空間，徹底突破高維形式證明的技術死局。

　　第四，建立形式證明空間的不變數體系基礎。

　　首次能用幾何不變數定義形式證明的複雜度、推理深度，公理依賴度，結束了形式證明隻能靠人工判定嚴謹性的歷史，為整個形式證明空間幾何建立了量化、可刻畫、可統一分析的底層基礎。

　　不過，這並不代表著葉清河就打通了形式證明空間幾何的路。

　　他還需要解決相當多的問題才能解決這個問題。

　　首先，他需要藉助這個強對偶公理補全任意維數、帶邊界、含奇點、非緊緻場景下的邏輯－幾何強對偶推廣，把目前僅適用於光滑緊緻空間的定理，拓展到所有形式證明對應的幾何空間全覆蓋。

　　也就是完成基礎完備性攻堅。

　　這還是第一步！