El cofundador de Ethereum propone la verificación formal asistida por IA como vía para producir código demostrable, sin depender de intermediarios.
La entrada Vitalik Buterin rebate el pesimismo sobre la IA y la ciberseguridad se publicó primero en CriptoNoticias – Noticias de Bitcoin, Ethereum y criptomonedas.
Source: Read More