A Frozen 12B Beats Frontier Models on Verified Work: 100% Accuracy, 0 Tokens, Bit-Exact, Forever
تقترح هذه الورقة نظاماً يحقق فيه نموذج لغوي مجمد دقة بنسبة 100% وصفر توليد للرموز (tokens) في عائلات مشكلات تم التحقق منها، وذلك من خلال الاعتماد على مخزن ذاكرة مستمر ودقيق البت للحلول التي تم التحقق منها بشكل مستقل، مما يؤدي إلى فصل القدرة المرتبطة بالتنفيذ عن توسيع المعلمات وتمكين نوافذ سياق ضخمة على أجهزة المستهلكين.