Аnthropic развивает технику для формальной верификации существующего ПО при помощи AI

Дата: 2026-10-24

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

Последние новости: