الذكاء الاصطناعي٣ نوفمبر ٢٠٢٦
أنثروبيك تعلن تقدمًا في الاستدلال القابل للإثبات للنماذج اللغوية
أطلقت أنثروبيك FlashProve، وهو نموذج أولي مفتوح المصدر لإثبات أن إجابة الذكاء الاصطناعي صدرت عن النموذج المطلوب. ويولّد النظام إثباتات لنموذج Llama 4 Maverick ذي ٤٠٠ مليار مُعامل بسرعة تتجاوز ١٠٠ رمز في الثانية على وحدة H100 واحدة، بحجم يقارب ١٩ ميغابايت لكل طلب من ١٬٠٢٤ رمزًا. وتخفي الإثباتات أوزان النموذج، فيما أُتيح الكود والتوثيق وبراهين Lean بترخيص Apache 2.0؛ وتصف أنثروبيك العمل بأنه تقدم مرحلي لا مشروع بحث مكتمل.
الحقائق الأساسية
يولّد FlashProve إثباتات لنموذج Llama 4 Maverick بحجم يقارب ١٩ ميغابايت لكل طلب من ١٬٠٢٤ رمزًا.
«For a large model (Llama 4 Maverick, 400B-parameter mixture of experts), a single H100 GPU generates proofs at around 110 tokens/second, with a proof size of ~19 MB per 1,024-token request, when in 4-bit quantized weights, using integer arithmetic in prefill.»
عرض المصدر ←أصدرت أنثروبيك الكود وبراهين Lean والتوثيق بترخيص Apache 2.0.
«We release our code, Lean proofs, and documentation under the Apache 2.0 license.1»
عرض المصدر ←
المصادر
شفت معلومة تحتاج تصحيح؟ بلّغنا ونتحقق ونصحّح — سياسة التصحيح
صحّح هذا الخبر