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.
DERECHOS DE AUTOR
Esta información pertenece a su autor original y se encuentra en el sitio https://www.criptonoticias.com/tecnologia/vitalik-buterin-ciberseguridad-inteligencia-artificial/
