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
Las declaraciones patrimoniales del presidente Donald Trump revelan que, mientras él y sus dos hijos…
El sector de las criptomonedas está comenzando a tomarse mucho más en serio la amenaza…
Un tribunal federal de Florida sentenció a Angelo Martino, de 41 años y exnegociador de…
En la apertura de este viernes, el DOW JONES Ind Average que gana posiciones, un…
El Fondo Monetario Internacional (FMI) advirtió que la tokenización de activos ya modifica la arquitectura…
En una época en la que muchas soluciones buscan ofrecer resultados inmediatos y evitar cualquier…