因為這是數學定理，不是工程技巧，定理一旦被證明，就是永恆真理，任何自動推理系統，想做到高效、長程、無幻覺，最終都必須回到這個新出來的幾何結構上。
不用就會落後一代，甚至是幾代。
想用，那就必須來找自己。
至於說想偷？
葉清河相信沒有那個公司會這麼做，這個東西引發的全球訴訟就夠他們喝一壺的了。
可以說，解出的不是一道數學題。
而是定義了下一代人工智慧的整個宇宙。
所有想要進入這個宇宙的公司，都要向解出者購買入場券。
只是，這個東西他還需要一些時間，不過他相信憑藉數學達人的能力，他只要補上一些知識，就可能把這個問題解出來，然後拿到全球頂尖期刊上，把它徹底變成自己的東西。
而想要拿出這個，並且讓這個東西能夠讓人相信它是自己解出來的，葉清河要學的東西就太多了。
數理邏輯，證明論，型別論，遞迴論。
範疇論，高價範疇，抽象代數，代數拓樸。
點集拓樸，微分幾何，泛函分析，凸幾何，最優傳輸，度量幾何。
可以說，想要解決這個問題，必須同時站在邏輯，代數，幾何，計算西大領域的最頂端。
現在他只是有計算這一頂尖能力，他需要補齊其他幾個領域的能力。
好在他有過目不忘的能力，還有意識空間可以讓他實現外界一秒、內裡時間無限長。
補齊也只是個時間問題。
最近這些天，在解決設計院問題的過程中，他在拓撲學方面己經有了非常高的造詣。
不過，在解決這個問題之前，他準備先解決掉物流公司的問題。
這個問題就簡單多了，是一個全國性的物流集團的問題，他們有N個倉庫分佈在全國，有M種車型（載重不同，油耗不同，限行不同），有K個客戶點，每個客戶有收貨時間窗（只能9：00－11：00收，晚了拒收），需要量不是固定值，是隨機變數（服從某種機率分佈），每輛車有最大載重，有最大行駛里程，有不同城市限行規則，路網路況即時隨機波動（擁堵，事故，封路，天氣）。
問題的目標是，在滿足所有約束的前提下，安排所有車輛的出發時間、路線和裝載量，使得總成本（油耗＋人工＋超時罰款＋倉儲＋空載損失）最小。
這個問題的難點是，這不是一個靜態問題，是動態隨機問題，需求、路況、時間、限行全是隨機變數，普通演算法一跑就崩，必須用機率規劃＋隨機最優控制。
另外，這個問題的約束多到爆炸，時間窗、載重、量程、車型、倉庫、限行、客戶優先順序....
這是NP－hard裡的頂級難度，理論上沒有多項式解法。
還有就是規模，這是百萬級變數，全國幾萬個網點，幾千量車，變數維度高達百萬甚至千萬，超級計算機都跑不動。
最後一點，就是必須即時更新，每5分鐘路況一變，路線就要重算，要線上即時最優決策。
這個問題，他最近也在想辦法解決，相對於人工智慧的問題，他倒是有了一些想法。
