美国空军近期的消费？

美国空军投入了最高 8,700 万美元加码机器人与自主系统研究，自主能力已经不再是概念验证、而是进入了真正的战略层面。

但当自主系统开始参与军事决策与执行，仅有更快、更智能远远不够。没有可验证计算的自主系统，本身就是一种国家级风险。

如果无法确认模型是否被替换，推理是否被篡改、决策是否按既定规则执行、那么再先进的机器人、也只是一个不可审计的黑箱。日志和厂商声明无法承担军事级别的责任，一次不可追责的错误，代价可能是不可逆的。

这正是国防自主系统必须把验证放在核心位置的原因。不事后复盘，而是事前约束；不相信系统应该没问题，而是能够证明它确实按规则运行过！

在军事场景中，自主性如果没有加密证明作为边界、就无法规模化部署、更无法形成长期安全优势。真正可靠的防务自主系统，必须建立在可验证计算之上，而不是信任假设之上。

当自主系统成为基础能力，证明它做对了和让它做事同样重要！