** ШІ знайшов сотні помилок у коді, які роками не помічали розробники**

Дослідники Anthropic залучили Claude до перевірки 123 бібліотек із відкритим кодом. ШІ виявив сотні помилок, зокрема таких, що залишалися непоміченими після тривалого автоматичного тестування.

** Що цікавого?**
 Claude не лише знаходив помилки, а й самостійно виправляв їх.
 Створив математичні докази безпечної роботи 239 перевірених ділянок коду за визначених умов.
 Загалом згенерував близько 180 мільйонів рядків доказів.

 Це не гарантує, що програми повністю захищені.

** ШІ вже може не лише писати код, а й допомагати математично перевіряти його надійність.**

[Telegram](https://t.me/+wXRpHruz8do1MThi) | [Viber](https://invite.viber.com/?g2=AQAFPrumO3ReWU%2FZftS%2B2lpUWhK4Jg8bPjgXDZPv0lSu2Ce%2BB6lHWon36pE9wV2N) | [Facebook](https://www.facebook.com/bramaonline) | [Instagram](https://www.instagram.com/brama_online) | [WhatsApp](https://whatsapp.com/channel/0029VaKuM6D6BIEfys0fWR3n) | [TikTok](https://www.tiktok.com/@brama_online) | [ЧатовіОнлайн](https://chatovi.online/)