AI SecurityMicrosoft está usando agentes de IA para demostrar matemáticamente que su código de encriptación no tiene defectos
El equipo detrás de la biblioteca criptográfica de Windows y Azure no solo está probando el código. Lo están demostrando como correcto, para cada posible entrada, utilizando pruebas matemáticas formales escritas parcialmente por IA.
