El cofundador de NEAR, Polosukhin, calificó la verificación formal como un cambio necesario para proteger el código de la cadena de bloques del hacking con IA. La IA ha reducido el trabajo de generación de pruebas matemáticas de años a semanas.