Vitalik Buterin: la IA no destruirá la seguridad de Ethereum, la hará más fuerte
El cofundador de Ethereum publicó el 18 de mayo un ensayo donde argumenta que combinar inteligencia artificial con verificación formal podría ser “la forma final del desarrollo de software”. Su…










