1/ 自主性的发展速度超过了我们验证它的能力。 下一波AI不仅会思考和行动，它还将做出影响真实系统和真实人类的决策。

深度机器人进行了一次救援演习，使用了自主机器人狗。 这些机器将在每一个决策都至关重要的情况下行动。 加密证明确保它们的行为是可验证的，即使在连接受限的情况下。

你不会在生活中保留每一张收据。只保留那些重要的。 AI 也应该如此。 证明关键的切片，其余的以原生速度运行。 选择性证明将 zkML 从科学实验转变为基础设施。