جديد على بلاگ فرونتري ريد تيم الخاص بنا: استخدام Claude للتحقق الرسمي من البرمجيات على نطاق واسع.
يمكن للتحقق الشرعي أن يثبت أن الكود خالٍ من بعض الأخطاء، لكن من الناحية التاريخية، كان هذا الأمر ممكنًا فقط للأنظمة المصدرية الصغيرة (أو يتطلب الكثير من الوقت والمهارات الخبرية).
مع نماذج الذكاء الاصطناعي، إلا أن هذا بدأ يتغير. بالتعاون مع @theoremlabs، استخدمنا Claude لإثبات خصائص الأمان في أكثر من مائة مكتبة مفتوحة المصدر في العالم الحقيقي خلال بضعة أسابيع.
اقرأ بحثنا بالكامل هنا: https://www.anthropic.com/research/formal-verification