ai-powered-markdown-translatorمقال مترجم من الفرنسية إلى العربية باستخدام gpt-5.4-mini.
هذا الأسبوع، قطعت Google DeepMind خطوة مهمة في البحث الرياضي مع AlphaProof Nexus، وهو وكيل قادر على حل مسائل مفتوحة منذ عقود. ومن جانب Anthropic، أصبح الوضع التلقائي في Claude Code متاحًا على خطة Pro ويضم Sonnet 4.6. كما جعلت GitHub إضافة Copilot لـ Eclipse مفتوحة المصدر، وفعّلت Alibaba التخزين المؤقت الضمني على Qwen3.7-Max.
AlphaProof Nexus — وكيل ذكاء اصطناعي يحل مسائل رياضية مفتوحة منذ عقود
25 مايو 2026 — أعلنت Google DeepMind عن AlphaProof Nexus، وهو إطار عمل وكيل (agentic framework) للبحث في البراهين الشكلية مدعوم بـ Gemini، مرفقًا بمقالة أُرسلت إلى arXiv في 21 مايو (arXiv:2605.22763).
يعتمد الوكيل على حلقة تتناوب بين التوليد عبر Gemini والتحقق الشكلي عبر لغة البراهين Lean. يضمن هذا المزيج صرامة البراهين الرياضية المنتَجة: يقترح LLM، وتتحقق Lean من الصحة أو ترفض، ثم يكرر الوكيل المحاولة.
النتائج المنشورة:
| المجال | النتائج | السياق |
|---|---|---|
| مسائل إردوش المفتوحة | 9 محلولة من أصل 353 مُقيَّمة | منها 2 مفتوحة منذ 56 عامًا |
| حدسيات OEIS | 44 محلولة من أصل 492 | Online Encyclopedia of Integer Sequences |
| الهندسة الجبرية | مسألة مفتوحة واحدة محلولة | مفتوحة منذ 15 عامًا |
| التحسين min-max | سؤال مفتوح واحد محلول | مفتوح منذ 7 سنوات |
تكلفة حل المسألة الواحدة لا تتجاوز بضع مئات من الدولارات — وهو ترتيب حجمي يوضح الكفاءة الاقتصادية للنهج الوكيلي في البحث الرياضي الشكلي.
يُنشر AlphaProof Nexus بالفعل بالتعاون مع رياضيين في عدة مجالات: التوافقيات، نظرية الرسوم البيانية، الهندسة الجبرية، والبصريات الكمّية. ويأتي هذا العمل امتدادًا لـ AlphaProof (2024)، الذي كان يستهدف مسائل بمستوى الأولمبياد. أما AlphaProof Nexus فيستهدف مسائل بحثية مفتوحة، ما يمثل خطوة نحو استخدام الذكاء الاصطناعي كأداة مستقلة لاكتشاف الرياضيات.
“AI agents are advancing research-level math.”
🇸🇦 الوكلاء المعتمدون على الذكاء الاصطناعي يدفعون بالرياضيات إلى مستوى البحث العلمي. — Pushmeet Kohli، نائب الرئيس للبحث، Google DeepMind على X
Claude Code v2.1.149 — تفصيل /usage حسب الفئة وأكثر من 25 إصلاحًا
23 مايو 2026 — تم إصدار Claude Code الإصدار 2.1.149، محققًا ميزة /usage breakdown حسب الفئة التي أعلن عنها Boris Cherny في الأسبوع السابق.
| الميزة | التفاصيل |
|---|---|
/usage breakdown | تفاصيل الاستهلاك حسب الفئة: skills، والوكلاء الفرعيون، والإضافات، وخادم MCP |
/diff navigation | التنقل عبر لوحة المفاتيح: الأسهم، j/k، PgUp/PgDn، Home/End |
| GFM task lists | مربعات اختيار Markdown ([ ] / [x]) معروضة بشكل صحيح |
| Enterprise | إعداد مُدار جديد allowAllClaudeAIMcps لـ managed-mcp.json |
يصلح الإصدار أيضًا نحو عشرين خطأ: تجاوز أذونات PowerShell في cd، واستنفاد جدول vnode على macOS مع find، وتجمّد حوار managed-settings، والتغييرات الوهمية في /config، وتعطل /insights عند وجود حقول اختيارية مفقودة، ومؤشر التفكير الذي يبقى بلون الكهرمان بين استدعاءات الأدوات.
أما الإصدار 2.1.150، الذي نُشر في اليوم نفسه، فلا يضيف سوى تحسينات بنية تحتية داخلية من دون أي تغيير مرئي.
Claude Code Auto Mode — متاح على Pro، مع دمج Sonnet 4.6
23 مايو 2026 — تعلن Anthropic عن توسيعين للوضع التلقائي في Claude Code:
“Two updates to auto mode: · Now available on the Pro plan · Sonnet 4.6 is now supported, alongside Opus 4.7. Shift+tab, and let Claude run.”
🇸🇦 تحديثان للوضع التلقائي: أصبح الآن متاحًا على خطة Pro؛ ويدعم Sonnet 4.6، إلى جانب Opus 4.7. اضغط Shift+tab، واترك Claude يعمل. — @ClaudeDevs على X
يتيح الوضع التلقائي، المُفعّل عبر Shift+Tab، لـ Claude تنفيذ الإجراءات بشكل مستقل من دون موافقة يدوية في كل خطوة. وكان هذا الوضع محصورًا في السابق في الخطط الأعلى، أما الآن فأصبح متاحًا لمشتركي Pro. كما يوفّر إدراج Sonnet 4.6 خيارًا أقل تكلفة من Opus 4.7 للجلسات الطويلة، ما يقلل استهلاك الرصيد في الوضع المستقل.
للوصول إلى هذه التغييرات: claude update أو تحديث تطبيق Claude المكتبي. وقد ولّد الإعلان 1.18 مليون مشاهدة على X.
GitHub Copilot for Eclipse — مفتوح المصدر تحت رخصة MIT
21 مايو 2026 — جعلت GitHub إضافة GitHub Copilot لـ Eclipse مفتوحة المصدر، وهي متاحة على GitHub تحت رخصة MIT على العنوان github.com/microsoft/copilot-for-eclipse.
تُعرض مجموعة الميزات كاملةً للمساهمات المجتمعية:
| الميزة | الحالة |
|---|---|
| Code completion (الإكمالات داخل السطر) | مفتوح المصدر |
| Next Edit Suggestions (NES) | مفتوح المصدر |
| Chat (تدفق المحادثة، استدعاءات الأدوات) | مفتوح المصدر |
| Agent mode (سير عمل وكيلية متعددة الخطوات) | مفتوح المصدر |
| Skills وملفات prompt | مفتوح المصدر |
| BYOK (Bring Your Own Key) | مفتوح المصدر |
| وكلاء مخصصون، وكلاء فرعيون، خطة الوكيل، MCP | مفتوح المصدر |
الدافع هو الشفافية والابتكار المجتمعي بروح النظام البيئي المفتوح لـ Eclipse. وقد وردت بالفعل مساهمات من المجتمع منذ لحظة الإتاحة.
Qwen3.7-Max — تفعيل التخزين المؤقت الضمني في الإنتاج
25 مايو 2026 — فعّلت Alibaba التخزين المؤقت الضمني (implicit caching) على Qwen3.7-Max، نموذجها الرائد الموجّه للوكلاء.
يُفعَّل التخزين المؤقت تلقائيًا لجميع طلبات API — من دون الحاجة إلى أي تعديل في الشيفرة. ويستفيد المطورون فورًا من طلبات أسرع وأقل تكلفة على السياقات المتكررة. وللحصول على معدلات تخزين مؤقت أعلى وأكثر حتمية، توصي Alibaba بالتخزين المؤقت الصريح، الموثق على Alibaba Cloud.
أخبار سريعة
-
MiniMax Hailuo AI في AIFF هونغ كونغ (HKUST) — تلقّى مهرجان الأفلام بالذكاء الاصطناعي الثاني الذي نظمته HKUST 1,300 مشاركة من 80 دولة. وكان Hailuo AI ممثلًا هناك إلى جانب Tencent وZ.ai خلال جلسة حول ديمقراطية السينما بالذكاء الاصطناعي. 🔗 minimax.io
-
NVIDIA DGX Spark — 16 وكيل ذكاء اصطناعي محليًا في آن واحد — عرض توضيحي مجتمعي أعادت @NVIDIAAI نشره: جهازان DGX Spark (GB10) + MiniMax M2.7 NVFP4 يشغلان 16 وكيل ذكاء اصطناعي في بث متزامن، من دون APIs سحابية. 🔗 @NVIDIAAI على X
ماذا يعني ذلك
منعطف في البحث الرياضي الشكلي. يمثل AlphaProof Nexus قطيعة واضحة: فالذكاء الاصطناعي لم يعد يقتصر على مسائل المسابقات أو على معايير الأداء الأكاديمية، بل بات يواجه مسائل مفتوحة عجز الرياضيون عن حلها منذ عقود. ويخلق الجمع بين Gemini وLean حلقة تحقق شكلية تضمن أن البراهين صحيحة، لا مجرد معقولة. وتشير تكلفة بضع مئات من الدولارات لكل مسألة محلولة إلى أن هذا النهج أصبح في متناول مختبرات البحث، لا عمالقة القطاع فقط.
نضج الأدوات الوكيلية لدى Anthropic. إن وصول الوضع التلقائي إلى خطة Pro ودمج Sonnet 4.6 يشيران إلى أن Anthropic ترى الاستخدام الوكيلي المستقل كشيء مستقر بما يكفي لعامة المستخدمين. أما الإصدار 2.1.149، مع تفصيل /usage حسب الفئة، فيلبي حاجة عملية لدى المطورين الذين يبنون أنظمة متعددة الوكلاء معقدة: فهم ما يستهلك حصتهم بدقة لتحسين معمارياتهم.
الانفتاح مقابل السيادة البرمجية. يوضح فتح Copilot لـ Eclipse كمصدر مفتوح تحت MIT وتفعيل التخزين المؤقت الضمني على Qwen3.7-Max استراتيجيتين مختلفتين لكسب المطورين. تراهن GitHub على الشفافية والنظام البيئي لـ Eclipse لتوسيع اعتماد Copilot في بيئات Java المؤسسية. بينما تراهن Alibaba على خفض التكاليف تلقائيًا ومن دون احتكاك لجعل Qwen3.7-Max أكثر قدرة على المنافسة أمام البدائل السحابية.
تتقدم عملية تصنيع الوسائط التوليدية. إن مشاركة MiniMax في AIFF هونغ كونغ — 1,300 مشاركة من 80 دولة — وعرض NVIDIA التوضيحي لـ 16 وكيلًا محليًا متزامنًا على DGX Spark يرسمان ملامح نظام بيئي يخترق فيه إنتاج الفيديو بالذكاء الاصطناعي سير العمل الاحترافية في مجال السينما، سواء في المهرجانات أو في البنية التحتية المحلية.