AI-økonomien vil kjøre på verifiserbar tilstand.