Illia Polosukhin, cofundador de NEAR Protocol, ha destacado la creciente amenaza del hacking asistido por IA, que está superando a los métodos tradicionales de revisión de código. Polosukhin señaló que la IA está acelerando significativamente el descubrimiento de vulnerabilidades en el software, haciendo obsoletos los modelos de revisión manual. Citó el incidente de Balancer en octubre pasado como un momento crucial para los ataques impulsados por IA. Para combatir esto, Polosukhin aboga por la adopción de la verificación formal, donde pruebas matemáticas aseguran que el comportamiento del código se alinea con las especificaciones. La IA puede generar estas pruebas, que luego son verificadas por humanos, reduciendo el tiempo necesario para la generación de pruebas. Sugiere extender la verificación formal más allá de los contratos inteligentes hacia software crítico de internet y redes. Paralelamente, NEAR ha lanzado una actualización que permite a los usuarios cambiar a claves de cuenta resistentes a la computación cuántica y permite que la red escale automáticamente con el aumento de la actividad.