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
Dado que el valor del dinero no es más que un acuerdo social, la historia…
Es que el director de tecnología de Ripple (XRP), David Schwartz, ha señalado que ha…
Durante años, cuando se hablaba de criptomonedas, la conversación casi siempre giraba en torno a…
El pasado 13 de mayo, el usuario de X @cprkrn se viralizó debido a una…
La firma de gestión de activos Bitwise lanzó hoy, 15 de mayo de 2026, un…
Durante décadas, los canales para enviar dinero a través de las fronteras de América Latina…