هل يمكن أن تكون نماذج اللغة الكبيرة حواسيب قابلة للإثبات؟ أظهرت بيرسيبتا أن المحول يمكن أن يكون كمبيوترا. أوزان مجمعة، تنفيذ حتمي، 30 ألف توكن/ثانية. لكن لم يسأل أحد السؤال الواضح التالي: كيف تعرف أنه تم حسابه بشكل صحيح؟ لذا أنشأت طبقة التحقق. ستارك يثبت ذلك 👇

المشكلة في الحوسبة المترجمة هي الثقة. أنت تثق بالمترجم. تثق في مدة العرض. تثق بآلية الانتباه. إذا كان أي من هذه النقاط خاطئا، فهذا يعني أن الناتج خاطئ. هذه هي أقدم مشكلة في مجال الحوسبة. إما أن تثق بالجهاز أو تتحقق من المخرج. أنشأنا ثلاثة مستويات للتحقق: المستوى 1: يعمل البرنامج داخل المحول (نفس Percepta) المستوى 2: أربعة محركات مستقلة تنتج نفس النتيجة (المحول، المحرك الأصلي، Burn، ONNX) المستوى 3: يتحقق إثبات STARK من التنفيذ دون إعادة تشغيله