Confirmado — publicó esto el 17 de septiembre, segundo hilo de seguridad sobre IA en 10 días.$G $UNI
*Tesis de Buterin vs. el apocalipsis de la IA:*
1. *7 de sep:* Rechazó la afirmación de Liron Shapira de que la IA hará que BTC caiga un 50% en 2 años. Dijo que BTC no necesita consenso social para solucionar a nivel de red: bastan parches del cliente/pool minero; probabilidad de romperse
2. *17 de sep:* Nuevo post largo sobre verificación:
- *Idea central:* "La IA te da la capacidad de escribir grandes volúmenes de código a costa de la precisión, y la verificación formal te la devuelve" — el código descuidado generado por IA es un problema transitorio, porque la prueba verificada es permanente; el bug es de una sola vez
- *Defensa ciberpunk:* Los defensores tienen ventaja. Un futuro sombrío en el que la IA hace que las rupturas de código abierto sean indefendibles rompe la ética de la libertad en internet
- *Lo que está construyendo:* Arklib = STARKs formalmente verificados, evm-asm = EVM hecha verificable, además de ejemplos en vivo — los agentes de IA ya encontraron *CVE-2026-34219* (crash remoto en libp2p Gossipsub), el proyecto http://better.codes integra IA + pruebas verificables por máquina
- *90% del patrimonio neto en cripto* — dice que mantener cripto es una apuesta a que la defensa sigue el ritmo de la ofensiva
*Limitaciones que admite:*
- Riesgo de especificación: la prueba es inútil si la especificación está mal; las definiciones pueden tener 1000+ líneas
- El hardware no puede verificarse formalmente como el software, además de compilador, ataques por canal lateral, gobernanza, fallos del oráculo
*Pero el lado ofensivo sí es real:* Informe de amenaza de Anthropic en septiembre — observó que la IA automatiza la investigación de vulnerabilidades, el desarrollo de exploits y campañas multiobjetivo; 2.300 vulnerabilidades encontradas por IA en 392 proyectos OSS, 832 cuentas usando IA en la cadena de ataque; algunos pipelines producen zero-days validados en entornos de prueba
Así que su llamado: la IA no hace que los ataques sean imparable — lo que hace es que la *verificación sea lo bastante barata para reducir el núcleo confiado*. No pánico, sino "mantener el núcleo seguro pequeño, incluso reducirlo".#HKMAPlansWholesaleCBDCByYearEnd #BOJHikesRatesTo31YearHigh #ChainlinkPowersBottomlinePaymentPlatform
*Tesis de Buterin vs. el apocalipsis de la IA:*
1. *7 de sep:* Rechazó la afirmación de Liron Shapira de que la IA hará que BTC caiga un 50% en 2 años. Dijo que BTC no necesita consenso social para solucionar a nivel de red: bastan parches del cliente/pool minero; probabilidad de romperse
2. *17 de sep:* Nuevo post largo sobre verificación:
- *Idea central:* "La IA te da la capacidad de escribir grandes volúmenes de código a costa de la precisión, y la verificación formal te la devuelve" — el código descuidado generado por IA es un problema transitorio, porque la prueba verificada es permanente; el bug es de una sola vez
- *Defensa ciberpunk:* Los defensores tienen ventaja. Un futuro sombrío en el que la IA hace que las rupturas de código abierto sean indefendibles rompe la ética de la libertad en internet
- *Lo que está construyendo:* Arklib = STARKs formalmente verificados, evm-asm = EVM hecha verificable, además de ejemplos en vivo — los agentes de IA ya encontraron *CVE-2026-34219* (crash remoto en libp2p Gossipsub), el proyecto http://better.codes integra IA + pruebas verificables por máquina
- *90% del patrimonio neto en cripto* — dice que mantener cripto es una apuesta a que la defensa sigue el ritmo de la ofensiva
*Limitaciones que admite:*
- Riesgo de especificación: la prueba es inútil si la especificación está mal; las definiciones pueden tener 1000+ líneas
- El hardware no puede verificarse formalmente como el software, además de compilador, ataques por canal lateral, gobernanza, fallos del oráculo
*Pero el lado ofensivo sí es real:* Informe de amenaza de Anthropic en septiembre — observó que la IA automatiza la investigación de vulnerabilidades, el desarrollo de exploits y campañas multiobjetivo; 2.300 vulnerabilidades encontradas por IA en 392 proyectos OSS, 832 cuentas usando IA en la cadena de ataque; algunos pipelines producen zero-days validados en entornos de prueba
Así que su llamado: la IA no hace que los ataques sean imparable — lo que hace es que la *verificación sea lo bastante barata para reducir el núcleo confiado*. No pánico, sino "mantener el núcleo seguro pequeño, incluso reducirlo".#HKMAPlansWholesaleCBDCByYearEnd #BOJHikesRatesTo31YearHigh #ChainlinkPowersBottomlinePaymentPlatform
