走的时候话太多了？

    

    顾晏舟皱着眉头回想着那天离开时自己了什么。

    

    可回想了半天，他并不觉得自己哪里有错话啊？

    

    想到这里，他看向程鹏，一脸疑问。

    

    看他这个样子，程鹏直摇头，不过这家伙认识以来还比较识趣，上供了不少，平日话也都是捧着自己，程鹏觉得有必要维持住现在的关系。

    

    “我们从包厢出来，你的那几个人的信息。”

    

    “我没错啊？”

    

    顾晏舟仔细回想了一下，他就是了一下叶清河的情况，并没有任何添油加醋，也没有任何抹黑，没什么问题啊？

    

    “看来你到现在还不知道你自己错在哪里了！话我提点到了，剩下的你自己琢磨吧！”

    

    程鹏摇摇头，没兴趣继续解释下去了。

    

    等程鹏离开后，顾晏舟找出上次找的那个私家侦探的电话。

    

    “你给我的资料有问题？”

    

    “绝对没有！！这个我可以用我的职业前途发誓！”

    

    私家侦探斩钉截铁地回道。

    

    “那为什么，我了你给我的消息，却出了大问题？”

    

    “这个我就不知道了，但是当时我搜集到的资料绝对是能搜集到的最正确的。”

    

    “你知道这个事情给我造成了多大的损失吗？你现在嘴硬，我没办法，但是你不要让我查出是你的问题，不然，到时候有你好看！！！”

    

    顾晏舟也没有什么语气证明这个问题就是私家侦探的问题，所以只能气急败坏冲着电话吼完，把电话挂掉扔到一边。

    

    他们家的市值最近萎缩得很厉害，或者不止他家，所有物流行业的公司都是这种状态，只要是上市了的公司，市值都在不断地萎缩，市场上都在等三家公司最终抛出来的合作办法。

    

    每个公司都在想办法跟三家公司套近乎，想要在这个时间节点前先一步吃下定心丸。

    

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

    

    上次吃饭结束后，他回去了黄雅琴答应帮忙，让他在家里受到了追捧，可是那边话刚出去，这边就出了问题。

    

    这几天没有再约上黄雅琴，家里已经有人在闲话了。

    

    可问题是他到现在都不知道问题出在哪里了！

    

    “晏舟哥哥，鸟巢有场音乐会，我拿到两张票，晚上一起去听吧？我们可以在音乐会开始前，先去五钉塔上吃个饭，然后再过去。”

    

    就在这个时候，苏雨柔打过来了电话。

    

    听着苏雨柔娇声娇气的声音，顾晏舟眉头不由皱得更紧。

    

    之前他还觉得这个苏雨柔比较单纯，经过这次这个事情，他发现苏雨柔身上好像藏着很多解释不清的秘密。

    

    按理，这件事她本该最能帮到自己，可她拿了好处却一点忙也不帮。

    

    这跟她之前口口声声的喜欢自己，愿意为自己做任何事情完全不符！

    

    “好！”

    

    虽然对于苏雨柔有了各种怀疑，但是这个时候，他却不能得罪苏雨柔。

    

    就像家里的，苏雨柔虽然不能帮到自己，但是要想坏事，却是一句话的事情。

    

    “太好了，那我订位子了！”

    

    电话另一边的苏雨柔开心地道。

    

    她也察觉出顾晏舟因为她不帮忙后，对她态度的变化，特别是最近几天，连理都不怎么好好理了，于是就想到用音乐会这个办法拉近一下关系。

    

    现在顾晏舟不拒绝，明这个事情还在可控范围。

    

    要是还不行，那就只能想办法动用一下家里的关系，从苏控股那边弄点内部消息出来了。

    

    想到苏向北，她还是想先在顾晏舟这边试试。

    

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

    

    房子看完，苏妙儿就去婉妙音乐了，叶清河则是跟桃子还有周婉儿去了新斋。

    

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

    

    周婉儿跟着叶清河上到了二楼，找了个沙发就自己坐下看手机了，叶清河则是坐到办公桌前，开始思考自己解决完逻辑－几何强对偶后，给形式证明空间几何带来的核心进度。

    

    首先，是打通两大底层架构垒。

    

    原本形式证明系统（句法、推理规则、证明树）和高维空间几何（拓扑、流形、几何不变量、构型空间）是两套孤立体系，无法互相映射、互相推演。

    

    强对偶定理解决后，直接建立形式证明空间与抽象几何空间的同构对偶关系。

    

    每一条形式化推演，每一套公理体系都对应唯一高维几何构型。

    

    每一个空间几何命题，都能等价转化为逻辑可证命题。

    

    第二，解决了形式证明的空间建模空白。

    

    以往形式证明只能靠符号字符串逐层推演，由于没有几何空间载体，复杂几何命题的形式化极易出现步骤爆炸、隐含逻辑漏洞，且无法机械化校验。

    

    现在有了强对偶定理，就可把所有形式证明过程嵌入高维几何空间，用几何连通性、奇点、曲率、同伦不变量，直接判定形式证明的相容性、完备性、有无矛盾、是否可证。

    

    第三，攻克了高维几何形式化证明的核心瓶颈。

    

    低维警戒几何形式证明已有成熟框架，但四维及以上非欧空间、弯曲流形、带奇点几何构型，一直无法完成严格形式化。

    

    强对偶提供了降维映射＋对偶转化方法，高维难证几何命题可转低维逻辑形式命题，证完再反向映射回原几何空间，彻底突破高维形式证明的技术死局。

    

    第四，建立形式证明空间的不变量体系基础。

    

    首次能用几何不变量定义形式证明的复杂度、推理深度，公理依赖度，结束了形式证明只能靠人工判定严谨性的历史，为整个形式证明空间几何建立了量化、可刻画、可统一分析的底层基础。

    

    不过，这并不代表着叶清河就打通了形式证明空间几何的路。

    

    他还需要解决相当多的问题才能解决这个问题。

    

    首先，他需要借助这个强对偶公理补全任意维数、带边界、含奇点、非紧致场景下的逻辑－几何强对偶推广，把目前仅适用于光滑紧致空间的定理，拓展到所有形式证明对应的几何空间全覆盖。

    

    也就是完成基础完备性攻坚。

    

    这还是第一步！