طور الباحثون طريقة جديدة لترجمة شفرة لغة سي إلى لغة روست بأمان. تعتمد هذه التقنية على التحليل الثابت والترجمة الموجهة بالنوع لتجنب الاعتماد على كتل `unsafe` في روست، مما يضمن سلامة الذاكرة. تم تطبيق هذه الطريقة بنجاح على شفرة من مكتبة التشفير HACL* ومكتبات EverParse، مما أدى إلى إنشاء مكتبة تشفير حديثة مؤكدة من 80,000 سطر مكتوبة بلغة روست خالصة - وهي الأولى من نوعها.
اقرأ المزيد
يُقدّم الباحثون تقنية جديدة خفيفة الوزن لتصنيف سلامة المحتوى وحقن المُحفّزات في نماذج اللغات الكبيرة (LLMs) ، وهي تصنيف مُعزّز بالطبقات (LEC). يُدرّب LEC مُصنّفًا مُبسّطًا لـالانحدار اللوجستي المُعاقَب (PLR) على الحالة الخفية للطبقة المُحوّلة الوسيطة المثالية لـ LLM. بدمج كفاءة PLR مع فهم اللغة المُتطوّر لـ LLMs ، يتفوّق LEC على GPT-4o والنماذج المُتخصّصة. تُثبت النماذج العامة الصغيرة مثل Qwen 2.5 والعمارات مثل DeBERTa v3 أنها مُستخرجين قويين للميزات ، حيث يتم التدريب بكفاءة مع أقل من 100 مثال عالي الجودة. من المهم أن تتفوّق الطبقات المُحوّلة الوسيطة عادةً على الطبقة النهائية. يمكن أن يُصنّف LLM عام واحد سلامة المحتوى ، ويكتشف حقن المُحفّزات ، ويُولّد المخرجات ، أو يمكن تقليم LLMs أصغر إلى طبقتها الوسيطة المثالية لاستخراج الميزات. تشير النتائج المُتناسقة عبر العمارة المختلفة إلى أن استخراج الميزات القوي هو أمر مُتّصل بالعديد من LLMs.
اقرأ المزيد
تستخدم دراسة جديدة خوارزميات الفرز الكلاسيكية كنموذج للتشكل، مما يتحدى الحكمة التقليدية حول هذه الخوارزميات. من خلال كسر افتراضات التحكم من أعلى إلى أسفل والأجهزة الموثوقة تمامًا، اكتشف الباحثون أن مصفوفات العناصر المستقلة تُرتب نفسها بشكل أكثر موثوقية وقوة من التنفيذات التقليدية، حتى في وجود أخطاء. بشكل مدهش، تُظهر هذه الخوارزميات القدرة على تقليل التقدم مؤقتًا للتنقل حول العيوب وسلوك التجميع غير المتوقع بين العناصر في المصفوفات الكيمرية التي تتبع خوارزميات مختلفة. يوفر هذا الاكتشاف منظورًا جديدًا للذكاء المتنوع، مما يدل على كيف يمكن أن تظهر أشكال أساسية من الذكاء في الأنظمة البسيطة بدون ترميز صريح في آلياتها الأساسية.
اقرأ المزيد
درس الباحثون ما إذا كانت "مجتمعًا" من وكلاء نماذج اللغات الكبيرة (LLM) يمكن أن يتعلموا قواعدًا اجتماعية مفيدة بشكل متبادل على الرغم من الحوافز على الخيانة. كشفت التجارب عن اختلافات كبيرة في تطور التعاون عبر النماذج الأساسية، حيث تفوق نموذج Claude 3.5 Sonnet بشكل كبير على كل من Gemini 1.5 Flash و GPT-4o. علاوة على ذلك، استخدم Claude 3.5 Sonnet آلية عقاب مكلفة لتحقيق درجات أعلى، وهو إنجاز لم يحققه النماذج الأخرى. تقترح هذه الدراسة معيارًا جديدًا لـ LLMs يركز على الآثار الاجتماعية لنشر وكلاء LLM، مما يوفر رؤى حول بناء وكلاء ذكاء اصطناعي أكثر قوة وتعاونًا.
اقرأ المزيد
يقدم الباحثون SGD-SaI، وهو مُحسِّن جديد يُحسِّن من نزول التدرج العشوائي. يعالج SGD-SaI اختلالات التدريب من خلال تغيير معدل التعلم عند البدء لمجموعات المعلمات المختلفة بناءً على نسب إشارة الضوضاء الخاصة بتدرجاتها. أكثر كفاءة من حيث الذاكرة من AdamW، يُطابق SGD-SaI أداء AdamW أو يتجاوزه في مهام متنوعة تعتمد على Transformer، بما في ذلك تصنيف ImageNet والتدريب المسبق لـ LLM. تُظهر مقاومته وقابليته للتطبيق في تطبيقات متنوعة، مما يجعله بديلاً مُقنعاً.
اقرأ المزيد
طور الباحثون خوارزمية هجوم جديدة للذكاء الاصطناعي تسمى اختراق أفضل N (BoN). هذه الخوارزمية من الصندوق الأسود تعدل بشكل متكرر المطالبات - عن طريق خلط النصوص بشكل عشوائي أو كتابة النصوص بحروف كبيرة، على سبيل المثال - حتى تحصل على استجابة ضارة من نظام الذكاء الاصطناعي. حقق BoN معدلات نجاح عالية بشكل مثير للإعجاب في نماذج اللغات ذات المصدر المغلق مثل GPT-4o (89%) و Claude 3.5 Sonnet (78%)، متجاوزًا الدفاعات الحالية بفعالية. علاوة على ذلك، يمتد BoN بسلاسة إلى نماذج لغة الصور والصوت، مما يبرز ضعف حتى أنظمة الذكاء الاصطناعي المتقدمة للتغيرات في المدخلات التي تبدو غير ضارة. يبرز هذا البحث مخاوف أمنية كبيرة في مجال الذكاء الاصطناعي.
اقرأ المزيد
طور الباحثون نظامًا آليًا لتجميع روبوتات هجينة من الحشرات والكمبيوتر. يستخدم هذا النظام ذراعًا روبوتيًا موجهًا بالرؤية لزرع أقطاب كهربائية ثنائية القطب مصممة خصيصًا على ظهور صراصير مدغشقر. تستغرق العملية بأكملها 68 ثانية فقط، والروبوتات المجمعة تحقق تحكمًا في التوجيه والتسارع مقارنة بالأنظمة المجمعة يدويًا. نجح نظام متعدد العوامل يتكون من 4 روبوتات في التنقل عبر مسار به عقبات، مما يدل على إمكانية الإنتاج الضخم والتطبيقات في العالم الحقيقي. هذا البحث يمهد الطريق للإنتاج والنشر على نطاق واسع للروبوتات الحشرية.
اقرأ المزيد
CCxTrust هو نظام مبتكر للحوسبة الآمنة يجمع بين مزايا بيئات التنفيذ الموثوقة (TEE) ووحدات النظام الأساسي الموثوقة (TPM) لإنشاء إطار عمل للثقة التعاونية. من خلال الاستفادة من جذر الثقة (RoT) ذي الصندوق الأسود المدمج في وحدات المعالجة المركزية TEE وجذر الثقة (RoT) ذي الصندوق الأبيض المرن من TPMs، يحقق CCxTrust حماية شاملة للبيانات والنماذج الحساسة، متغلبًا على قيود الاعتماد على جذر ثقة (RoT) للأجهزة الفردية. تنفذ المنصة جذور ثقة مستقلة للقياس (RTM) وجذر ثقة تعاوني للتقرير (RTR) ، معززة ببروتوكول توثيق مركب لتحسين الأمان والكفاءة. تُظهر نتائج التجارب مزايا أداء كبيرة.
اقرأ المزيد
قدم الباحثون أول إجراء قرار للتحقق من نظام أسماء النطاق (DNS) ، حيث حددوا تعقيده على أنه 2ExpTime. تُدوّن الدراسة دلالات DNS رسميًا وتستخدم تجريدًا جديدًا قائمًا على لغات قابلة للاختبار بالبادئة الموجبة ، مما يقلل من مشكلة التحقق من DNS إلى مشكلة التحقق من أنظمة pushdown. يُنمذج هذا النهج بفعالية نواقل الهجوم في DNS ، مثل هجمات التضخيم و blackholing بإعادة الكتابة ، مما يوفر أساسًا نظريًا جديدًا لضمان أمان DNS وموثوقيته.
اقرأ المزيد