https://ihadtoinstalllinux.github.io/tags/nthropic/ Recent content in nthropic on iHADtoinstalllinux Hugo -- gohugo.io en-us Fri, 23 Oct 2026 12:37:53 +0500 https://ihadtoinstalllinux.github.io/posts/news/ Fri, 23 Oct 2026 12:37:53 +0500 https://ihadtoinstalllinux.github.io/posts/news/ Компания Аnthropic представила результаты экспериментов по использованию AI-моделей для формальной верификации надёжности и безопасности уже существующих проектов. В ходе эксперимента при помощи AI-моделей для 123 открытых библиотек, протестированных в инфраструктуре OSS Fuzz, были сгенерированы математические доказательства отсутствия ошибок при работе с памятью. https://www.opennet.ru/opennews/art.shtml?num=66528