مقاله جدید در arXiv معرفی می‌کند که گروهی از دانشگاه‌ها و مؤسسات تحقیقاتی پروژه‌ای به نام ATLANTIS را توسعه داده‌اند، سیستمی که با ترکیب مدل زبانی بزرگ (LLM) و تحلیل برنامه (symbolic execution, fuzzing) می‌تواند آسیب‌پذیری‌های نرم‌افزاری را شناسایی و تعمیر کند.