الذكاء الاصطناعي ومشكلات العالم الصعبة · علوم الحاسوب النظرية · Anthropic · 2026-10-22

نماذج اللغة الكبيرة تجعل التحقق الرسمي من البرمجيات ممكنًا على نطاق أوسع بكثير

العنوان الأصلي: LLMs are making formal software verification feasible at a much larger scale

أثبت Claude رسميًا خصائص الأمان في الشيفرة المترجمة لـ 123 مكتبة مفتوحة المصدر، وذلك على مستوى لغة التجميع RISC-V. وأثناء كتابة البراهين، اكتشف أيضًا أخطاءً بقيت دون اكتشاف لسنوات رغم الاختبارات المكثفة.

اقرأ المصدر الأصلي ↗

جميع العناصر →