أضيف بعد تغطيتنا السابقة. تاريخ المصدر الأصلي موضح أدناه؛ وليس إعلاناً جديداً صدر اليوم.

ما الذي حدث

في اختبار نسخة بأعداد صحيحة من أربع بتات من Llama 4 Maverick، عالجت بطاقة H100 نحو 111 رمز إدخال في الثانية عند توليد البراهين لدفعات من 24 طلباً، مقابل نحو 17 لطلب منفرد. وبلغ حجم برهان طلب من 1024 رمزاً نحو 19 ميغابايت.

iNC / التحليل

لماذا يهم

هذا معدل توليد البرهان وليس سرعة كتابة الرد. وقدّر الباحثون أن البرهنة استهلكت في مقارنتهم ما بين 70 و95 ضعف زمن المعالج الرسومي للاستدلال العادي. ويثبت البرهان إجراء عملية حسابية محددة، لا صحة مضمون الجواب أو سلامته.

ما الذي نتابعه

ستفيد إعادة الاختبار بشكل مستقل وقياس الأداء مع الدفعات الصغيرة في تقييم جدواه للخدمات التفاعلية.

المصادر والتحقق

عدد روابط المصادر لا يساوي عدد التأكيدات المستقلة.

01
Anthropic and collaborators — original research announcementمصدر أولي · www.anthropic.com · 02‏/11‏/2026
02
FlashProve technical report, Table 3 and evaluation conditionsمصدر أولي · github.com · 02‏/11‏/2026
الإبلاغ عن تصحيح

ساعدنا على التصحيح

حدد العبارة محل الاعتراض وأرفق مصدراً إن أمكن. لا ترسل معلومات شخصية أو حساسة.