الذكاء الاصطناعي

غوص عميق

ألفا ألفا تبني نموذج استدلال نظري لـ DeepSeek: استخلاص الأداء من أساسيات الأجهزة

أنشأت ألفا ألفا نموذج استدلال نظري لـ DeepSeek v3 لتقدير الإنتاجية من معلمات الأجهزة، مع تحليل المفاضلات عبر إعدادات وحدات معالجة الرسوميات لمساعدة الممارسين على تحسين الأداء والتكلفة لنماذج الخبراء المختلطة الكبيرة.

2026-07-05

أبحاث الذكاء الاصطناعي

أفق التحقق: لماذا أصبح التحقق من وكلاء البرمجة أصعب من بنائهم

حدس كلاسيكي يقول إن التحقق من الحل أسهل من إنتاجه. بالنسبة لوكلاء البرمجة اليوم، انقلب هذا الحدس: أصبح توليد الحلول المعقدة سهلاً الآن. الجزء الصعب هو التحقق منها بشكل موثوق.

2026-07-05

أبحاث الذكاء الاصطناعي

كيف يحول إطار MaxProof المُدققات التوليدية إلى محرك ثوري للإثباتات

MaxProof هو إطار لتوسيع نطاق وقت الاختبار يصوغ توليد الإثباتات الرياضية كعملية بحث تطوري. من خلال الجمع بين تعلم التعزيز للإثباتات (Proof RL)، ومحاذاة المُدققات، وتحسين التصحيح، يحول التحقق التوليدي غير الموثوق إلى نظام مكافأة موثوق للتدريب والاستدلال.

2026-07-05

ورقة بحثية في Nature Neuroscience

طريقة مايكروسوفت الجديدة تحوّل الذكاء الاصطناعي للدماغ ذو الصندوق الأسود إلى نظريات قابلة للقراءة

يترجم GCT نماذج الدماغ القائمة على LLM غير القابلة للتفسير إلى عبارات قصيرة مثل 'إعداد الطعام' أو 'أسماء المواقع'، ثم يستخدم LLM لكتابة قصص تختبر سببيًا تلك التفسيرات في أشخاص حقيقيين. تعد الطريقة بربط الذكاء الاصطناعي التنبؤي بالنظرية العلمية القابلة للقراءة البشرية.

2026-07-05

إصدار نموذج

معاينة DeepSeek-V4 تظهر، وتصعّب حسابات النماذج مفتوحة الوزن على الجميع

تعلن DeepSeek عن معاينة DeepSeek-V4 مع استدلال من الدرجة الأولى وقدرات وكيل أقوى، متاحة الآن عبر المنصات. يُشير الإصدار إلى تصعيد كبير في سباق الذكاء الاصطناعي مفتوح الوزن، مما يضع ضغطاً على OpenAI وGoogle لتبرير استراتيجياتهما المغلقة.

2026-07-05

الذكاء الاصطناعي

الذكاء الاصطناعي كامتداد للذكاء البشري وليس بديلاً عنه

أنظمة الذكاء الاصطناعي الحديثة قوية ليس لأنها تحاكي الذكاء البشري، بل لأنها توسع هياكل موجودة بالفعل في الإدراك واللغة البشرية. يساعد هذا المنظور في تفسير كل من قدرات الذكاء الاصطناعي وحدوده المتكررة، بما في ذلك الهلوسات والفجوات التركيبية، ويحول تركيز سلامة الذكاء الاصطناعي من روايات الذكاء الاصطناعي المارقة إلى الحوكمة على مستوى النظام والمسؤولية البشرية.

2026-07-04

الخصوصية التشفيرية

Vega تجلب البراهين ذات المعرفة الصفرية للتحقق من الهوية في أقل من 100 مللي ثانية

Vega تمكن المستخدمين من إثبات حقائق من بطاقات الهوية الحكومية دون الكشف عن بيانات الاعتماد نفسها، باستخدام براهين ZKP تُولد في أقل من 100 مللي ثانية على أجهزة تجارية. تستهدف صيغًا واقعية مثل رخص القيادة المتنقلة ومحفظة الهوية الرقمية الأوروبية، مع نظام طي وإعادة استخدام يقلل تكلفة البراهين للعروض المتكررة.

2026-07-04

تحليل بحثي

فساد المستندات الناتج عن الذكاء الاصطناعي في سير العمل الموكل: ما يكشفه اختبار إجهاد جديد

يقيم معيار DELEGATE-52 أنظمة الذكاء الاصطناعي في مهام تحرير المستندات الموكل بها طويلة الأمد، ليجد أن النماذج المتطورة تتراكم فيها خسائر في الدقة الدلالية بنسبة 19, 34% على مدار 20 تكرارًا. أظهرت سير عمل بايثون تدهورًا أقل من 1% في المتوسط، لكن الدراسة تشير إلى أن التفويض الموثوق به طويل الأمد لا يزال تحديًا مفتوحًا.

2026-07-04

الذكاء الاصطناعي

مايكروسوفت تفتح مصدر Data Formulator 0.7 لتحليلات الذكاء الاصطناعي في المؤسسات

يجمع Data Formulator 0.7 بين موصلات البيانات والوكلاء المدركين للسياق ومساحة عمل تكرارية لتمكين فرق المؤسسات من إعداد البيانات واستكشافها وتصورها عبر الأنظمة المجزأة دون برمجة. يهدف الإصدار مفتوح المصدر إلى تقليل أعمال التكامل وجعل سير العمل التحليلي قابلاً للتكرار.

2026-07-04

Anthropic Academy: منصة مجانية لتعلم كلود

Anthropic تطلق أكاديميتها الخاصة عبر الإنترنت، مع دورات مجانية حول كلود وAPI وبروتوكول MCP وأفضل الممارسات في المؤسسات. وشهادات في نهاية المطاف.

2026-07-04

الذكاء الاصطناعي

نموذج M2.5 الجديد من MiniMax يتصدر المعيار بأقل من 5% من السعر

يتصدر نموذج M2.5 من MiniMax معيار البرمجة Multi-SWE-Bench، ويتفوق على النماذج السائدة في مهام مساحة العمل، وتكلفته تتراوح بين عُشر وعُشرين من تكلفة المنافسين. الأوزان مفتوحة المصدر متاحة على HuggingFace.

2026-07-04

أجهزة الذكاء الاصطناعي

تقارير: سبيس إكس تطور نموذجًا أوليًا لجهاز ذكاء اصطناعي، لكن ماسك ينفي

ذكرت صحيفة وول ستريت جورنال أن سبيس إكس صنعت نموذجًا أوليًا لجهاز ذكاء اصطناعي أنيق أصغر من آيفون، يدمج تقنية xAI ونظام تشغيل خاص. ووصف ماسك التقرير بأنه 'خاطئ تمامًا'، بينما يشير المحللون إلى أن قدرات سبيس إكس التصنيعية وطموحاتها اللاسلكية قد تجعل مثل هذه الخطوة معقولة.

2026-07-04