تقارير الذكاء الاصطناعي · Anthropic · 2026-11-02 · مدونة / تعليق

تقدم في الاستدلال القابل للإثبات لنماذج اللغة الكبيرة

العنوان الأصلي: Progress on provable inference for large language models

تشارك Anthropic تقدمها في إثباتات تشفيرية قائمة على zkSNARK للاستدلال القابل للتحقق في النماذج، وذلك أساسًا عبر نظام يسمى FlashProve. تتيح هذه الإثباتات لمزوّد النموذج الالتزام بنموذج معيّن وإثبات أن كل استجابة صدرت عنه، وهو أمر يقول المنشور إنه يصعب التحقق منه من المخرجات وحدها. وبحسب المقتطف، بالنسبة إلى Llama 4 Maverick (نموذج خليط خبراء بحجم 400B معامل) بأوزان مكمّمة إلى 4 بت، تولّد وحدة معالجة رسومية واحدة من نوع H100 الإثباتات بمعدل نحو 110 رموز في الثانية، بحجم إثبات يبلغ نحو 19 ميغابايت لكل طلب من 1,024 رمزًا.

اقرأ المصدر الأصلي ↗

جميع تقارير الذكاء الاصطناعي →