El cofundador de Ethereum dijo que la IA podría ayudar a los desarrolladores a verificar matemáticamente sistemas de software completos, convirtiendo la misma tecnología que impulsa nuevos ataques en una herramienta de defensa.