Аnthropic развивает технику для формальной верификации существующего ПО при помощи AI
Аnthropic развивает технику для формальной верификации существующего ПО при помощи AI Компания Аnthropic представила результаты экспериментов по использованию AI-моделей для формальной верификации надёжности и безопасности уже существующих проектов. В ходе эксперимента при помощи AI-моделей для 123 открытых библиотек, проверяемых в инфраструктуре OSS Fuzz, были сгенерированы математические доказательства отсутствия ошибок при работе с памятью. Полный текст: https://opennet.ru/66528/
161 просмотров