تقول Anthropic إنها استخدمت Claude بالتعاون مع Theorem لإثبات خصائص أمنية محددة في أكثر من 100 مكتبة مفتوحة المصدر.
يتناول بحث 22 أكتوبر شيفرة مترجمة لمعمارية RISC-V وبراهين تتحقق منها الآلة. الضمانات مقيدة بالمواصفات والافتراضات المعلنة، ولا تعني غياب جميع الأخطاء. على الفرق الهندسية التمييز بين اختبار أمثلة وإثبات خاصية محددة، مع مراجعة المواصفات وبيئة التشغيل الفعلية أيضًا.
