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
El ecosistema de activos digitales cerró una de sus quincenas más críticas del 2026 tras…
La caída de Bitcoin volvió a recordar que el mercado cripto puede construir narrativas propias…
La arquitectura también puede ser una forma de contar historias. A través de los materiales,…
Varias docenas de vacas y bueyes de las razas angus, bazadaise y alguna charolesa retozan…
El fondo de inversión de Harvard se dispuso a comprar Ethereum (ETH) en otoño del…
Los clientes de la banca en México reclamaron 11,213 millones de pesos por posibles fraudes…