O cofundador do NEAR Protocol, Illia Polosukhin, destacou a crescente ameaça dos ataques assistidos por IA, que estão superando os métodos tradicionais de revisão de código. Polosukhin observou que a IA está acelerando significativamente a descoberta de vulnerabilidades em softwares, tornando os modelos de revisão manual obsoletos. Ele citou o incidente do Balancer em outubro passado como um momento crucial para os ataques impulsionados por IA. Para combater isso, Polosukhin defende a adoção da verificação formal, onde provas matemáticas garantem que o comportamento do código esteja alinhado com as especificações. A IA pode gerar essas provas, que são então verificadas por humanos, reduzindo o tempo necessário para a geração das provas. Ele sugere estender a verificação formal além dos contratos inteligentes para softwares críticos da internet e de redes. Paralelamente, o NEAR lançou uma atualização que permite aos usuários mudar para chaves de conta resistentes a computadores quânticos e possibilita que a rede escale automaticamente com o aumento da atividade.