未来的技术栈不仅仅是：计算 + 数据 + 模型。 而是：计算 + 数据 + 模型 + 证明 证明决策是正确的。 证明系统在约束内运行。 证明结果可以在没有盲目信任的情况下被信任。