Si la coordinación humana tiene alguna posibilidad de acelerarse junto con la IA, va a requerir una verificabilidad criptográfica barata y ubicua.