Vitalik Buterin en X devolvió una respuesta contundente a un rumor. Hay quienes dicen que los hackers de IA tarde o temprano acabarán vulnerando la ciberseguridad; él no está de acuerdo. Su razonamiento: la ciberseguridad, por naturaleza, está del lado de la defensa; mientras la gente haga bien su trabajo. Si la IA puede demostrar las ecuaciones de Navier-Stokes y el último teorema de Fermat, entonces puede tomar «este fragmento de programa es seguro» como un teorema matemático para demostrarlo, y aun con código más complejo no habría problema. También mencionó que aproximadamente el 90% de su patrimonio neto sigue invertido en activos cripto. Sostiene que los desarrolladores deben usar IA para validaciones formales, demostrando todo el sistema con rigor, en vez de centrarse solo en unos pocos módulos.