#SymCrypt

Microsoft використовує AI-агентів для математичного доведення того, що його код шифрування не має вад

Команда, що стоїть за бібліотекою криптографії Windows та Azure, робить щось незвичайне: не просто тестує код, а доводить його коректність для всіх можливих вхідних даних, використовуючи формальні математичні докази, частково написані AI.