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

BRAMA

BRAMA

@brama_channel

🇺🇦 Донать свій час на захист інфопростору! 🚨За підтримки волонтерів та координації кіберполіції України! 🤝Долучайся сам і запрошуй знайомих: https://t.me/+EbXZHBfHXbszY2I6 🤳додати ворожий ресурс, надіслати скаргу на деструктив - @stopdrugsbot

109,985 مشتركًا
فتح في تيليجرام
🤖 ШІ знайшов сотні помилок у коді, які роками не помічали розробники

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

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

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

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

Telegram | Viber | Facebook | Instagram | WhatsApp | TikTok | ЧатовіОнлайн
فتح المنشور في تيليجرام