El cofundador de NEAR Protocol, Illia Polosukhin, sostiene que la inteligencia artificial está permitiendo descubrir vulnerabilidades de software mucho más rápido de lo que los equipos de seguridad pueden corregirlas. Como respuesta, propone adoptar la verificación formal, un enfoque basado en pruebas matemáticas que podría transformar la forma en que se desarrolla software crítico.