۱ مطلب با این برچسب
شرکت Anthropic در همکاری با Theorem نشان داد که مدل‌های زبانی بزرگ مانند Claude می‌توانند اثبات‌های ریاضی و صوری صحت کدهای سطح پایین (Assembly) را در مقیاس وسیع تولید کنند. این رویکرد امکان تضمین امنیت نرم‌افزارها را به شکلی خودکار و فراتر از محدودیت‌های تست سنتی فراهم می‌کند.
