AI SecurityMicrosoft nutzt KI-Agenten, um mathematisch zu beweisen, dass sein Verschlüsselungscode keine Fehler hat
Das Team hinter der Kryptografie-Bibliothek von Windows und Azure tut etwas Ungewöhnliches: Es testet nicht nur den Code, sondern beweist seine Korrektheit für jeden möglichen Input durch formale mathematische Beweise, die teilweise von KI geschrieben werden.
