未來的技術堆疊不僅僅是：計算 + 數據 + 模型。 而是：計算 + 數據 + 模型 + 證明 證明決策是正確的。 證明系統在約束內運行。 證明結果可以在沒有盲目信任的情況下被信任。