Vitalik Buterin argumentó que la técnica de verificación formal de código asistida por inteligencia artificial (IA) representa la respuesta al problema que la propia IA introduce en la ciberseguridad, y que ese proceso puede producir software más seguro que el escrito por humanos sin ese respaldo matemático.
La tesis de Buterin, publicada hoy 18 de mayo en su blog personal, aparece como réplica directa a quienes sostienen que la IA, al facilitar el descubrimiento automatizado de vulnerabilidades, haría imposible la confianza en el código sin depender de grandes organizaciones.
Según el cofundador de Ethereum, se trata de un desafío transitorio, no estructural. El estado de equilibrio al que apunta, afirmó, sería «más favorable al defensor que lo que teníamos antes».
El argumento central de Buterin es que la verificación formal (la demostración matemática de que un programa se comporta exactamente como promete) puede comprobarse de forma automática.
Fuente: www.criptonoticias.com
Bitcoin (BTC) repuntó hacia los $81.000 alrededor de la apertura de Wall Street del jueves,…
Los inversores que resistieron semanas de apatía en la cotización de Dogecoin han visto recompensada…
El mercado de las criptomonedas en general se ha reducido de 4,4 billones de dólares…
El presidente del Comité Olímpico Polaco (PKOl) fue detenido el jueves como parte de una…
El secretario del Tesoro de EE. UU., Scott Bessent, presentó una nueva fase de la…
Una dirección de una billetera de criptomonedas encontrada durante el peritaje al celular del consultor…