每個人都在談論代理，但他們忽視了一個更大的敘述： 可驗證的計算。 沒有它，代理無法大規模運作。