تعمل Anthropic على FlashProve، وهو نظام مفتوح المصدر يهدف إلى التحقق من مخرجات نماذج الذكاء الاصطناعي، وفقًا لتغطية الإعلان. وتفيد التغطية نفسها بأن Anthropic نشرت تقدّمًا في الاستدلال القابل للإثبات للنماذج اللغوية الكبيرة. ويشير هذان الأمران معًا إلى طبقة تحقق تقع بين النموذج والأنظمة التي تستهلك مخرجاته.
بالنسبة للفرق التي تشغّل حزم الوكلاء (agent stacks)، فإن وجود عنصر تحقق أولي (verification primitive) يغيّر الأسئلة التي يمكن طرحها عند الشراء وأثناء التشغيل. فتصبح ادعاءات المنشأ (provenance) شيئًا يمكن للمشتري اختباره بدلًا من قبوله بناءً على الوثائق، ويمكن أن تنتقل عملية الإثبات (attestation) من أوراق وقت النشر إلى فحوصات لكل مخرج داخل خط المعالجة. ويكتسب ذلك أهمية قصوى حيث يستدعي الوكلاء الأدوات، أو يتسلسلون عبر نماذج متعددة، أو يسلّمون النتائج إلى أنظمة لاحقة لا تستطيع فحص النموذج مباشرة.
لا تذكر التغطية المتاحة تواريخ الإصدار، أو عائلات النماذج المدعومة، أو طريقة التحقق، أو خصائص الأداء، أو شروط الترخيص بما يتجاوز وصف المصدر المفتوح. كما أنه من غير الواضح ما إذا كان FlashProve يتحقق من هوية النموذج، أو سلامة المخرجات، أو كليهما، وكيف سيتكامل مع حزم الإثبات والتسجيل القائمة. وتحدد هذه التفاصيل ما إذا كان هذا العنصر الأولي قابلًا للاستخدام كضابط وقت تشغيل أم كأداة تدقيق فقط.
سيتابع الاستوديو المواصفات والتنفيذ المرجعي عند ظهورهما، مع تركيز خاص على كيفية تسجيل نتائج التحقق وإعادة فحصها في خطوط معالجة متعددة الوكلاء.