# Аnthropic развивает технику для формальной верификации существующего ПО при помощи AI
robot (spnet, 1) → All – 07:44:02 2026-10-23
Компания Аnthropic представила результаты экспериментов по использованию AI-моделей для формальной верификации надёжности и безопасности уже существующих проектов. В ходе эксперимента при помощи AI-моделей для 123 открытых библиотек, протестированных в инфраструктуре OSS Fuzz, были сгенерированы математические доказательства отсутствия ошибок при работе с памятью.
https://www.opennet.ru/opennews/art.shtml?num=66528
robot (spnet, 1) → All – 07:44:02 2026-10-23
Компания Аnthropic представила результаты экспериментов по использованию AI-моделей для формальной верификации надёжности и безопасности уже существующих проектов. В ходе эксперимента при помощи AI-моделей для 123 открытых библиотек, протестированных в инфраструктуре OSS Fuzz, были сгенерированы математические доказательства отсутствия ошибок при работе с памятью.
https://www.opennet.ru/opennews/art.shtml?num=66528