每个人都在谈论代理，但他们忽视了一个更大的叙述： 可验证的计算。 没有它，代理无法大规模运作。