NEAR quiere aplicar verificación formal asistida por IA a su protocolo y contratos inteligentes centrales. La compañía reportó 672 problemas matemáticos resueltos por un costo de modelo de USD $111,85, pero reconoce que trasladar ese avance a software de producción exige especificaciones y comprobaciones adicionales. ***