El cofundador de Ethereum, Vitalik Buterin, dice que la inteligencia artificial efectivamente le compró a la red un par de décadas de tiempo de desarrollo. Durante la Network State Conference 2026 en Singapur, afirmó que la IA está acelerando el trabajo en las actualizaciones del protocolo de Ethereum de manera drástica —sin ella, señaló, algunas de las metas de la hoja de ruta podrían haber tardado hasta 2040 o incluso 2050 en alcanzarse.

Lo que dijo Buterin

Los comentarios surgieron en una entrevista realizada el 9 de octubre de 2026 y difundida al día siguiente. El enfoque de Buterin fue la Lean Roadmap, el plan de Ethereum para renovar el protocolo central de la red. Su afirmación central: la IA ahora gestiona una parte sustancial de la investigación y la programación que exige esa hoja de ruta, incluidos algunos de los puntos más difíciles de la lista.

El ejemplo más claro es la verificación formal escrita en Lean 4, un lenguaje de programación y asistente de pruebas utilizado para producir demostraciones matemáticas que una computadora puede verificar línea por línea. Según el resumen de investigación, la contribución de la IA en Lean 4 reduce la necesidad de que las personas auditen manualmente enormes volúmenes de código, trasladando esa carga de revisores humanos a demostraciones verificables por máquinas.

La arquitectura que toma forma

Nada de lo que Buterin describió constituye un simple ajuste menor. Ethereum avanza hacia un diseño centrado en STARKs recursivos, verificación formal automatizada y una mayor resistencia cuántica.

La terminología se desglosa así: los STARKs son pruebas criptográficas que permiten a una parte demostrar que un cálculo se realizó correctamente sin que todos los demás deban repetirlo, mientras que los STARKs recursivos son pruebas capaces de verificar otras pruebas. La resistencia cuántica se refiere a defender la red contra futuras computadoras cuánticas que podrían quebrar la criptografía actual. Ese aspecto va más allá de los círculos de investigación, ya que todo en Ethereum —desde los saldos de las cuentas hasta los smart contracts— depende en última instancia de la criptografía que la red utiliza hoy.

Precisamente ahí es donde entra la IA, según Buterin. El resumen de investigación la describe como un habilitador crucial mientras Ethereum se dirige hacia esta arquitectura más sofisticada.

Hegota: el último fork "normal"

El próximo hito en el calendario es la actualización Hegota, prevista para alrededor de 2027 y descrita como el último fork "normal" en la historia de Ethereum. Los forks son actualizaciones coordinadas que cambian las reglas de la red y requieren que los operadores de nodos actualicen su software al mismo tiempo, razón por la cual la etiqueta de "normal" marca un punto de inflexión. Más allá de ese punto, se espera que el trabajo se incline hacia métodos criptográficos avanzados y verificación formal, con la integración de la IA en el centro.

Ya existen evidencias de que la IA puede llevar a cabo trabajo de protocolo significativo. A principios de 2026, experimentos produjeron un prototipo de cliente de Ethereum —el software de nodos que procesa bloques y mantiene la cadena sincronizada— que cubría aproximadamente 65 puntos de la hoja de ruta, y ese prototipo se sincronizó exitosamente con la mainnet de Ethereum.

La cautela de Buterin sobre la IA

Estos comentarios no son los primeros de Buterin sobre el tema este año. A principios de 2026, discutió lo que el resumen de investigación llama el doble papel de la IA en el desarrollo cripto: la tecnología puedeelerar el trabajo técnico, pero también plantea preocupaciones de seguridad sobre vulnerabilidades —incluida la posibilidad de que las mismas herramientas ayuden a los atacantes a encontrar debilidades más rápido.

Esa tensión es lo que hace tan notable el ángulo de la verificación formal. Si la IA puede generar código rápidamente, demostrar matemáticamente que ese código es correcto se convierte en una salvaguarda natural contra los propios riesgos que la IA introduce.

Implicaciones para los desarrolladores y la red

Para los desarrolladores, la conclusión más clara es una descripción de trabajo que está cambiando. A medida que la IA asume más redacción de pruebas y auditoría de código, los investigadores principales podrían dedicar más tiempo a decisiones de diseño y menos a la verificación manual. El planteamiento de 2040 a 2050 de Buterin sugiere que él ve la IA como la diferencia entre "algún día" y esta década.

La cuestión de la seguridad no ha desaparecido. Depender de la IA para el código de infraestructura crítica eleva la importancia de hacer bien la verificación, porque un error sutil en una blockchain de uso generalizado puede resultar enormemente costoso.

Qué observar a continuación: el avance de Hegota, nuevos resultados de los experimentos de clientes construidos con IA y qué proporción de la verificación formal de la Lean Roadmap termina siendo generada por máquinas.

Fuente: CryptoBriefing