23845 ورقة بحثية
تقترح هذه الورقة نظام ATWZ (منطقة عمل فريق الوكلاء)، وهو طبقة قائمة على نظام الملفات لـ Claude Code تعامل الوكلاء كموظفين بشريين من خلال حفظ حالات عملهم، ومهاراتهم، وتواصلاتهم البينية في ملفات مخصصة، مما يتيح استعادة الحالة بعد الضغط، واستعادة الفريق بسلاسة، وتقليل العبء الإضافي لكتابة الأوامر.
تقدم الورقة البحثية SAGE، وهي بنية معمارية تعطي الأولوية للسلامة وتفصل بين عمليات التفويض للذكاء الاصطناً التوليدي عالي التأثير، والتي تضع الحد من المخاطر الكارثية في مقدمة أولوياتها من خلال التحقق الرسمي وإطار عمل شامل للدفاع المتعدد الطبقات، وهو ما تم إثباته عبر دراسة متعددة النماذج أظهرت انخفاض معدلات الامتثال الضار وتباينات في الأداء النوعي بين أبرز لقطات الذكاء الاصطناعي الرائدة.
تقدم هذه الورقة نظام Autogram، الذي يجمع بين اكتشاف القواعد المدفوع بالذكاء الاصطناوي والبحث المدفوع بالإحصاء لتوليد ثوابت (invariants) قابلة للتدقيق ومضمونة رسميًا للأنظمة الشبكية تلقائيًا، متجاوزًا بذلك بفعالية قيود الكتابة اليدوية والمعدّنين الآليين الحاليين في التعامل مع ضجيج البيانات في العالم الحقيقي.
تقترح هذه الورقة نظام "TypoNet"، وهو نظام يستفيد من النماذج اللغوية الكبيرة لترجمة المصنوعات الشبكية تلقائياً إلى نماذج رمزية تم التحقق منها رسمياً، معتبرةً أن قصر دور الذكاء الاصطناعي على مهمة الترجمة هذه والاعتماد على الحلّالين (solvers) في عملية الاستنتاج يعد نهجاً أكثر موثوقية وفعالية من حيث التكلفة من نشر وكلاء ذكاء اصطناعي مستقلين للإدارة الشاملة للشبكة.
تقدم هذه الورقة "سجلات الحفاظ على المصدر" (PPC)، وهو بروتوكول اتحادي يمكّن المستخدمين من الحفاظ على سيادة بياناتهم عبر تحويل معلوماتهم الشخصية إلى رسوم بيانية معرفية زمنية، وفرض مبدأ "الحد الأدنى من الإفصاح الضروري" لمشاركة السياق المرتبط بالمصدر والمصرح به بدقة فقط مع أطراف ثالثة.
إنَّ HALLELUAI هو نظام متكامل يضمن توليد فيديو من الصور بواقعية فائقة وجودة إنتاجية على نطاق واسع، وذلك عبر دمج وحدة إشراف مدركة للهلوسة مع إطار عمل لإعادة التوليد القائم على الوكلاء، لتنقيح المخرجات بشكل تكراري وضمان سلامة العلامة التجارية والدقة البصرية.
تُفند هذه الورقة حدسية ستانلي التي تفترض أن القوة الكارتيزية لشبكة يونغ لـ من المرات تقلل من عدد عناصر أي رتبة ثابتة في مترتب -تفاضلي، وذلك عبر إنشاء مترتب -تفاضلي لكل ذي عدد عناصر في الرتبة الرابعة أصغر بصرامة من عدد عناصر .
تقدم هذه الورقة HeuristicEdu، وهو إطار عمل للتعلم التعزيزي ثنائي المراحل يعمل على مواءمة نموذج Qwen2.5-7B ليعمل كمرشد سقراطي بدلاً من مجرد مجيب مباشر، محققاً تحسينات كبيرة في فعالية الدعم التعليمي وتقليل تسرب المفاهيم من خلال المكافآت الاستدلالية وتحسين السياسة النسبي للمجموعات.
تقدم هذه الورقة دراسة سببية مسجلة مسبقاً لحلقة تقوية اختبار عدائية تستخدم أوراكل ميكانيكي للتحقق من الكود المولد بواسطة الذكاء الاصطناعي، كاشفةً أن طفرة إحصائية تم الإبلاغ عنها سابقاً كانت ناتجة عن خلل في الأداة، مع إثبات أن نموذج ناقد من نفس السلالة يحسن معدلات قتل الطفرات بشكل كبير مقارنة بتكوين عابر للمزودين، وهي نتائج تسلط الضوء على كيفية تسبب عدم التماثل في الهياكل وفشل العمليات في تشويه التقييمات العابرة للنماذج.
تحل هذه الورقة مسألة إيردوس رقم 272 للنطاق من خلال إثبات أن الحد الأدنى لسابو دقيق في هذا النطاق، وتثبت أن هذا الحد هو الحد الأقصى للعائلات التي تشترك في عنصر واحد، وتختزل التخمين العام في السؤال الوحيد المتبقي حول ما إذا كان يجب على العائلة القصوى أن تحتوي دائمًا على عنصر مشترك.