AI SecurityMicrosoft Usa Agentes de IA para Probar Matemáticamente que Su Código de Cifrado No Tiene Defectos
El equipo detrás de la biblioteca criptográfica de Windows y Azure está haciendo algo inusual: no solo probar el código, sino demostrarlo correcto para cada entrada posible, usando pruebas matemáticas formales escritas parcialmente por IA.
