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