جالب است بدانید که توسعهدهندگان از قابلیتهای مدلهای زبانی (LLM) برای شناسایی و رفع باگهای پیچیده در «Network Stack» لینوکس استفاده کردهاند. این رویکرد جدید که با نام تأیید رسمی (Formal Verification) شناخته میشود، دقت فوقالعادهای در تشخیص خطاهای امنیتی دارد و میتواند به پایداری بیشتر کدهای زیرساختی کمک کند.
این یعنی هوش مصنوعی در حال تبدیل شدن به ابزاری قدرتمند در دستان متخصصان امنیت برای محافظت از هستهی سیستمعاملهای ماست. 🐧💻
نویسی
منبع: Hacker News LLM