Garantizando la confianza en la IA: Cómo la Red Mira verifica los sistemas inteligentes