#VitalikButerin argumenta que la verificación formal asistida por IA podría acabar con las explotaciones de contratos inteligentes de una vez por todas, una afirmación que importa más donde las pérdidas financieras no tienen solución legal.

Leer más: https://www.cryptonewslive.org/article/vitalik-buterin-says-ai-can-finally-solve-ethereums-oldest-security-problem